Towards a New Semantics for Possibilistic Answer Sets.
Julien HuéMatthias WestphalStefan WölflPublished in: KI (2014)
Keyphrases
- answer sets
- logic programming
- logic programs
- answer set semantics
- answer set programming
- extended logic programs
- normal logic programs
- possibilistic logic
- stable models
- logic program updates
- semantics of logic programs
- semantics for logic programs
- reasoning tasks
- nonmonotonic reasoning
- disjunctive logic programming
- programming language
- answer set programs
- deductive databases
- stable model semantics
- knowledge representation
- knowledge base
- strong equivalence
- fixpoint
- classical logic
- default logic
- artificial intelligence
- loop formulas
- update semantics
- description logic programs
- counter examples
- dl programs
- autoepistemic logic
- incomplete information