On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks.
Geoffrey K. PullumBarbara C. ScholzPublished in: LACL (2001)
Keyphrases
- model theoretic
- deductive databases
- description logics
- proof theoretic
- operational semantics
- decision procedures
- logic programs
- fixpoint
- natural language sentences
- default reasoning
- probabilistic reasoning
- formal semantics
- logic programming
- natural language
- integrity constraints
- presburger arithmetic
- nonmonotonic reasoning
- modal logic
- constraint satisfaction