Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Joost VennekensJohan WittocxMaarten MariënMarc DeneckerPublished in: Fundam. Informaticae (2007)
Keyphrases
- autoepistemic logic
- fixpoint semantics
- model theoretic
- logic programs
- general logic programs
- fixpoint
- modal logic
- default logic
- datalog programs
- decision procedures
- deductive databases
- logic programming
- nonmonotonic reasoning
- nonmonotonic logics
- description logics
- classical logic
- operational semantics
- default reasoning
- horn clauses
- probabilistic reasoning
- default theories
- minimal models
- stable models
- answer sets
- first order logic
- databases
- database
- integrity constraints
- incomplete information
- situation calculus
- general purpose
- declarative semantics
- high level
- answer set programming