Sciweavers

1912 search results - page 10 / 383
» On the evaluation of argumentation formalisms
Sort
View
89
Voted
AAAI
2007
14 years 11 months ago
Towards Large Scale Argumentation Support on the Semantic Web
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
Iyad Rahwan, Fouad Zablith, Chris Reed
AIL
2008
103views more  AIL 2008»
14 years 9 months ago
A dialogical theory of presumption
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...
Douglas Walton
CIE
2006
Springer
15 years 1 months ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
ECSQARU
2009
Springer
15 years 4 months ago
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
Mauro Javier Gómez Lucero, Carlos Ivá...
JURIX
2007
14 years 11 months ago
Arguments, Values and Baseballs: Representation of Popov v. Hayashi
In this paper, we model a recent legal case as presented in a court of first instance using argument schemes and an argumentation framework, providing a formal analysis of the cas...
Adam Zachary Wyner, Trevor J. M. Bench-Capon, Kati...