Possibilistic Answer Set Programming Revisited.
Kim BautersSteven SchockaertMartine De CockDirk VermeirPublished in: UAI (2010)
Keyphrases
- answer set programming
- logic programming
- logic programs
- possibilistic logic
- answer sets
- causal theories
- stable model semantics
- reasoning tasks
- constraint logic programming
- knowledge representation
- stable models
- possibility theory
- nonmonotonic reasoning
- meta level reasoning
- answer set programs
- classical logic
- programming language
- knowledge base
- genetic algorithm
- default logic
- deductive databases
- artificial intelligence
- propositional logic
- software engineering
- query language
- expert systems