-
3
-
-
26844529352
-
Computational models, argumentation theories and legal practice
-
Reed, C. and Norman, T.J. (eds.). Kluwer Argumentation Library
-
Bench-Capon, T.J.M., Freeman J.B., Hohmann, H., and Prakken, H. Computational models, argumentation theories and legal practice. In Reed, C. and Norman, T.J. (eds.). Argumentation Machines. New Frontiers in Argument and Computation. Kluwer Argumentation Library (2003) 85-120.
-
(2003)
Argumentation Machines. New Frontiers in Argument and Computation
, pp. 85-120
-
-
Bench-Capon, T.J.M.1
Freeman, J.B.2
Hohmann, H.3
Prakken, H.4
-
4
-
-
26844532925
-
Vers une approche à base d'engagements et d'arguments pour la modélisation du dialogue
-
Bentahar, J., Moulin, B., and Chaib-draa, B. Vers une approche à base d'engagements et d'arguments pour la modélisation du dialogue. In Modèles Formels de l'Interaction, Cépaduès (2003) 19-28.
-
(2003)
Modèles Formels de L'Interaction, Cépaduès
, pp. 19-28
-
-
Bentahar, J.1
Moulin, B.2
Chaib-Draa, B.3
-
5
-
-
9244228908
-
Commitment and argument network: A new formalism for agent communication
-
Dignum, F. (ed.). Advances in Agent Communication. Springer-Verlag
-
Bentahar, J., Moulin, B., and Chaib-draa, B. Commitment and argument network: a new formalism for agent communication. Dignum, F. (ed.). Advances in Agent Communication. Lecture Notes in Artificial Intelligence, vol. 2922. Springer-Verlag, (2003) 146-165.
-
(2003)
Lecture Notes in Artificial Intelligence
, vol.2922
, pp. 146-165
-
-
Bentahar, J.1
Moulin, B.2
Chaib-Draa, B.3
-
6
-
-
4544251913
-
A logical model for commitment and argument network (extended abstract)
-
Bentahar, J., Moulin, B., Meyer, J-J, Ch., and Chaib-draa, B. A logical model for commitment and argument network (extended abstract). In Proc. Of the 3rd Int. J. Conf. On AAMAS (2004) 792-799.
-
(2004)
Proc. of the 3rd Int. J. Conf. on AAMAS
, pp. 792-799
-
-
Bentahar, J.1
Moulin, B.2
Meyer, J.-J.Ch.3
Chaib-Draa, B.4
-
7
-
-
84958768224
-
Efficient model checking via Büchi tableau automata
-
Berry, G., Comon, H., and Finkel, A. (eds). Computer-Aided Verification. Springer-Verlag
-
Bhat, G., Cleaveland, R., and Groce, A. Efficient model checking via Büchi tableau automata. In Berry, G., Comon, H., and Finkel, A. (eds). Computer-Aided Verification, Lecture Notes in Computer Scuence, vol. 2102. Springer-Verlag, (2001) 38-52.
-
(2001)
Lecture Notes in Computer Scuence
, vol.2102
, pp. 38-52
-
-
Bhat, G.1
Cleaveland, R.2
Groce, A.3
-
10
-
-
0010276187
-
Creation collective intention through dialogue
-
Dignum, F., Dunin-Keplicz, and Verbugge, R., Creation collective intention through dialogue. Logic Journal of the IGPL, 9(2) (2001) 305-319.
-
(2001)
Logic Journal of the IGPL
, vol.9
, Issue.2
, pp. 305-319
-
-
Dignum, F.1
Dunin-Keplicz2
Verbugge, R.3
-
12
-
-
1142280927
-
Defining protocols using a commitment-based agent communication language
-
Fornara, N. and Colombetti, M. Defining protocols using a commitment-based agent communication language. In Proc. Of the 2nd Int. J. Conf. On AAMAS (2003) 520-527.
-
(2003)
Proc. of the 2nd Int. J. Conf. on AAMAS
, pp. 520-527
-
-
Fornara, N.1
Colombetti, M.2
-
13
-
-
0345814989
-
Commitment-based and dialogue-game based protocols, new trends in agent communication languages
-
Cambridge Univ. Press
-
Maudet, N. and Chaib-draa, B. Commitment-based and dialogue-game based protocols, new trends in agent communication languages. Knowledge Engineering Review, 17(2), Cambridge Univ. Press (2002) 157-179.
-
(2002)
Knowledge Engineering Review
, vol.17
, Issue.2
, pp. 157-179
-
-
Maudet, N.1
Chaib-Draa, B.2
-
14
-
-
0003190942
-
Games that agents play: A formal framework for dialogues between autonomous agents
-
McBurney, P. and Parsons, S. Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language, and Information, 11(3) (2002) 1-22.
-
(2002)
Journal of Logic, Language, and Information
, vol.11
, Issue.3
, pp. 1-22
-
-
McBurney, P.1
Parsons, S.2
-
18
-
-
0032309788
-
Modelling reasoning with precedents in a formal dialogue game
-
Prakken, H. and Sartor, G. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, vol.6 (1998) 231-287.
-
(1998)
Artificial Intelligence and Law
, vol.6
, pp. 231-287
-
-
Prakken, H.1
Sartor, G.2
-
19
-
-
0011112281
-
Logics for defeasible argumentation
-
Gabbay, D., (ed.), Kluwer
-
Prakken, H. and Vreeswijk, G. Logics for defeasible argumentation. Gabbay, D., (ed.), Handbook of Philosophical Logic, Kluwer (2000) 218-319.
-
(2000)
Handbook of Philosophical Logic
, pp. 218-319
-
-
Prakken, H.1
Vreeswijk, G.2
-
20
-
-
4344669314
-
A computational trust model for multi-agent interactions based on confidence and reputation
-
Ramchum, S.D., Sierra, C., Jennings, N.R., and Godo L. A computational trust model for multi-agent interactions based on confidence and reputation. In Proc. of 6th Int. Workshop of Deception, Fraud and Trust in Agent Societies (2003) 69-75.
-
(2003)
Proc. of 6th Int. Workshop of Deception, Fraud and Trust in Agent Societies
, pp. 69-75
-
-
Ramchum, S.D.1
Sierra, C.2
Jennings, N.R.3
Godo, L.4
-
21
-
-
85053153541
-
Dialogue frames in agent communication
-
Reed, C. Dialogue frames in agent communication. In Proc. of the 3rd Int. Conf. on MAS. (1998) 246-253.
-
(1998)
Proc. of the 3rd Int. Conf. on MAS
, pp. 246-253
-
-
Reed, C.1
-
23
-
-
0010268508
-
Logic agents, dialogues and negotiation: An abductive approach
-
Sadri, F., Toni, F., Torroni, P. Logic agents, dialogues and negotiation: an abductive approach. In Proc. of Symposium on Information Agents for E-Commerce (2001).
-
(2001)
Proc. of Symposium on Information Agents for E-commerce
-
-
Sadri, F.1
Toni, F.2
Torroni, P.3
-
25
-
-
0032294174
-
Agent communication languages: Rethinking the principles
-
Singh, M.P. Agent communication languages: rethinking the principles, IEEE Computer (1998) 40-47.
-
(1998)
IEEE Computer
, pp. 40-47
-
-
Singh, M.P.1
-
26
-
-
84943262087
-
Designing conversation policies using joint intention theory
-
Smith, I.A., Cohen, P.R., Bradshaw, J.M., Greaves, M., and Holmback, H. Designing conversation policies using joint intention theory. In Proc. of the 3rd Int. Conf on MAS (1998) 269-276.
-
(1998)
Proc. of the 3rd Int. Conf on MAS
, pp. 269-276
-
-
Smith, I.A.1
Cohen, P.R.2
Bradshaw, J.M.3
Greaves, M.4
Holmback, H.5
-
28
-
-
0031074495
-
Abstract argumentation systems
-
Vreeswijk, G.A.W. Abstract argumentation systems. Artificial Intelligence, 90 (1-2), 1997, 225-279.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 225-279
-
-
Vreeswijk, G.A.W.1
-
30
-
-
0036361523
-
Flexible protocol specification and execution: Applying event calculus planning using commitments
-
Yolum, P. and Singh, M.P. Flexible protocol specification and execution: applying event calculus planning using commitments. In Proc. of Int. J. Conf. On AAMAS (2002) 527-534.
-
(2002)
Proc. of Int. J. Conf. on AAMAS
, pp. 527-534
-
-
Yolum, P.1
Singh, M.P.2
-
31
-
-
0036362188
-
An evidential model of distributed reputation management
-
Yu, B. and Singh, M. An evidential model of distributed reputation management. In Proc. Of the 1st Int. J. Conf. On AAMAS (2002) 294-301.
-
(2002)
Proc. of the 1st Int. J. Conf. on AAMAS
, pp. 294-301
-
-
Yu, B.1
Singh, M.2
|