Meaning and Dialogue Coherence: A Proof-theoretic Investigation.

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

Keyphrases

proof theoretic
natural language
default reasoning
proof theory
linear logic
nonmonotonic reasoning
speech acts
model theoretic
constraint logic programming
fixpoint
logic programs
cut elimination
belief revision
operational semantics
database
expert systems
deductive databases
logic programming
relational databases