Belief Base Change Operations for Answer Set Programming.
Patrick KrümpelmannGabriele Kern-IsbernerPublished in: JELIA (2012)
Keyphrases
- answer set programming
- belief base
- logic programs
- logic programming
- answer sets
- update operators
- answer set programs
- reasoning tasks
- possibilistic logic
- belief change
- belief revision
- stable models
- knowledge base
- knowledge representation
- incomplete information
- logical properties
- declarative programming
- artificial intelligence
- default theories
- nonmonotonic reasoning
- general purpose
- lower bound