Closure and Consistency In Logic-Associated Argumentation.
Phan Minh DungPhan Minh ThangPublished in: J. Artif. Intell. Res. (2014)
Keyphrases
- proof procedures
- modal logic
- argumentation systems
- logic programming
- predicate logic
- logic based argumentation
- argumentation theory
- evidential reasoning
- classical logic
- consistency checking
- asynchronous circuits
- automated reasoning
- global constraints
- set theory
- legal reasoning
- logical framework
- closure operator
- argumentation semantics
- inference rules