-
3
-
-
0004174613
-
-
Technical Report 1293, MIT AI Laboratory, April
-
R. A. Brooks. Intelligence without reason. Technical Report 1293, MIT AI Laboratory, April 1991.
-
(1991)
Intelligence without Reason
-
-
Brooks, R.A.1
-
4
-
-
0011748591
-
TELETRUCK: A Holonic Fleet Management System
-
Vienna, Austrian Society for Cybernetic Studies
-
H. J. Burckert, G. Vierke, and K. Fischer. TELETRUCK: A Holonic Fleet Management System. In Cybernetics And Systems’98 - Proceedings of the 14th European Meeting on Cybernetics and System Research, pages 695-700, Vienna, 1998. Austrian Society for Cybernetic Studies.
-
(1998)
Cybernetics and Systems’98 - Proceedings of the 14Th European Meeting on Cybernetics and System Research
, pp. 695-700
-
-
Burckert, H.J.1
Vierke, G.2
Fischer, K.3
-
6
-
-
0025403233
-
Intention is choice with commitment
-
P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213-261, 1990.
-
(1990)
Artificial Intelligence
, vol.42
, Issue.3
, pp. 213-261
-
-
Cohen, P.R.1
Levesque, H.J.2
-
8
-
-
84961379308
-
A Formal Specification of dMars
-
Springer
-
M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMars. In Intelligent Agents IV, volume 1365 of Lecture Notes in Artificial Intelligence, pages 155-174. Springer, 1998.
-
(1998)
Intelligent Agents IV, Volume 1365 of Lecture Notes in Artificial Intelligence
, pp. 155-174
-
-
D’Inverno, M.1
Kinny, D.2
Luck, M.3
Wooldridge, M.4
-
10
-
-
84976763701
-
Branching Time Temporal Logic
-
J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Springer-Verlag, Berlin
-
E. A. Emerson and J. Srinivasan. Branching Time Temporal Logic. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pages 123-172. Springer-Verlag, Berlin, 1989.
-
(1989)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
, pp. 123-172
-
-
Emerson, E.A.1
Srinivasan, J.2
-
11
-
-
84961324088
-
Representing abstract agent architectures
-
J. P. Müller, M. P. Singh, and A. S. Rao, Springer-Verlag, Heidelberg
-
M. Fisher. Representing abstract agent architectures. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
-
(1999)
Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence
-
-
Fisher, M.1
-
13
-
-
0025460546
-
Knowledge and Common Knowledge in a Distributed Environment
-
J. Y. Halpern and Y. O. Moses. Knowledge and Common Knowledge in a Distributed Environment. Journal of the the ACM, 37(3):549-587, 1990.
-
(1990)
Journal of the The ACM
, vol.37
, Issue.3
, pp. 549-587
-
-
Halpern, J.Y.1
Moses, Y.O.2
-
20
-
-
21444449615
-
Towards a unified agent architecture that combines rationality with reactivity
-
D. Pedreschi and C. Zaniolo, Springer-Verlag
-
R. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, volume 1154 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
-
(1996)
Logic in Databases, Volume 1154 of Lecture Notes in Computer Science
-
-
Kowalski, R.1
Sadri, F.2
-
22
-
-
84961346916
-
The right agent (Architecture) to do the right thing
-
J. P. Müller, M. P. Singh, and A. S. Rao, Springer-Verlag, Heidelberg
-
J. P. Müller. The right agent (architecture) to do the right thing. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V- Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
-
(1999)
Intelligent Agents V- Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence
-
-
Müller, J.P.1
-
23
-
-
77951995578
-
HEIR - a non-hierarchical hybrid architecture for intelligent robots
-
J. P. Müller, M. P. Singh, and A. S. Rao, Springer-Verlag, Heidelberg
-
M. Piaggio. HEIR - a non-hierarchical hybrid architecture for intelligent robots. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V- Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
-
(1999)
Intelligent Agents V- Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence
-
-
Piaggio, M.1
-
24
-
-
0002572155
-
Modeling Agents Within a BDI-Architecture
-
R. Fikes and E. Sandewall, Cambridge, Mass., Morgan Kaufmann
-
A. S. Rao and M. P. Georgeff. Modeling Agents Within a BDI-Architecture. In R. Fikes and E. Sandewall, editors, Proc. of the 2rd International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pages 473-484, Cambridge, Mass., April 1991. Morgan Kaufmann.
-
(1991)
Proc. of the 2Rd International Conference on Principles of Knowledge Representation and Reasoning (KR’91)
, pp. 473-484
-
-
Rao, A.S.1
Georgeff, M.P.2
|