Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
Emilia OikarinenTomi JanhunenPublished in: AIMSA (2008)
Keyphrases
- stable models
- logic programs with negation
- logic programs
- answer sets
- disjunctive logic programs
- stable model semantics
- logic programming
- loop formulas
- answer set programming
- normal logic programs
- fixpoint
- general theory
- datalog programs
- minimal models
- deductive databases
- strong equivalence
- answer set semantics
- background knowledge
- knowledge base
- answer set programs
- nonmonotonic reasoning
- database
- inductive logic programming
- high level
- databases