Skip to main content
SpringerLink
Log in

Agent theories, architectures, and languages: A survey

  • Conference paper
  • First Online:
Intelligent Agents (ATAL 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 890))

Included in the following conference series:

Abstract

The concept of an agent has become important in both Artificial Intelligence (AI) and mainstream computer science. In this article, we present a survey of what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. The article also includes a short review of current and potential applications of agent technology, and closes with a glossary of key terms, an annotated list of systems, and a detailed bibliography. Pointers to further reading are provided throughout.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, 1986.

    Google Scholar 

  2. G. Agha, P. Wegner, and A. Yonezawa, editors. Research Directions in Concurrent Object-Oriented Programming. The MIT Press, 1993.

    Google Scholar 

  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.

    Google Scholar 

  4. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2): 123–154, 1984.

    Google Scholar 

  5. J. F. Allen, J. Hendler, and A. Tate, editors. Readings in Planning. Morgan Kaufmann, 1990.

    Google Scholar 

  6. J. F. Allen, H. Kautz, R. Pelavin, and J. Tenenberg. Reasoning About Plans. Morgan Kaufmann, 1991.

    Google Scholar 

  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.

    Google Scholar 

  8. J. L. Austin. How to Do Things With Words. Oxford University Press, 1962.

    Google Scholar 

  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.

    Google Scholar 

  10. R. M. Baecker, editor. Readings in Groupware and Computer-Supported Cooperative Work. Morgan Kaufmann, 1993.

    Google Scholar 

  11. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: 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.

    Google Scholar 

  12. J. Barwise and J. Perry. Situations and Attitudes. The MIT Press, 1983.

    Google Scholar 

  13. J. Bates. The role of emotion in believable agents. Communications of the ACM, 37(7):122–125, July 1994.

    Google Scholar 

  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, Carnegie-Mellon University, Pittsburgh, PA, May 1992.

    Google Scholar 

  15. N. Belnap. Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research, LI(4)777–807, December 1991.

    Google Scholar 

  16. N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175–199, 1988.

    Google Scholar 

  17. A. H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, 1988.

    Google Scholar 

  18. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press: Cambridge, MA, 1987.

    Google Scholar 

  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.

    Google Scholar 

  20. M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.

    Google Scholar 

  21. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.

    Google Scholar 

  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.

    Google Scholar 

  23. R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139–159, 1991.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  30. B. Chaib-draa, B. Moulin, R. Mandiau, and P. Millot. Trends in distributed artificial intelligence. Artificial Intelligence Review, 6:35–66, 1992.

    Google Scholar 

  31. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333–378, 1987.

    Google Scholar 

  32. B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.

    Google Scholar 

  33. D. Chu. I.C. prolog ii: A language for implementing multi-agent systems. In S. M. Deen, editor, Proceedings of the 1992 Workshop on Cooperating Knowledge Based Systems (CKBS-92), pages 61–74. DAKE Centre, University of Keele, UK, 1993.

    Google Scholar 

  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.

    Google Scholar 

  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. AI Magazine, 10(3):32–48, 1989.

    Google Scholar 

  36. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Google Scholar 

  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.

    Google Scholar 

  38. P. R. Cohen and C. R. Perrault. Elements of a plan based theory of speech acts. Cognitive Science, 3:177–212, 1979.

    Google Scholar 

  39. D. Connah and P. Wavish. An experiment in cooperation. 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 197–214. Elsevier Science Publishers B.V., 1990.

    Google Scholar 

  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(1):28–37, 1993.

    Google Scholar 

  41. N. J. Davies. Truth, Modality, and Action. PhD thesis, Department of Computer Science, University of Essex, Colchester, UK, March 1993.

    Google Scholar 

  42. T. L. Dean and M. P. Wellman. Planning and Control. Morgan Kaufmann, 1991.

    Google Scholar 

  43. D. C. Dennett. Brainstorms. The MIT Press, 1978.

    Google Scholar 

  44. D. C. Dennett. The Intentional Stance. The MIT Press, 1987.

    Google Scholar 

  45. J. des Rivieres and H. J. Levesque. The consistency of syntactical treatments of knowledge. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 115–130. Morgan Kaufmann, 1986.

    Google Scholar 

  46. K. Devlin. Logic and Information. Cambridge University Press, 1991.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  51. E. A. Emerson and J. Y. Halpern. 'sometimes’ and ‘not never’ revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151–178, 1986.

    Google Scholar 

  52. R. Engelmore and T. Morgan, editors. Blackboard Systems. Addison-Wesley, 1988.

    Google Scholar 

  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.

    Google Scholar 

  54. O. Etzioni and D. Weld. A softbot-based interface to the internet. Communications of the ACM, 37(7):72–76, July 1994.

    Google Scholar 

  55. R. Fagin and J. Y. Halpern. 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.

    Google Scholar 

  56. R. Fagin, J. Y. Halpern, 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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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), Neuchatel, Switzerland, 1993.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  64. J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988.

    Google Scholar 

  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.

    Google Scholar 

  66. C. Geissler and K. Konolige. A resolution method for quantified modal logics of knowledge and belief. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 309–324. Morgan Kaufmann, 1986.

    Google Scholar 

  67. M. R. Genesereth and S. P. Ketchpel. Software agents. Communications of the ACM, 37(7):48–53, July 1994.

    Google Scholar 

  68. M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.

    Google Scholar 

  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.

    Google Scholar 

  70. M. P. Georgeff. Planning. Annual Review of Computer Science, 2:359–400, 1987.

    Google Scholar 

  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 (IJCAI-89), pages 972–978, Detroit, MI, 1989.

    Google Scholar 

  72. M. P. Georgeff and A. L. Lansky, editors. Reasoning About Actions & Plans — Proceedings of the 1986 Workshop. Morgan Kaufmann, 1986.

    Google Scholar 

  73. M. P. Georgeff 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.

    Google Scholar 

  74. M. Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann, 1993.

    Google Scholar 

  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 (IJCAI-93), pages 396–402, Chambéry, France, 1993.

    Google Scholar 

  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).

    Google Scholar 

  77. R. P. Goldman and R. R. Lang. Intentions in time. Technical Report TUTR 93-101, Tulane University, January 1991.

    Google Scholar 

  78. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, May 1993.

    Google Scholar 

  79. I. Greif. Desktop agents in group-enabled products. Communications of the ACM, 37(7):100–105, July 1994.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  82. A. Haas. A syntactic theory of belief and knowledge. Artificial Intelligence, 28(3):245–292, 1986.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  85. J. Y. Halpern. Reasoning about knowledge: An overview. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 1–18. Morgan Kaufmann, 1986.

    Google Scholar 

  86. J. Y. Halpern. Using reasoning about knowledge to analyze distributed systems. Annual Review of Computer Science, 2:37–68, 1987.

    Google Scholar 

  87. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.

    Google Scholar 

  88. J. Y. Halpern 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.

    Google Scholar 

  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).

    Google Scholar 

  90. H. Haugeneder. IMAGINE final project report. 1994.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  93. J. Hendler, editor. Artificial Intelligence Planning: Proceedings of the First International Conference. Morgan Kaufmann, 1992.

    Google Scholar 

  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.

    Google Scholar 

  95. C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323–364, 1977.

    Google Scholar 

  96. J. Hintikka. Knowledge and Belief. Cornell University Press: Ithaca, NY, 1962.

    Google Scholar 

  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).

    Google Scholar 

  98. G. E. Hughes and M. J. Cresswell. Introduction to Modal Logic. Methuen and Co., Ltd., 1968.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  101. N. R. Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems. Knowledge Engineering Review, 8(3):223–250, 1993.

    Google Scholar 

  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.

    Google Scholar 

  103. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 74(2), 1995. (To appear).

    Google Scholar 

  104. N. R. Jennings, L. Z. Varga, R. P. Aarnts, 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.

    Google Scholar 

  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.

    Google Scholar 

  106. L. P. Kaelbling. A situated automata approach to the design of embedded agents. SIGART Bulletin, 2(4):85–88, 1991.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  111. K. Konolige. A Deduction Model of Belief. Pitman/Morgan Kaufmann, 1986.

    Google Scholar 

  112. K. Konolige. What awareness isn't: A sentential view of implicit and explicit belief (position paper). In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 241–250. Morgan Kaufmann, 1986.

    Google Scholar 

  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.

    Google Scholar 

  114. S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58:155–174, 1988.

    Google Scholar 

  115. S. Kripke. Semantical analysis of modal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67–96, 1963.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  123. P. Maes, editor. Designing Autonomous Agents. The MIT Press, 1990.

    Google Scholar 

  124. P. Maes. Situated agents can have goals. In P. Maes, editor, Designing Autonomous Agents, pages 49–70. The MIT Press, 1990.

    Google Scholar 

  125. P. Maes. The agent network architecture (ANA). SIGART Bulletin, 2(4):115–120, 1991.

    Google Scholar 

  126. P. Maes. Agents that reduce work and information overload. Communications of the ACM, 37(7):31–40, July 1994.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  129. S. L. McGregor. Prescient agents. In D. Coleman, editor, Proceedings of Groupware-92, pages 228–230, 1992.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  132. R. Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizations. Acta Philosophica Fennica, 16:153–167, 1963.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  137. U. Mukhopadhyay, L. Stephens, and M. Huhns. An intelligent system for document re-trieval in distributed office environments. Journal of the American Society for Information Science, 37:123–135, 1986.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  141. A. Newell and H. A. Simon. Computer science as empirical enquiry. Communications of the ACM, 19:113–126, 1976.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  145. D. Perlis. Languages with self reference I: Foundations. Artificial Intelligence, 25:301–322, 1985.

    Google Scholar 

  146. D. Perlis. Languages with self reference II: Knowledge, belief, and modality. Artificial Intelligence, 34:179–212, 1988.

    Google Scholar 

  147. M. Perloff. STIT and the language of agency. Synthese, 86:379–408, 1991.

    Google Scholar 

  148. A. Poggi. Agents and resources management with CUBL. In Proceedings of HICSS-94, pages 112–121, Maui, HI, 1994.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  151. A. S. Rao and M. P. Georgeff. 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.

    Google Scholar 

  152. A. S. Rao and M. P. Georgeff. 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.

    Google Scholar 

  153. A. S. Rao and M. P. Georgeff. 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–449, 1992.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  157. H. Reichgelt. Logics for reasoning about knowledge and belief. Knowledge Engineering Review, 4(2):119–139, 1989.

    Google Scholar 

  158. D. Riecken. M: An architecture of integrated agents. Communications of the ACM, 37(7):107–116, July 1994.

    Google Scholar 

  159. J. S. Rosenschein. Rational Interaction: Cooperation Among Intelligent Agents. PhD thesis, Computer Science Department, Stanford University, Stanford, CA 94305, 1985.

    Google Scholar 

  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.

    Google Scholar 

  161. S. Rosenschein. Formal theories of knowledge in AI and robotics. New Generation Computing, pages 345–357, 1985.

    Google Scholar 

  162. S. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–98. Morgan Kaufmann, 1986.

    Google Scholar 

  163. E. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115–135, 1974.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  168. J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, 1969.

    Google Scholar 

  169. N. Seel. Agent Theories and Architectures. PhD thesis, Surrey University, Guildford, UK, 1989.

    Google Scholar 

  170. K. Segerberg. Bringing it about. Journal of Philosophical Logic, 18:327–347, 1989.

    Google Scholar 

  171. T. Selker. Coach: A teaching agent that learns. Communications of the ACM, 37(7):92–99, July 1994.

    Google Scholar 

  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.

    Google Scholar 

  173. Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, 1988.

    Google Scholar 

  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.

    Google Scholar 

  175. Y. Shoham. Agent-oriented programming. Technical Report STAN-CS-1335-90, Computer Science Department, Stanford University, Stanford, CA 94305, 1990.

    Google Scholar 

  176. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Google Scholar 

  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.

    Google Scholar 

  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 (MAAMAW-90), pages 127–146. Elsevier Science Publishers B.V., 1991.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  181. M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag, 1994.

    Google Scholar 

  182. M. P. Singh and N. M. Asher. Towards a formal theory of intentions. In Logics in AI — Proceedings of the European Workshop JELIA-90 (LNAI Volume 478), pages 472–486. Springer-Verlag, 1991.

    Google Scholar 

  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.

    Google Scholar 

  184. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.

    Google Scholar 

  185. R. Steeb, S. Cammarata, F. A. Hayes-Roth, P. W. Thorndyke, 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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  190. R. Thomason. A note on syntactical treatments of modality. Synthese, 44:391–395, 1980.

    Google Scholar 

  191. R. Turner. Truth and Modality for Knowledge Representation. Pitman, 1990.

    Google Scholar 

  192. L. Z. Varga, N. R. Jennings, and D. Cockburn. Integrating intelligent systems into a cooperating community for electricity distribution management. International Journal of Expert Systems with Applications, 7(4), 1994.

    Google Scholar 

  193. S. Vere and T. Bickmore. A basic agent. Computational Intelligence, 6:41–60, 1990.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  198. D. Weerasooriya, A. Rao, and K. Ramamohanarao. Design of a concurrent agent-oriented 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).

    Google Scholar 

  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.

    Google Scholar 

  200. E. Werner. Toward a theory of communication and cooperation for multi-agent planning. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 129–144. Morgan Kaufmann, 1988.

    Google Scholar 

  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/Morgan Kaufmann, 1989.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  205. D. Wilkins. Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann, 1988.

    Google Scholar 

  206. T. Wittig, editor. ARCHON: An Architecture for Multi-Agent Systems. Ellis Horwood, 1992.

    Google Scholar 

  207. S. Wood. Planning and Decision Making in Dynamic Domains. Ellis Horwood, 1993.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  215. A. Yonezawa, editor. ABCL — An Object-Oriented Concurrent System. The MIT Press, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Manchester Metropolitan University, Chester Street, M1 5GD, Manchester, UK

    Michael Wooldridge

  2. Department of Electronic, Engineering Queen Mary & Westfield College, Mile End Road, E1 4NS, London, UK

    Nicholas R. Jennings

Authors
  1. Michael Wooldridge
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicholas R. Jennings
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wooldridge, M., Jennings, N.R. (1995). Agent theories, architectures, and languages: A survey. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-58855-8_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58855-9

  • Online ISBN: 978-3-540-49129-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation