1912 search results - page 20 / 383 » On the evaluation of argumentation formalisms |
78
Voted
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
110
Voted
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
ARGMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
Higman's lemma has a very elegant, non-constructive proof due to Nash-Williams [NW63] using the so-called minimal-bad-sequence argument. The objective of the present paper is ...