1912 search results - page 28 / 383 » On the evaluation of argumentation formalisms |
SBIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
112
click to vote
RE
2010
Springer
14 years 6 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
KI
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
102
click to vote
COMMA
2008
15 years 1 months ago
2008
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...