-
1
-
-
0036367581
-
Animated specifications of computational societies
-
C. Castelfranchi and L. Johnson, editors
-
A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In C. Castelfranchi and L. Johnson, editors, Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1053-1062, 2002.
-
(2002)
Proceedings of Conference on Autonomous Agents and Multi-agent Systems (AAMAS)
, pp. 1053-1062
-
-
Artikis, A.1
Pitt, J.2
Sergot, M.3
-
2
-
-
9444242221
-
Specifying electronic societies with the causal calculator
-
F. Giunchiglia, J. Odell, and G. Weiss, editors Springer
-
A. Artikis, M. Sergot, and J. Pitt. Specifying electronic societies with the Causal Calculator. In F. Giunchiglia, J. Odell, and G. Weiss, editors, Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE). Springer, 2003.
-
(2003)
Proceedings of Workshop on Agent-oriented Software Engineering III (AOSE)
-
-
Artikis, A.1
Sergot, M.2
Pitt, J.3
-
4
-
-
84926269969
-
Asserting
-
R. Brandom. Asserting. Nous, 17:637-650, 1983.
-
(1983)
Nous
, vol.17
, pp. 637-650
-
-
Brandom, R.1
-
5
-
-
0003689801
-
-
Harvard University Press, London, England
-
R. B. Brandom. Making it Explicit - Reasoning, Representing, and Discursive Commitment. Harvard University Press, London, England, 1994.
-
(1994)
Making It Explicit - Reasoning, Representing, and Discursive Commitment
-
-
Brandom, R.B.1
-
6
-
-
9444235971
-
Deontic logic and contrary-to-duties
-
D. Gabbay and F. Guenthner, editors. Kluwer Academic Publishers, Dordrecht, Holland, 2nd edition
-
J. Carmo and A.J.I. Jones. Deontic logic and contrary-to-duties. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 8, pages 265-343. Kluwer Academic Publishers, Dordrecht, Holland, 2nd edition, 2002.
-
(2002)
Handbook of Philosophical Logic
, vol.8
, pp. 265-343
-
-
Carmo, J.1
Jones, A.J.I.2
-
9
-
-
0002668371
-
A commitment-based approach to agent speech acts and conversations
-
Barcelona. (Held at the 'Agents 2000' conference)
-
M. Colombetti. A commitment-based approach to agent speech acts and conversations. In Proceedings of the Workshop on Agent Languages and Conversation Policies, pages 21-29, Barcelona, 2000. (Held at the 'Agents 2000' conference).
-
(2000)
Proceedings of the Workshop on Agent Languages and Conversation Policies
, pp. 21-29
-
-
Colombetti, M.1
-
10
-
-
84947475872
-
Concepts of optimal utterance in dialogue: Selection and complexity
-
F. Dignum, editor, LNAI, page in this volume. Springer Verlag
-
P.E. Dunne and P. McBurney. Concepts of optimal utterance in dialogue: Selection and complexity. In F. Dignum, editor, Advances in Agent Communication, LNAI, page in this volume. Springer Verlag.
-
Advances in Agent Communication
-
-
Dunne, P.E.1
McBurney, P.2
-
11
-
-
0007827005
-
-
PhD thesis, Institutt for filosofi. Det historik-filosofiske fakultetet. Universitetet Oslo
-
D. Elgesem. Action Theory and Modal Logic. PhD thesis, Institutt for filosofi. Det historik-filosofiske fakultetet. Universitetet Oslo, 1993.
-
(1993)
Action Theory and Modal Logic
-
-
Elgesem, D.1
-
12
-
-
0008716978
-
Elgesem's paper 'The modal logic of agency'
-
See also Elgesem's paper 'The modal logic of agency'. In The Nordic Journal of Philosophical Logic, vol. 2, 1997. pp. 1-46.
-
(1997)
The Nordic Journal of Philosophical Logic
, vol.2
, pp. 1-46
-
-
-
13
-
-
0001604343
-
Basic modal logic
-
Hogger C. Gabbay D.M. and Robinson J., editors. Oxford University Press, Oxford
-
M. Fitting. Basic modal logic. In Hogger C. Gabbay D.M. and Robinson J., editors, Handbook of logic in Artificial Intelligence and Logic Programming. Oxford University Press, Oxford, 1983. Volume 1.
-
(1983)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.1
-
-
Fitting, M.1
-
14
-
-
23144462817
-
Comments on Stenius's 'Mood and language game'
-
D. Follesdal. Comments on Stenius's 'Mood and language game'. Synthese, 17:275-280, 1967.
-
(1967)
Synthese
, vol.17
, pp. 275-280
-
-
Follesdal, D.1
-
18
-
-
35248861980
-
A logical framework
-
J. Pitt, editor, chapter 3. John Wiley and Sons, Chichester, UK. To appear
-
A.J.I. Jones. A logical framework. In J. Pitt, editor, The Open Agent Society, chapter 3. John Wiley and Sons, Chichester, UK, 2003. To appear.
-
(2003)
The Open Agent Society
-
-
Jones, A.J.I.1
-
19
-
-
84942856222
-
Formal specification of security requirements using the theory of normative positions
-
Y. Deswarte, G. Eizenberg, and J.-J Quisquater, editors, Lecture Notes in Computer Science 648. Springer-Verlag
-
A.J.I. Jones and M. Sergot. Formal specification of security requirements using the theory of normative positions. In Y. Deswarte, G. Eizenberg, and J.-J Quisquater, editors, Computer Security - ESORICS 92, Lecture Notes in Computer Science 648, pages 103-121. Springer-Verlag, 1992.
-
(1992)
Computer Security - ESORICS 92
, pp. 103-121
-
-
Jones, A.J.I.1
Sergot, M.2
-
21
-
-
0008688010
-
-
Reprinted Duncker & Humblot, Berlin, Germany
-
Reprinted in E. Garzón Valdés et al., eds., Normative Systems in Legal and Moral Theory - Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, Duncker & Humblot, Berlin, Germany, 1997, pages 349-367.
-
(1997)
Normative Systems in Legal and Moral Theory - Festschrift for Carlos E. Alchourrón and Eugenio Bulygin
, pp. 349-367
-
-
Valdés, E.G.1
-
22
-
-
0002470450
-
Semantics and conversations for an agent communication language
-
Martha E. Pollack, editor, Nagoya, Japan. Morgan Kaufmann publishers
-
Y. Labrou and T. Finin. Semantics and conversations for an agent communication language. In Martha E. Pollack, editor, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI-97), pages 584-591, Nagoya, Japan, 1997. Morgan Kaufmann publishers.
-
(1997)
Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI-97)
, pp. 584-591
-
-
Labrou, Y.1
Finin, T.2
-
23
-
-
23144440224
-
Review of: Making it explicit
-
I. Levi. Review of: Making it explicit. Journal of Philosophy, 93:145-158, 1996.
-
(1996)
Journal of Philosophy
, vol.93
, pp. 145-158
-
-
Levi, I.1
-
25
-
-
84947451579
-
Resolving commitments among autonomous agents
-
F. Dignum, editor, LNAI, page in this volume. Springer Verlag
-
A.U. Mallya, P. Yolum, and M.P. Singh. Resolving commitments among autonomous agents. In F. Dignum, editor, Advances in Agent Communication, LNAI, page in this volume. Springer Verlag.
-
Advances in Agent Communication
-
-
Mallya, A.U.1
Yolum, P.2
Singh, M.P.3
-
26
-
-
23144463585
-
Dynamic arrow logic
-
M. Marx, M. Masuch, and P. Polos, editors. CSLI Publications
-
M. Marx. Dynamic arrow logic. In M. Marx, M. Masuch, and P. Polos, editors, Arrow Logic and Multi-Modal Logic, pages 109-129. CSLI Publications, 1996.
-
(1996)
Arrow Logic and Multi-modal Logic
, pp. 109-129
-
-
Marx, M.1
-
30
-
-
0000553153
-
Normative positions
-
P. McNamara and H. Prakken, editors. IOS Press, Amsterdam
-
M. Sergot. Normative positions. In P. McNamara and H. Prakken, editors, Norms, Logic and Information Systems, pages 289-308. IOS Press, Amsterdam, 1999.
-
(1999)
Norms, Logic and Information Systems
, pp. 289-308
-
-
Sergot, M.1
-
31
-
-
0032294174
-
Agent communication languages: Rethinking the principles
-
M.P. Singh. Agent communication languages: rethinking the principles. IEEE Computer, 31(12):40-47, 1998.
-
(1998)
IEEE Computer
, vol.31
, Issue.12
, pp. 40-47
-
-
Singh, M.P.1
-
32
-
-
84943262087
-
Designing conversation policies using joint intention theory
-
I. A. Smith, P. R. Cohen, J. M. Bradshaw, M. Greaves, and H. Holmback. Designing conversation policies using joint intention theory. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS98), 1998.
-
(1998)
Proceedings of the Third International Conference on Multi-agent Systems (ICMAS98)
-
-
Smith, I.A.1
Cohen, P.R.2
Bradshaw, J.M.3
Greaves, M.4
Holmback, H.5
-
33
-
-
0008692052
-
Mood and language game
-
E. Stenius. Mood and language game. Synthese, 17:254-274, 1967.
-
(1967)
Synthese
, vol.17
, pp. 254-274
-
-
Stenius, E.1
-
35
-
-
0040836516
-
A note on dynamic arrow logics
-
J. van Eijck and A. Visser, editors. MIT Press, Cambridge
-
J. van Benthem. A note on dynamic arrow logics. In J. van Eijck and A. Visser, editors, Logic and Information Flow, pages 15-29. MIT Press, Cambridge, 1994.
-
(1994)
Logic and Information Flow
, pp. 15-29
-
-
Van Benthem, J.1
-
37
-
-
2342589590
-
A crash course in arrow logic
-
M. Marx, M. Masuch, and P. Polos, editors. CSLI Publications
-
Y. Venema. A crash course in arrow logic. In M. Marx, M. Masuch, and P. Polos, editors, Arrow Logic and Multi-Modal Logic, pages 3-34. CSLI Publications, 1994.
-
(1994)
Arrow Logic and Multi-modal Logic
, pp. 3-34
-
-
Venema, Y.1
|