Belief Base Revision for Further Improvement of Unified Answer Set Programming.
Kumar Sankar RaySandip PaulDiganta SahaPublished in: CoRR (2020)
Keyphrases
- answer set programming
- belief base
- update operators
- belief change
- belief revision
- logic programs
- logic programming
- update semantics
- answer set programs
- possibilistic logic
- answer sets
- revision operators
- logical properties
- default theories
- reasoning tasks
- minimal change
- knowledge base
- belief set
- stable models
- programming language
- declarative programming
- probabilistic reasoning
- knowledge representation