2303 search results - page 11 / 461 » On the logic of argumentation theory |
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
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...
75
Voted
COMMA
2006
14 years 11 months ago
2006
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
101
Voted
AI
2011
Springer
14 years 4 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...