Meaning and Dialogue Coherence: A Proof-theoretic Investigation.

Published in: J. Log. Lang. Inf. (2007)

Keyphrases

proof theoretic
natural language
default reasoning
linear logic
proof theory
nonmonotonic reasoning
speech acts
model theoretic
constraint logic programming
fixpoint
cut elimination
sequent calculus
knowledge base
np hard
knowledge representation
constraint solving