A review of the relations between logical argumentation and reasoning with maximal consistency.
Ofer ArieliAnnemarie BorgJesse HeyninckPublished in: Ann. Math. Artif. Intell. (2019)
Keyphrases
- point algebra
- logical reasoning
- maximal tractable
- consistency checking
- legal reasoning
- argumentation systems
- path consistency
- evidential reasoning
- logical rules
- logical structure
- defeasible reasoning
- legal cases
- qualitative spatial reasoning
- logical framework
- reasoning process
- probabilistic logic
- automated reasoning
- abstract argumentation
- semantic relations
- reasoning systems
- inconsistent information
- representing knowledge
- constraint networks
- reasoning tasks
- practical reasoning
- case based reasoning
- spatial relations
- logical formulas
- truth values
- knowledge base
- knowledge representation and reasoning
- temporal knowledge
- probabilistic knowledge
- preference relations
- argumentation semantics
- cardinality constraints