Presupposition and Implicature in Model-Theoretic Pragmatics.
Douglas B. MoranPublished in: ACL (1981)
Keyphrases
- relational databases
- model theoretic
- deductive databases
- operational semantics
- description logics
- formal semantics
- decision procedures
- logic programs
- fixpoint
- proof theoretic
- natural language processing
- default reasoning
- sql queries
- probabilistic reasoning
- logic programming
- integrity constraints
- knowledge base
- presburger arithmetic
- knowledge representation
- bayesian networks
- answer sets
- query evaluation
- intelligent agents
- data model