Translating Preferred Answer Set Programs to Propositional Logic.
Vernon AsuncionYan ZhangPublished in: LPNMR (2009)
Keyphrases
- propositional logic
- answer set programs
- answer set programming
- answer set semantics
- answer sets
- logic programs
- belief revision
- stable models
- update operators
- first order logic
- possibilistic logic
- belief change
- nonmonotonic logics
- logic programming
- domain knowledge
- propositional formulas
- database
- artificial intelligence