-
2
-
-
33750275272
-
A formal general setting for dialogue protocols
-
Amgoud L, Belabbes S, Prade H (2006) A formal general setting for dialogue protocols. In: Proceedings of artificial intelligence: methodology, systems, and applications, pp 13-23.
-
(2006)
In: Proceedings of artificial intelligence: Methodology, systems, and applications
, pp. 13-23
-
-
Amgoud, L.1
Belabbes, S.2
Prade, H.3
-
6
-
-
26844478776
-
Specifying and implementing a persuasion dialogue game using commitment and argument network
-
Springer
-
Bentahar J, Moulin B, Chaib-draa B (2005) Specifying and implementing a persuasion dialogue game using commitment and argument network. In: Argumentation in multi-agent systems, vol 3366(1). Springer, pp 130-148.
-
(2005)
Argumentation in multi-agent systems
, vol.3366
, Issue.1
, pp. 130-148
-
-
Bentahar, J.1
Moulin, B.2
Chaib-draa, B.3
-
7
-
-
33745744402
-
A tableau method for verifying dialogue game protocols for agent communication
-
Springer
-
Bentahar J, Moulin B, Meyer J-J Ch (2006) A tableau method for verifying dialogue game protocols for agent communication. In: Declarative agent languages and technologies, vol 3904. Springer, pp 223-244.
-
(2006)
Declarative agent languages and technologies
, vol.3904
, pp. 223-244
-
-
Bentahar, J.1
Moulin, B.2
Meyer, J.-J.C.3
-
8
-
-
36849005526
-
An argumentation framework for communities of Web services
-
Bentahar J, Maamar Z, Benslimane D, Thiran P (2007) An argumentation framework for communities of Web services. IEEE Intell Syst 22(6): 75-83.
-
(2007)
IEEE Intell Syst
, vol.22
, Issue.6
, pp. 75-83
-
-
Bentahar, J.1
Maamar, Z.2
Benslimane, D.3
Thiran, P.4
-
9
-
-
0035303395
-
Dynamic argument systems: a formal model of argumentation processes based on situation calculus
-
Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11(2): 257-282.
-
(2001)
J Logic Comput
, vol.11
, Issue.2
, pp. 257-282
-
-
Brewka, G.1
-
13
-
-
0021509216
-
Linear-time algorithms for testing the satisfiability of propositional horn theories
-
Dowling W, Gallier JH (1984) Linear-time algorithms for testing the satisfiability of propositional horn theories. J Logic Program 1(3): 267-284.
-
(1984)
J Logic Program
, vol.1
, Issue.3
, pp. 267-284
-
-
Dowling, W.1
Gallier, J.H.2
-
15
-
-
23144456825
-
Logic-based agent communication protocols
-
In: Dignum F (ed) Advances in agent communication. LNAI 2922, Springer
-
Endriss U, Maudet N, Sadri F, Toni F (2003) Logic-based agent communication protocols. In: Dignum F (ed) Advances in agent communication. In: International workshop on agent communication languages. LNAI 2922, Springer, pp 91-107.
-
(2003)
International workshop on agent communication languages
, pp. 91-107
-
-
Endriss, U.1
Maudet, N.2
Sadri, F.3
Toni, F.4
-
19
-
-
0032156107
-
Reaching agreements through argumentation: a logical model and implementation
-
Kraus S, Sycara KP, Evenchik A (1998) Reaching agreements through argumentation: a logical model and implementation. Artif Intell 104(1-2): 1-69.
-
(1998)
Artif Intell
, vol.104
, Issue.1-2
, pp. 1-69
-
-
Kraus, S.1
Sycara, K.P.2
Evenchik, A.3
-
20
-
-
33644921753
-
Bilateral negotiation decisions with uncertain dynamic outside options
-
Li C, Giampapa JA, Sycara KP (2006) Bilateral negotiation decisions with uncertain dynamic outside options. IEEE Trans Syst Man Cybern Part C 36(1): 31-44.
-
(2006)
IEEE Trans Syst Man Cybern Part C
, vol.36
, Issue.1
, pp. 31-44
-
-
Li, C.1
Giampapa, J.A.2
Sycara, K.P.3
-
21
-
-
0003190942
-
Games the agents play: A formal framework for dialogues between autonomous agents
-
McBurney P, Parsons S (2002) Games the agents play: A formal framework for dialogues between autonomous agents. J Logic, Lang Inf 11(3): 1-22.
-
(2002)
J Logic, Lang Inf
, vol.11
, Issue.3
, pp. 1-22
-
-
McBurney, P.1
Parsons, S.2
-
24
-
-
0032089494
-
Agents tat reason and negotiate by arguing
-
Parsons S, Sierra C, Jennings N (1998) Agents tat reason and negotiate by arguing. J Logic Comput 8(3): 261-292.
-
(1998)
J Logic Comput
, vol.8
, Issue.3
, pp. 261-292
-
-
Parsons, S.1
Sierra, C.2
Jennings, N.3
-
25
-
-
84937332719
-
Relating protocols for dynamic dispute with logics for defeasible argumentation
-
Prakken H (2001) Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 127: 187-219.
-
(2001)
Synthese
, vol.127
, pp. 187-219
-
-
Prakken, H.1
-
28
-
-
84901719329
-
Dialogues for negotiation: agent varieties and dialogue sequencesof LNAI
-
Springer
-
Sadri F, Toni F, Torroni P (2001) Dialogues for negotiation: agent varieties and dialogue sequences. Intelligent agent series VIII, vol 2333 of LNAI. Springer, pp 405-421.
-
(2001)
Intelligent agent series VIII
, vol.2333
, pp. 405-421
-
-
Sadri, F.1
Toni, F.2
Torroni, P.3
-
29
-
-
38049063194
-
A multi-agent temporal constraint satisfaction system based on Allen's interval algebra and probabilities
-
Shakshuki E, Trudel A, Xu Y (2007) A multi-agent temporal constraint satisfaction system based on Allen's interval algebra and probabilities. Int J Inf Technol Web Eng 2(2): 45-64.
-
(2007)
Int J Inf Technol Web Eng
, vol.2
, Issue.2
, pp. 45-64
-
-
Shakshuki, E.1
Trudel, A.2
Xu, Y.3
-
31
-
-
0030400382
-
Distributed intelligent agents
-
Sycara K, Pannu A, Williamson M, Zeng D, Decker K (1996) Distributed intelligent agents. IEEE Expert 11(6): 36-46.
-
(1996)
IEEE Expert
, vol.11
, Issue.6
, pp. 36-46
-
-
Sycara, K.1
Pannu, A.2
Williamson, M.3
Zeng, D.4
Decker, K.5
-
32
-
-
79958167978
-
-
The Agent Oriented Software Group. Jack 4.1.2005
-
The Agent Oriented Software Group. Jack 4. 1. 2005. http://www. agent-software. com/.
-
-
-
|