Modular Logic Argumentation in Arg-tuProlog.
Roberta CalegariGiuseppe ContissaGiuseppe PisanoGalileo SartorGiovanni SartorPublished in: AI*IA (2021)
Keyphrases
- proof procedures
- derivation rules
- argumentation theory
- logic based argumentation
- logic programming
- defeasible reasoning
- predicate logic
- inference rules
- defeasible logic
- classical logic
- modal logic
- artificial intelligence
- modular neural networks
- modular structure
- proof theory
- data sets
- automated reasoning
- digital circuits
- practical reasoning
- argumentation semantics
- abstract argumentation
- abstract argumentation frameworks
- probability theory
- cscl environments