Proof-Theoretic Semantics for a Natural Language Fragment.
Nissim FrancezRoy DyckhoffPublished in: MOL (2009)
Keyphrases
- proof theoretic
- natural language
- model theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- fixpoint
- deductive databases
- decision procedures
- knowledge representation
- cut elimination
- logic programs
- description logics
- operational semantics
- default logic
- artificial intelligence
- logic programming
- formal semantics
- belief revision
- fixed point
- np complete
- expert systems
- database systems