Sciweavers

5378 search results - page 12 / 1076
» Base Logics in Argumentation
Sort
View
JELIA
2010
Springer
13 years 7 months ago
Sets of Boolean Connectives That Make Argumentation Easier
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
Nadia Creignou, Johannes Schmidt, Michael Thomas, ...
CRIWG
2007
13 years 10 months ago
Alternative Dispute Resolution Based on the Storytelling Technique
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
Pedro Antunes, Sara Relvas, Marcos R. S. Borges
ICAIL
2009
ACM
13 years 6 months ago
Case law in extended argumentation frameworks
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...
Trevor J. M. Bench-Capon, Sanjay Modgil
ECSQARU
2009
Springer
14 years 3 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter
ECAI
2000
Springer
14 years 29 days ago
An Argumentation-Theoretic Characterization of Defeasible Logic
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
Guido Governatori, Michael J. Maher