Agent theories, architectures, and languages: A survey

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 890, Issue , 1995, Pages 1-39

  Wooldridge, Michael ^a   Jennings, Nicholas R ^b  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SURVEYS;

AGENT TECHNOLOGY; AGENT THEORY; DESIGN AND CONSTRUCTION; PRACTICAL ISSUES;

INTELLIGENT AGENTS;

EID: 84937413800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58855-8_1     Document Type: Conference Paper

References (215)

1. G. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, 1986.
2. G. Agha, P. Wegner,and A. Yonezawa, editors. ResearchDirections in Concurrent Object- Oriented Programming. The MIT Press, 1993.
3. P. Agre and D. Chapman. PENGI: An implementation of a theory of activity. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 268-272, Seattle, WA, 1987.
4. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2): 123-154,1984.
5. J. F. Allen, J. Hendler, and A. Tate, editors. Readings in Planning. Morgan Kaufmann, 1990.
6. J. F. Allen, H. Kautz, R. Pelavin, and J. Tenenberg. Reasoning About Plans. Morgan Kaufmann, 1991.
7. J. Ambros-Ingerson and S. Steel. Integrating planning, execution and monitoring. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pages 83-88, St. Paul, MN, 1988.
8. J. L. Austin. How to Do Things With Words. Oxford University Press, 1962.
9. R. Aylett and D. Eustace. Multiple cooperating robots-combining planning and behaviours. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 3-11. DAKE Centre, University of Keele, UK, 1994.
10. R. M. Baecker, editor. Readings in Groupware and Computer-Supported Cooperative Work. Morgan Kaufmann, 1993.
11. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. Metate M: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430), pages 94-129. Springer-Verlag, June 1989.
12. J. Barwise and J. Perry. Situations and Attitudes. The MIT Press, 1983.
13. J. Bates. The role of emotion in believable agents. Communications of the ACM, 37(7):122-125, July 1994.
14. J. Bates, A. Bryan Loyall, and W. Scott Reilly. An architecture for action, emotion, and social behaviour. Technical Report CMU-CS-92-144, School of Computer Science, Camegie-Mellon University, Pittsburgh, PA, May 1992.
15. N. Belnap. Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research, LI(4):777-807, December 1991.
16. N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175-199,1988.
17. A. H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, 1988.
18. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press: Cambridge, MA, 1987.
19. M. E. Bratman. What is intention? In P. R. Cohen, J. L. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 15-32. The MIT Press, 1990.
20. M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349-355, 1988.
21. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1): 14-23, 1986.
22. R. A. Brooks. Intelligence without reason. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 569-595, Sydney, Australia, 1991.
23. R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139-159, 1991.
24. B. Burmeister and K. Sundermeyer. Cooperative problem solving guided by intentions and perception. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 77-92. Elsevier Science Publishers B.V., 1992.
25. S. Bussmann and Y. Demazeau. An agent model combining reactive and cognitive capabilities. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS-94), Munich, Germany, September 1994.
26. C. Castelfranchi. Social power. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI-Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-89), pages 49-62. Elsevier Science Publishers B.V., 1990.
27. C. Castelfranchi. Guarantees for autonomy in cognitive agent architecture. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
28. C. Castelfranchi, M. Miceli, and A. Cesta. Dependence relations among autonomous agents. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 215-231. Elsevier Science Publishers B.V., 1992.
29. B. Chaib-draa and P. Levesque. Hierarchical models and communication in multi-agent environments. In Proceedings of the Sixth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-94), pages 119-134, Odense, Denmark, August 1994.
30. B. Chaib-draa, B. Moulin, R. Mandiau, and P. Millot. Trends in distributed artificial intelligence. Artificial Intelligence Review, 6:35-66, 1992.
31. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333-378,1987.
32. B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.
33. D. Chu, I.E. PROLOG II: A language for implementing multi-agent systems. In S. M. Deen, editor, Proceedings of the 1992 Workshopon Cooperating Knowledge Based Systems (CKBS-92), pages 61-74. DAKE Centre, University of Keele, UK, 1993.
34. P. R. Cohen and A. Cheyer. An open agent architecture. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 1-8. AAAI Press, March 1994.
35. P. R. Cohen, M. L. Greenberg, D. M. Hart, and A. E. Howe. Trial by fire: Understanding the design requirements for agents in complex environments. A1 Magazine, 10(3):32-48, 1989.
36. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
37. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221- 256. The MIT Press, 1990.
38. P. R. Cohen and C. R. Perrault. Elements of a plan based theory of speech acts. Cognitive Science, 3:177-212,1979.
39. D. Connah and P. Wavish. An experiment in cooperation. In Y. Demazeauand J.-P. Müller, editors, Decentralized AI-Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-89), pages 197-214. Elsevier Science Publishers B.V., 1990.
40. M. R. Cutkosky,R. S. Engelmore, R. E. Fikes, M. R. Genesereth, T. Gruber, W. S. Mark, J. M. Tenenbaum, and J. C. Weber. PACT: An experiment in integrating concurrent engineering systems. IEEE Computer, 26(l):28-37,1993.
41. N. J. Davies. Truth, Modality, and Action. PhD thesis, Department of Computer Science, University of Essex, Colchester, UK, March 1993.
42. T. L. Dean and M. P. Wellman. Planning and Control. Morgan Kaufmann, 1991.
43. D. C. Dennett. Brainstorms. The MIT Press, 1978.
44. D. C. Dennett. The Intentional Stance. The MIT Press, 1987.
45. J. des Rivieres and H. J. Levesque. The consistency of syntactical treatments of knowledge. In J. Y. Halpem, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 115-130. Morgan Kaufmann, 1986.
46. K. Devlin. Logic and Information. Cambridge University Press, 1991.
47. J. Downs and H. Reichgelt. Integrating classical and reactive planning within an architecture for autonomous agents. In J. Hertzberg, editor, European Workshop on Planning (LNAI Volume 522), pages 13-26,1991.
48. J. Doyle, Y. Shoham, and M. P. Wellman. A logic of relative desire. In Z. W. Ras and M. Zemankova, editors, Methodologies for Intelligent Systems-Sixth International Symposium, ISMIS-91 (LNAI Volume 542). Springer-Verlag, October 1991.
49. B. Ekdahl, E. Astor, and P. Davidsson. Towards anticipatory agents. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
50. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier Science Publishers B.V., 1990.
51. E. A. Emerson and J. Y. Halpem. 'Sometimes' and 'not never' revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151-178,1986.
52. R. Engelmore and T. Morgan, editors. Blackboard Systems. Addison-Wesley, 1988.
53. O. Etzioni, N. Lesh, and R. Segal. Building softbots for UNIX. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94- 03), pages 9-16. AAAI Press, March 1994.
54. O. Etzioni and D. Weld. A softbot-based interface to the internet. Communications of the ACM, 37(7):72-76, July 1994.
55. R. Fagin and J. Y. Halpem. Belief, awareness, and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480-490, Los Angeles, CA, 1985.
56. R. Fagin, J. Y. Halpem, and M. Y. Vardi. What can machines know? on the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328-376,1992.
57. I. A. Ferguson. Touring Machines: An Architecture for Dynamic, Rational, Mobile Agents. PhD thesis, Clare Hall, University of Cambridge, UK, November 1992. (Also available as Technical Report No. 273, University of Cambridge Computer Laboratory).
58. I. A. Ferguson. Towards an architecture for adaptive, rational, mobile agents. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 249-262. Elsevier Science Publishers B.V., 1992.
59. R. E. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5(2): 189-208, 1971.
60. J. A. Firby. An investigation into reactive planning in complex domains. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 202-206, Milan, Italy, 1987.
61. K. Fisher, N. Kuhn, H. J. Müller, J. P. Müller, and M. Pischel. Sophisticated and distributed: The transportation domain. In Proceedings of the Fifth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-93), Neuchâtel, Switzerland, 1993.
62. M. Fisher. A survey of Concurrent MetateM-the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic-Proceedings of the First International Conference (LNAI Volume 827), pages 480-505. Springer-Verlag, July 1994.
63. J. R. Galliers. A strategic framework for multi-agent cooperative dialogue. In Proceedings of the Eighth European Conference on Artificial Intelligence (ECAI-88), pages 415-420, Munich, Federal Republic of Germany, 1988.
64. J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988.
65. L. Gasser and J. P. Briot. Object-based concurrent programming and DAI. In Distributed Artificial Intelligence: Theory and Praxis, pages 81-108. Kluwer Academic Publishers, 1992.
66. C. Geissler and K. Konolige. A resolution method for quantified modal logics of knowledge and belief. In J. Y. Halpem, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 309-324. Morgan Kaufmann, 1986.
67. M. R. Genesereth and S. P. Ketchpel. Software agents. Communications of the ACM, 37(7):48-53, July 1994.
68. M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.
69. N. J. George, R. J. Jasper, M. R. LaFever, K. M. Morrison, D. B. Rosenthal, S. R. Tockey, J. D. Woolley, J. M. Bradshaw, G. A. Boy, and P. D. Holm. KAoS: A knowledgeable agent-oriented system. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 24-30. AAAI Press, March 1994.
70. M. P. Georgeff. Planning. Annual Review of Computer Science, 2:359-400,1987.
71. M. P. Georgeff and F. F. Ingrand. Decision-making in an embedded reasoning system. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (lJCAI-89), pages 972-978, Detroit, MI, 1989.
72. M. P. Georgeff and A. L. Lansky, editors. Reasoning About Actions & Plans-Proceedings of the 1986 Workshop. Moigan Kaufmann, 1986.
73. M. P. Geoigeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677-682, Seattle, WA, 1987.
74. M. Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann, 1993.
75. P. Gmytrasiewicz and E. H. Durfee. Elements of a utilitarian theory of knowledge and action. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCA1-93), pages 396-402, Chambéry, France, 1993.
76. R. Goldblatt. Logics of Time and Computation. Centre for the Study of Language and Information-Lecture Notes Series, 1987. (Distributed by Chicago University Press).
77. R. P. Goldman and R. R.Lang. Intentions in time. Technical Report TUTR 93-101, Tulane University, January 1991.
78. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, School of Computer Science, Camegie-Mellon University, Pittsburgh, PA, May 1993.
79. I. Greif. Desktop agents in group-enabled products. Communications of the ACM, 37(7):100-105, July 1994.
80. B. J. Grosz and C. L. Sidner. Plans for discourse. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 417-444. The MIT Press, 1990.
81. T. R. Gruber. The role of common ontology in achieving sharable, reusable knowledge bases. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91). Morgan Kaufmann, April 1991.
82. A. Haas. A syntactic theory of belief and knowledge. Artificial Intelligence, 28(3):245- 292,1986.
83. A. Haddadi. A hybrid architecture for multi-agent systems. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 13-26, DAKE Centre, University of Keele, UK, 1994.
84. S. Hägg, F. Ygge, R. Gustavsson, and H. Ottosson. DA-SoC: A testbed for modelling distributed automation applications using agent-oriented programming. In Proceedings of the Sixth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-94), pages 39-51, August 1994.
85. J. Y. Halpem. Reasoning about knowledge: An overview. In J. Y. Halpem, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 1-18. Morgan Kaufmann, 1986.
86. J. Y. Halpem. Using reasoning about knowledge to analyze distributed systems. Annual Review of Computer Science, 2:37-68, 1987.
87. J. Y. Halpem and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379,1992.
88. J. Y. Halpem and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences, 38:195-237,1989.
89. D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II-Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company, 1984. (Synthese library Volume 164).
90. H. Haugeneder. IMAGINE final project report. 1994.
91. H. Haugeneder and D. Steiner. A multi-agent approach to cooperation in urban traffic. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 83-98. DAKE Centre, University of Keele, UK, 1994.
92. H. Haugeneder, D. Steiner, and F. G. McCabe. IMAGINE: A framework for building multi-agent systems. In S. M. Deen, editor, Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), DAKE Centre, University of Keele, UK, June 1994.
93. J. Hendler, editor. Artificial Intelligence Planning: Proceedings of the First International Conference. Morgan Kaufmann, 1992.
94. M. Henz, G. Smolka, and J. Wuertz. Oz-a programming language for multi-agent systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 404-409, Chambéry, France, 1993.
95. C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323-364,1977.
96. J. Hintikka. Knowledge and Belief. Cornell University Press: Ithaca, NY, 1962.
97. J. Huang, N. R. Jennings, and J. Fox. An agent architecture for distributed medical care. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
98. G. E. Hughes and M. J. Cresswell. Introduction to Modal Logic. Methuen and Co., Ltd., 1968.
99. M. N. Huhns, N. Jacobs, T. Ksiezyk, W. M. Shen, M. P. Singh, and P. E. Cannata. Integrating enterprise information models in Carnot. In Proceedings of the International Conference on Intelligent and Cooperative Information Systems, pages 32-42, Rotterdam, The Netherlands, 1992.
100. N. R. Jennings. On being responsible. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 93-102. Elsevier Science Publishers B. V., 1992.
101. N. R. Jennings. Commitments and conventions: The foundation of coordination in multiagent systems. Knowledge Engineering Review, 8(3):223-250, 1993.
102. N. R. Jennings. Specification and implementation of a belief desire joint-intention architecture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems, 2(3):289-318, 1993.
103. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 74(2), 1995. (To appear).
104. N. R. Jennings, L. Z. Varga, R. P. Aamts, J. Fuchs, and P. Skarek. Transforming standalone expert systems into a community of cooperating agents. International Journal of Engineering Applications of Artificial Intelligence, 6(4):317-331, 1993.
105. L. P. Kaelbling. An architecture for intelligent reactive systems. In M. P. Georgeff and A. L. Lansky, editors, Reasoning About Actions & Plans-Proceedings of the 1986 Workshop, pages 395-410. Morgan Kaufmann, 1986.
106. L. P. Kaelbling. A situated automata approach to the design of embedded agents. SIGART Bulletin, 2(4):85-88, 1991.
107. L. P. Kaelbling and S. J. Rosenschein. Action and planning in embedded agents. In P. Maes, editor, Designing Autonomous Agents, pages 35-48. The MIT Press, 1990.
108. D. Kinny, M. Ljungberg, A. S. Rao, E. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In C. Castelfranchi and E. Werner, editors, Artificial Social Systems-Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds, MAAMAW-92 (LNAI Volume 830), pages 226-256. Springer-Verlag, 1992.
109. G. Kiss and H. Reichgelt. Towards a semantics of desires. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 115-128. Elsevier Science Publishers B.V., 1992.
110. K. Konolige. A first-order formalization of knowledge and action for a multi-agent planning system. In J. E. Hayes, D. Michie, and Y. Pao, editors, Machine Intelligence 10, pages 41-72. Ellis Horwood, 1982.
111. K. Konolige. A Deduction Model of Belief. Pitman/Morgan Kaufmann, 1986.
112. K. Konolige. What awareness isn't: A sentential view of implicit and explicit belief (position paper). In J. Y. Halpem, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 241-250. Morgan Kaufmann, 1986.
113. K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 390-395, Chambéry, France, 1993.
114. S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58:155-174,1988.
115. S. Kripke. Semantical analysis of modal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67-96,1963.
116. G. Lakemeyer. A computationally attractive first-order logic of belief. In JELIA-90: Proceedings of the European Workshop on Logics in AI (LNAI Volume 478), pages 333-347. Springer-Verlag, 1991.
117. Y. Lespérance. A formal account of self knowledge and action. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 868-874, Detroit, MI, 1989.
118. H. J. Levesque. A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), pages 198-202, Austin, TX, 1984.
119. H. J. Levesque, P. R. Cohen, and J. H. T. Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94-99, Boston, MA, 1990.
120. A. Y. Levy, Y. Sagiv, and D. Srivastava. Towards efficient information gathering agents. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 64-70. AAAI Press, March 1994.
121. D. Mack. A new formal model of belief. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 573-577, Amsterdam, The Netherlands, 1994.
122. P. Maes. The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 991-997, Detroit, MI, 1989.
123. P. Maes, editor. Designing Autonomous Agents. The MIT Press, 1990.
124. P. Maes. Situated agents can have goals. In P. Maes, editor, Designing Autonomous Agents, pages 49-70. The MIT Press, 1990.
125. P. Maes. The agent network architecture (ANA). SIGART Bulletin, 2(4):115-120,1991.
126. P. Maes. Agents that reduce work and information overload. Communications of the ACM, 37(7):31-40, July 1994.
127. P. Maes. Social interface agents: Acquiring competence by learning from users and other agents. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 71-78. AAAI Press, March 1994.
128. F. G. McCabe and K. L. Clark. April-agent process interaction language. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
129. S. L. McGregor. Prescient agents. In D. Coleman, editor, Proceedings of Groupware-92, pages 228-230,1992.
130. T. Mitchell, R. Caruana, D. Freitag, J. McDermott, and D. Zabowski. Experience with a learning personal assistant. Communications of the ACM, 37(7):81-91, July 1994.
131. D. Moffat and N. Frijda. Where there's a will there's an agent. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
132. R. Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizations. Acta Philosophica Fennica, 16:153-167,1963.
133. R. C. Moore. A formal theory of knowledge and action. In J. F. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 480-519. Morgan Kaufmann, 1990.
134. L. Morgenstern. Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 867-874, Milan, Italy, 1987.
135. K. Mori, H. Torikoshi, K. Nakai, K. Mori, and T. Masuda. Computer control system for iron and steel plants. Hitachi Review, 37(4):251-258,1988.
136. R. E. Morley and C. Schelberg. An analysis of a plant-specific dynamic scheduler. In Proceedings of the NSF Workshop on Dynamic Scheduling, Cocoa Beach, Florida, 1993.
137. U. Mukhopadhyay, L. Stephens, and M. Huhns. An intelligent system for document retrieval in distributed office environments. Journal of the American Society for Information Science, 37:123-135, 1986.
138. J. P.Müller. A conceptual model of agent interaction. In S. M. Deen, editor, Draft proceedings of the Second International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), pages 389-404, DAKE Centre, University of Keele, UK, June 1994.
139. J. P. Müller and M. Pischel. Modelling interacting agents in dynamic environments. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 709-713, Amsterdam, The Netherlands, 1994.
140. J. P. Müller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
141. A. Newell and H. A. Simon. Computer science as empirical enquiry. Communications of the ACM, 19:113-126,1976.
142. N. J. Nilsson. Towards agent programs with circuit semantics. Technical Report STAN- CS-92-1412, Computer Science Department, Stanford University, Stanford, CA 94305, January 1992.
143. H. V. D. Parunak. Applications of distributed artificial intelligence in industry. In G. M. P. O'Hare and N. R. Jennings, editors, Foundations of Distributed AI. John Wiley & Sons, 1995. (To appear).
144. R. S. Patil, R. E. Fikes, P. F. Patel-Schneider, D. McKay, T. Finin, T. Gruber, and R. Neches. The DARPA knowledge sharing effort: Progress report. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 777-788, 1992.
145. D. Perlis. Languages with self reference I: Foundations. Artificial Intelligence, 25:301-322,1985.
146. D. Perlis. Languages with self reference II: Knowledge, belief, and modality. Artificial Intelligence, 34:179-212,1988.
147. M. Perloff. ST IT and the language of agency. Synthese, 86:379-408,1991.
148. A. Poggi. Agents and resources management with CUBL. In Proceedings of HICSS-94, pages 112-121, Maui, HI, 1994.
149. A. Poggi. DAISY: An object-oriented system for distributed artificial intelligence. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
150. M. E. Pollack and M. Ringuette. Introducing the Tileworld: Experimentally evaluating agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 183-189, Boston, MA, 1990.
151. A. S. Rao and M. P. Geoigeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 498-504, Sydney, Australia, 1991.
152. A. S. Rao and M. P. Geoigeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann, April 1991.
153. A. S. Rao and M. P. Geoigeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439-49,1992.
154. A. S. Rao and M. P. Georgeff. Social plans: Preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 57-76. Elsevier Science Publishers B.V., 1992.
155. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 318-324, Chambéry, France, 1993.
156. H. Reichgelt. A comparison of first-order and modal logics of time. In P. Jackson, H. Reichgelt, and F. van Harmelen, editors, Logic Based Knowledge Representation, pages 143-176. The MIT Press, 1989.
157. H. Reichgelt. Logics for reasoning about knowledge and belief. Knowledge Engineering Review, 4(2): 119-139,1989.
158. D. Riecken. M: An architecture of integrated agents. Communications of the ACM, 37(7):107-116, July 1994.
159. J. S. Rosenschein. Rational Interaction: Cooperation Among Intelligent Agents. PhD thesis, Computer Science Department, Stanford University, Stanford, CA 94305,1985.
160. J. S. Rosenschein and M. R. Genesereth. Deals among rational agents. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 91-99, Los Angeles, CA, 1985.
161. S. Rosenschein. Formal theories of knowledge in AI and robotics. New Generation Computing, pages 345-357,1985.
162. S. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epi- stemic properties. In J. Y. Halpem, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83-98. Morgan Kaufmann, 1986.
163. E. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115 135, 1974.
164. E. Sacerdoti. The non-linear nature of plans. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pages 206-214, Stanford, CA, 1975.
165. M. D. Sadek. A study in the logic of intention. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 462-473,1992.
166. M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI- 87), pages 1039-1046, Milan, Italy, 1987.
167. U. M. Schwuttke and A. G. Quan. Enhancing performance of cooperating agents in realtime diagnostic systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 332-337, Chambéry, France, 1993.
168. J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, 1969.
169. N. Seel. Agent Theories and Architectures. PhD thesis, Surrey University, Guildford, UK, 1989.
170. K. Segerberg. Bringing it about. Journal of Philosophical Logic, 18:327-347,1989.
171. T. Selker. Coach: A teaching agent that learns. Communications of the ACM, 37(7):92-99, July 1994.
172. N. Shardlow. Action and agency in cognitive science. Master's thesis, Department of Psychlogy, University of Manchester, Oxford Rd., Manchester M13 9PL, UK, 1990.
173. Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, 1988.
174. Y. Shoham. Time for action: on the relation between time, knowledge and action. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI- 89), pages 954-959, Detroit, MI, 1989.
175. Y. Shoham. Agent-oriented programming. Technical Report STAN-CS-1335-90, Computer Science Department, Stanford University, Stanford, CA 94305, 1990.
176. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(l):51-92, 1993.
177. M. P. Singh. Towards a theory of situated know-how. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pages 604-609, Stockholm, Sweden, 1990.
178. M. P. Singh. Group ability and structure. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI 2-Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMA W-90), pages 127-146. Elsevier Science Publishers B.V., 1991.
179. M. P. Singh. Towards a formal theory of communication for multi-agent systems. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI- 91), pages 69-74, Sydney, Australia, 1991.
180. M. P. Singh. A critical examination of the Cohen-Levesque theory of intention. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 364-368, Vienna, Austria, 1992.
181. M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag, 1994.
182. M. P. Singh and N. M. Asher. Towards a formal theory of intentions. In Logics in AI-Proceedings of the European Workshop J ELIA-90 (LNAI Volume 478), pages 472-486. Springer-Verlag, 1991.
183. D. C. Smith, A. Cypher, and J. Spohrer. KIDSIM: Programming agents without a programming language. Communications of the ACM, 37(7):55-67, July 1994.
184. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.
185. R. Steeb, S. Cammarata, F. A. Hayes-Roth, P. W. Thomdyke, and R. B. Wesson. Distributed intelligence for air fleet control. In A. H. Bond and L. Gasser, editors, Readings in Distributed Artificial Intelligence, pages 90-101. Morgan Kaufmann, 1988.
186. L. Steels. Cooperation between distributed agents through self organization. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI-Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW- 89), pages 175-196. Elsevier Science Publishers B.V., 1990.
187. S. R. Thomas. PLACA, an Agent Oriented Programming Language. PhD thesis, Computer Science Department, Stanford University, Stanford, CA 94305, August 1993. (Available as technical report STAN-CS-93-1487).
188. S. R. Thomas. The PLACA agent programming language. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
189. S. R. Thomas, Y. Shoham, A. Schwartz, and S. Kraus. Preliminary thoughts on an agent description language. International Journal of Intelligent Systems, 6:497-508,1991.
190. R. Thomason. A note on syntactical treatments of modality. Synthese, 44:391-395,1980.
191. R. Turner. Truth and Modality for Knowledge Representation. Pitman, 1990.
192. L. Z. Varga, N. R. Jennings, and D. Cockbum. Integrating intelligent systems into a cooperating community for electricity distribution management. International Journal of Expert Systems with Applications, 7(4), 1994.
193. S. Vere and T. Bickmore. A basic agent. Computational Intelligence, 6:41-60,1990.
194. E. M. Voorhees. Software agents for information retrieval. In O. Etzioni, editor, Software Agents-Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 126-129. AAAI Press, March 1994.
195. J. Wainer. Yet another semantics of goals and goal priorities. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 269-273, Amsterdam, The Netherlands, 1994.
196. P. Wavish. Exploiting emergent behaviour in multi-agent systems. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pages 297-310. Elsevier Science Publishers B.V., 1992.
197. P. Wavish and M. Graham. Roles, skills, and behaviour: a situated action approach to organising systems of interacting agents. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
198. D. Weerasooriya, A. Rao, and K. Ramamohanarao. Design of a concurrent agent-oriented language. InM. Wooldridge and N. R. Jennings, editors, Intelligent Agents-Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995. (In this volume).
199. R. Weihmayer and H. Velthuijsen. Application of distributed AI and cooperative problem solving to telecommunications. In J. Liebowitz and D. Prereau, editors, AI Approaches to Telecommunications and Network Management. IOS Press, 1994.
200. E. Werner. Toward a theory of communication and cooperation for multiagent planning. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 129-144. Morgan Kaufmann, 1988.
201. E. Werner. Cooperating agents: A unified theory of communication and social structure. In L. Gasser and M. Huhns, editors, Distributed Artificial Intelligence Volume II, pages 3-36. Pitman/Moigan Kaufmann, 1989.
202. E. Werner. What can agents do together: A semantics of co-operative ability. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pages 694-701, Stockholm, Sweden, 1990.
203. E. Werner. A unified view of information, intention and ability. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI 2-Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-90), pages 109-126. Elsevier Science Publishers B.V., 1991.
204. J. E. White. Telescript technology: The foundation for the electronic marketplace. White paper, General Magic, Inc., 2465 Latham Street, Mountain View, CA 94040,1994.
205. D. Wilkins. Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann, 1988.
206. T. Wittig, editor. ARCHON: An Architecture for Multi-Agent Systems. Ellis Horwood, 1992.
207. S. Wood. Planning and Decision Making in Dynamic Domains. Ellis Horwood, 1993.
208. M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992. (Also available as Technical Report MMU-DOC-94-01, Department of Computing, Manchester Metropolitan University, Chester St., Manchester, UK).
209. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279-283, Amsterdam, The Netherlands, 1994.
210. M. Wooldridge. This is MyWorld: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 147-163, Amsterdam, The Netherlands, August 1994.
211. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 234-238, Vienna, Austria, 1992.
212. M. Wooldridge and M. Fisher. A decision procedure for a temporal belief logic. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic-Proceedings of the First International Conference (LNAI Volume 827), pages 317-331. Springer-Verlag, July 1994.
213. M. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-94), pages 403-417, Lake Quinalt, WA, July 1994.
214. M. Wooldridge and D. Vandekerckhove. MyWorld: An agent-oriented testbed for distributed artificial intelligence. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 263-274. DAKE Centre, University of Keele, UK, 1994.
215. A. Yonezawa, editor. ABCL-An Object-Oriented Concurrent System. The MIT Press, 1990.