Sciweavers

34 search results - page 1 / 7
» A formal model of adjudication dialogues
Sort
View
AIL
2008
82views more  AIL 2008»
13 years 4 months ago
A formal model of adjudication dialogues
Henry Prakken
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
13 years 8 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 5 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
13 years 10 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 4 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