A possibilistic approach to restore consistency in answer set programming.
Pascal NicolasLaurent GarciaIgor StéphanPublished in: NMR (2004)
Keyphrases
- answer set programming
- logic programming
- logic programs
- answer sets
- qualitative spatial and temporal reasoning
- constraint logic programming
- possibilistic logic
- causal theories
- reasoning tasks
- answer set programs
- stable model semantics
- stable models
- nonmonotonic reasoning
- modulo theories
- default theories
- general purpose
- knowledge base
- artificial intelligence
- global constraints
- description logics
- knowledge representation