Sciweavers

3053 search results - page 22 / 611
» A Logic of Abstract Argumentation
Sort
View
COMMA
2010
13 years 4 months ago
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
Phan Minh Dung, Phan Minh Thang
LPAR
2005
Springer
14 years 3 months ago
The Four Sons of Penrose
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
Nachum Dershowitz
ICLP
1999
Springer
14 years 1 months ago
Event, Property, and Hierarchy in Order-Sorted Logic
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
Ken Kaneiwa, Satoshi Tojo
ICAIL
2009
ACM
14 years 4 months ago
How much logical structure is helpful in content-based argumentation software for legal case solving?
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
Stijn Colen, Fokie Cnossen, Bart Verheij
AI
2007
Springer
13 years 9 months ago
On the evaluation of argumentation formalisms
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...
Martin Caminada, Leila Amgoud