Login / Signup
A review of the relations between logical argumentation and reasoning with maximal consistency.
Ofer Arieli
Annemarie Borg
Jesse Heyninck
Published 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