Sciweavers

34 search results - page 1 / 7
» A formal model of adjudication dialogues
Sort
View
AIL
2008
82views more  AIL 2008»
13 years 7 months ago
A formal model of adjudication dialogues
Henry Prakken
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
13 years 12 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
AAAI
1990
13 years 8 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
ARGMAS
2005
Springer
14 years 1 months ago
Argumentation Based Modelling of Embedded Agent Dialogues
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...
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Morait...
IJIS
2007
94views more  IJIS 2007»
13 years 7 months ago
The eightfold way of deliberation dialogue
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
Peter McBurney, David Hitchcock, Simon Parsons