Manipulating Skeptical and Credulous Consequences When Merging Beliefs.
Adrian HaretJohannes Peter WallnerPublished in: JELIA (2019)
Keyphrases
- nonmonotonic inference
- belief revision
- nonmonotonic reasoning
- default logic
- argumentation frameworks
- conditional logic
- merging operators
- truth maintenance systems
- default reasoning
- graph theoretic
- negative consequences
- epistemic states
- logic programming
- decision making
- mental states
- merging algorithm
- logical properties
- default theories
- belief change
- set theoretic
- region merging
- propositional logic
- databases
- possibility theory
- database
- answer set programming
- decision problems
- website
- machine learning
- neural network