Belief Revision in Answer Set Programming.
Theofanis I. AravanisPavlos PeppasPublished in: PCI (2017)
Keyphrases
- answer set programming
- belief revision
- logic programming
- logic programs
- propositional logic
- belief change
- answer sets
- nonmonotonic reasoning
- default reasoning
- reasoning tasks
- logical properties
- knowledge base
- belief update
- logical framework
- minimal change
- stable models
- temporal logic
- revision operators
- belief state
- knowledge representation
- default theories
- possibilistic logic
- general purpose
- expert systems