5378 search results - page 58 / 1076 » Base Logics in Argumentation |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In this article, we are interested in the annotation of transcriptions of human-human dialogue taken from meeting records. We first propose a meeting content model where conversat...
CEEMAS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we propose a dialogue game for agents to deliberate over a proposed action. The agents’ dialogue moves are defined by a structured set of argument schemes and crit...
AI
2006
Springer
13 years 8 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
CADE
2007
Springer
14 years 9 months ago
2007
Springer