-
1
-
-
0000672836
-
Deontic logic
-
D. Gabbay and F. Guenthner (eds.) Reidel, Dordrecht
-
L. Aaqvist. Deontic logic. In: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1984, pp. 605-714.
-
(1984)
Handbook of Philosophical Logic
, vol.3
, pp. 605-714
-
-
Aaqvist, L.1
-
2
-
-
0001797543
-
Toward a logic for qualitative decision theory
-
C. Boutilier. Toward a logic for qualitative decision theory. In: Proceedings KR'94, 1994, pp. 75-86.
-
(1994)
Proceedings KR'94
, pp. 75-86
-
-
Boutilier, C.1
-
4
-
-
84961373988
-
Intentional agents and goal formation
-
M. Singh et. al. (eds.) (LNAI 1365), Springer Verlag
-
F. Dignum and R. Conte. Intentional agents and goal formation. In: M. Singh et. al. (eds.), Intelligent Agents IV (LNAI 1365), Springer Verlag, 1998, pp. 231-244.
-
(1998)
Intelligent Agents IV
, pp. 231-244
-
-
Dignum, F.1
Conte, R.2
-
5
-
-
84867439819
-
Dialogue in team formation: A formal approach
-
F. Dignum and B. Chaib-draa (eds.) Stockholm
-
F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge. Dialogue in team formation: a formal approach. In: F. Dignum and B. Chaib-draa (eds.), IJCAI Workshop on Agent Communication Languages, Stockholm, 1999, pp. 39-50.
-
(1999)
IJCAI Workshop on Agent Communication Languages
, pp. 39-50
-
-
Dignum, F.1
Dunin-Kȩplicz, B.2
Verbrugge, R.3
-
6
-
-
0031388341
-
Combining dynamic deontic logic and temporal logic for the specification of deadlines
-
Jr. R. Sprague (ed.) Wailea, Hawaii
-
F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Jr. R. Sprague (ed.), Proceedings of thirtieth HICSS, Wailea, Hawaii, 1997.
-
(1997)
Proceedings of Thirtieth HICSS
-
-
Dignum, F.1
Kuiper, R.2
-
7
-
-
0004141645
-
Communicationand deonticlogic
-
R. Wieringaand R. Feenstra (eds.) World Scientific, Singapore
-
F. Dignum and H. Weigand. Communicationand deonticlogic. In: R. Wieringaand R. Feenstra (eds.), Information Systems, Correctness and Reusability, World Scientific, Singapore, 1995, pp. 242-260.
-
(1995)
Information Systems, Correctness and Reusability
, pp. 242-260
-
-
Dignum, F.1
Weigand, H.2
-
8
-
-
0001846509
-
Collective commitments
-
IEEE Computer Society Press, Kyoto
-
B. Dunin-Kȩplicz and R. Verbrugge. Collective commitments. In: Proc. Second International Conference on Multi-Agent Systems, ICMAS'96, IEEE Computer Society Press, Kyoto, 1996, pp. 56-63.
-
(1996)
Proc. Second International Conference on Multi-agent Systems, ICMAS'96
, pp. 56-63
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
9
-
-
0001939372
-
A reconfiguration algorithm for distributed problem solving
-
B. Dunin-Kȩplicz and R. Verbrugge. A Reconfiguration algorithm for distributed problem solving. In: Journal of Electronic Modeling, vol. 22, nr 2, 2000, pp. 68-86.
-
(2000)
Journal of Electronic Modeling
, vol.22
, Issue.2
, pp. 68-86
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
12
-
-
0003730235
-
-
MIT Press, Cambridge (MA)
-
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge (MA), 1995.
-
(1995)
Reasoning About Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
13
-
-
0030263767
-
Collaborative plans for group action
-
B.J. Grosz and S. Kraus. Collaborative plans for group action. Artificial Intelligence 86 (1996) pp. 269-357.
-
(1996)
Artificial Intelligence
, vol.86
, pp. 269-357
-
-
Grosz, B.J.1
Kraus, S.2
-
15
-
-
67650304120
-
Plan analysis for autonomous sociological agents
-
C. Castelfranchi and Y. Lespérance, editors ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin In this volume
-
M. Luck and M. d'Inverno. Plan analysis for autonomous sociological agents. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
-
(2001)
Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. International Workshop
-
-
Luck, M.1
D'Inverno, M.2
-
16
-
-
84867464255
-
Delegation and responsibility
-
C. Castelfranchi and Y. Lespérance, editors ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin In this volume
-
T. Norman and C. Reed. Delegation and responsibility. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
-
(2001)
Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. International Workshop
-
-
Norman, T.1
Reed, C.2
-
17
-
-
0032089494
-
Agents that reason and negotiate by arguing
-
S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3) (1998), pp. 261-292.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.3
, pp. 261-292
-
-
Parsons, S.1
Sierra, C.2
Jennings, N.3
-
18
-
-
0003101953
-
Issuesin automated negotiation and electronic commerce: Extending the contract net protocol
-
San Francisco, AAAI Press and MIT Press
-
T. Sandholm and V. Lesser. Issuesin automated negotiation and electronic commerce: extending the contract net protocol. In: Proceedings First International Conference on Multiagent Systems (ICMAS95), San Francisco, AAAI Press and MIT Press, 1995, pp. 328-335.
-
(1995)
Proceedings First International Conference on Multiagent Systems (ICMAS95)
, pp. 328-335
-
-
Sandholm, T.1
Lesser, V.2
-
20
-
-
0002572155
-
Modeling rational agents within a BDI architecture
-
R. Fikes and E. Sandewall (eds.) San Mateo, Morgan Kaufmann
-
A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI architecture. In: R. Fikes and E. Sandewall (eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-91), San Mateo, Morgan Kaufmann, 1991, pp.473-484.
-
(1991)
Proceedings of Knowledge Representation and Reasoning (KR&R-91)
, pp. 473-484
-
-
Rao, A.S.1
Georgeff, M.P.2
|