Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation.
Sjur K. DyrkolbotnTruls PedersenPublished in: EUMAS (2018)
Keyphrases
- formal theory
- logic programming
- practical reasoning
- classical logic
- defeasible argumentation
- spatial reasoning
- multi valued
- argumentation theory
- argumentation systems
- logic based argumentation
- proof procedures
- argumentation schemes
- argumentation semantics
- qualitative reasoning
- modal logic
- defeasible reasoning
- predicate calculus
- defeasible logic
- robotic systems