Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.
Zhiqiang ZhuangJames P. DelgrandeAbhaya C. NayakAbdul SattarPublished in: ECAI (2016)
Keyphrases
- belief revision
- logic programs
- belief change
- logic programming
- propositional logic
- update operators
- nonmonotonic reasoning
- default reasoning
- answer set programming
- answer sets
- fixpoint
- stable models
- knowledge base
- background knowledge
- logical properties
- inductive logic programming
- conditional logic
- minimal change
- temporal logic
- belief update
- possibilistic logic
- belief state
- revision operators
- partial order
- model theoretic
- knowledge representation