Sciweavers

Share
35 search results - page 1 / 7
» A formal model of adjudication dialogues
Sort
View
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
10 years 2 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...
PRIMA
2015
Springer
4 years 5 months ago
Mechanism Design for Argumentation-Based Information-Seeking and Inquiry
Abstract. Formal argumentation-based dialogue systems have attracted considerable research interest in the past. Most research in this area introduce “dialectical wrappers” ove...
Xiuyi Fan, Francesca Toni
AAAI
1990
9 years 10 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
10 years 3 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...
books