The Model-Theoretic Significance of Complemented Existential Formulas.
Volker WeispfenningPublished in: J. Symb. Log. (1981)
Keyphrases
- model theoretic
- action theories
- deductive databases
- description logics
- dl lite
- decision procedures
- operational semantics
- logic programs
- default reasoning
- proof theoretic
- fixpoint
- probabilistic reasoning
- query answering
- horn clauses
- integrity constraints
- logic programming
- conjunctive queries
- knowledge base
- query evaluation
- formal semantics
- situation calculus
- belief revision
- machine learning