A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.
Pedro CabalarDavid PearcePanos RondogiannisWilliam W. WadgePublished in: LPNMR (2007)
Keyphrases
- model theoretic
- logic programs
- logic programs with negation
- answer sets
- stable models
- fixpoint
- deductive databases
- logic programming
- description logics
- operational semantics
- proof theoretic
- fixpoint semantics
- decision procedures
- answer set programming
- default reasoning
- datalog programs
- probabilistic reasoning
- background knowledge
- autoepistemic logic
- inductive logic programming
- machine learning
- integrity constraints
- constraint logic programming
- reasoning mechanism
- minimal models
- software engineering
- data model