5 search results - page 1 / 1 » Dialectic proof procedures for assumption-based, admissible ... |
AI
2006
Springer
13 years 5 months ago
2006
Springer
COMMA
2006
13 years 6 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
ECSQARU
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
AI
2007
Springer
13 years 5 months ago
2007
Springer
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
IJCAI
2007
13 years 6 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...