Embedding prioritized circumscription in disjunctive logic programs.
Jianhua ChenPublished in: J. Exp. Theor. Artif. Intell. (1999)
Keyphrases
- disjunctive logic programs
- disjunctive logic programming
- minimal models
- default logic
- stable model semantics
- logic programming
- logic programs
- answer set programming
- polynomial hierarchy
- propositional logic
- stable models
- autoepistemic logic
- answer sets
- nonmonotonic reasoning
- knowledge representation and reasoning
- nonmonotonic logics
- answer set semantics
- default reasoning
- artificial intelligence
- classical logic
- desirable properties
- knowledge representation