Login / Signup
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
Phan Minh Dung
Paolo Mancarella
Francesca Toni
Published in:
Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
</>
argumentation frameworks
proof procedures
inference rules
preferred semantics
winning strategy
argumentation semantics
proof procedure
decision problems
abstract argumentation
machine learning
legal reasoning
argumentation theory
probability distribution