Autoepistemic Logic of First Order and Its Expressive Power.
Li-Yan YuanPublished in: J. Autom. Reason. (1994)
Keyphrases
- expressive power
- autoepistemic logic
- general logic programs
- first order logic
- default logic
- nonmonotonic reasoning
- logic programs
- model theoretic
- data complexity
- nonmonotonic logics
- classical logic
- modal logic
- default theories
- relational algebra
- propositional logic
- logic programming
- query language
- transitive closure
- theorem proving
- inference rules
- minimal models
- default reasoning
- theorem prover
- deductive databases
- description logics
- decision procedures
- knowledge representation
- horn clauses
- formal semantics
- fixpoint
- database systems
- incomplete information
- relational calculus
- data model