Extending Answer Set Programming using Generalized Possibilistic Logic.
Didier DuboisHenri PradeSteven SchockaertPublished in: JOWO@IJCAI (2015)
Keyphrases
- answer set programming
- possibilistic logic
- logic programming
- logic programs
- answer sets
- classical logic
- reasoning tasks
- plausible inference
- knowledge base
- propositional logic
- nonmonotonic reasoning
- knowledge representation
- possibility theory
- stable model semantics
- uncertain information
- stable models
- logical framework
- answer set programs
- causal theories
- programming language
- belief revision
- first order logic
- machine learning
- declarative programming
- default logic