25 search results - page 3 / 5 » A formal account of Socratic-style argumentation |
ARGMAS
2006
Springer
13 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
AAAI
2007
13 years 9 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
PRIMA
2007
Springer
14 years 1 months ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
NMR
2004
Springer
14 years 25 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...