Tractable Argumentation Semantics via Iterative Belief Revision.
Jia-Huai YouRobert CartwrightPublished in: ILPS (1994)
Keyphrases
- belief revision
- argumentation semantics
- nonmonotonic reasoning
- default reasoning
- belief change
- propositional logic
- conditional logic
- prime implicates
- belief update
- possibility theory
- logical properties
- temporal logic
- possibilistic logic
- plausible reasoning
- dynamic aspects
- belief merging
- knowledge base
- minimal change
- belief state
- np hard
- computational complexity
- plausible inference
- cost based abduction
- belief set
- epistemic states
- logic programming
- bayesian networks