Fixpoint 3-Valued Semantics for Autoepistemic Logic.
Marc DeneckerV. Wiktor MarekMiroslaw TruszczynskiPublished in: AAAI/IAAI (1998)
Keyphrases
- fixpoint
- autoepistemic logic
- logic programs
- default logic
- nonmonotonic reasoning
- model theoretic
- logic programming
- consistent query answering
- deductive databases
- minimal models
- default reasoning
- stable models
- fixpoint semantics
- answer sets
- default theories
- finite state machines
- datalog programs
- horn clauses
- background knowledge
- answer set programming
- modal logic
- possibility theory
- databases
- inductive logic programming
- classical logic
- belief revision
- integrity constraints
- machine learning