Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.
Marc DeneckerMaurice BruynoogheJoost VennekensPublished in: Correct Reasoning (2012)
Keyphrases
- fixpoint
- stable models
- proof theoretic
- model theoretic
- semantics of logic programs
- logic programs
- logic programming
- horn clauses
- truth values
- deductive databases
- fixpoint semantics
- proof theory
- declarative semantics
- stable model semantics
- minimal models
- logical framework
- nonmonotonic reasoning
- finite state machines
- formal semantics
- update rule
- description logics
- query answers
- autoepistemic logic
- relational databases
- normal logic programs
- integrity constraints
- probability distribution