References

Adorni and Poggi, 1993

Adorni, G. and Poggi, A. (1993). An object-oriented language for distributed artificial intelligence. International Journal of Man-Machine Studies, 38:435-453.

Agha, 1986

Agha, G. (1986). ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press: Cambridge, MA.

Agha et al., 1993

Agha, G., Wegner, P., and Yonezawa, A., editors (1993). Research Directions in Concurrent Object-Oriented Programming. The MIT Press: Cambridge, MA.

Agre and Chapman, 1987

Agre, P. and Chapman, D. (1987). 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.

Allen, 1984

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

Allen et al., 1990

Allen, J. F., Hendler, J., and Tate, A., editors (1990). Readings in Planning. Morgan Kaufmann Publishers: San Mateo, CA.

Allen et al., 1991

Allen, J. F., Kautz, H., Pelavin, R., and Tenenberg, J. (1991). Reasoning About Plans. Morgan Kaufmann Publishers: San Mateo, CA.

Ambros-Ingerson and Steel, 1988

Ambros-Ingerson, J. and Steel, S. (1988). Integrating planning, execution and monitoring. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pages 83-88, St. Paul, MN.

Austin, 1962

Austin, J. L. (1962). How to Do Things With Words. Oxford University Press: Oxford, England.

Aylett and Eustace, 1994

Aylett, R. and Eustace, D. (1994). Multiple cooperating robots - combining planning and behaviours. In Deen, S. M., editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 3-11. DAKE Centre, University of Keele, UK.

Baecker, 1993

Baecker, R. M., editor (1993). Readings in Groupware and Computer-Supported Cooperative Work. Morgan Kaufmann Publishers: San Mateo, CA.

Barringer et al., 1989

Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R. (1989). 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: Heidelberg, Germany.

Barwise and Perry, 1983

Barwise, J. and Perry, J. (1983). Situations and Attitudes. The MIT Press: Cambridge, MA.

Bates, 1994

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

Bates et al., 1992a

Bates, J., Bryan Loyall, A., and Scott Reilly, W. (1992a). An architecture for action, emotion, and social behaviour. Technical Report CMU-CS-92-144, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.

Bates et al., 1992b

Bates, J., Bryan Loyall, A., and Scott Reilly, W. (1992b). Integrating reactivity, goals, and emotion in a broad agent. Technical Report CMU-CS-92-142, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.

Belnap, 1991

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

Belnap and Perloff, 1988

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

Bond and Gasser, 1988

Bond, A. H. and Gasser, L., editors (1988). Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA.

Bratman, 1987

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

Bratman, 1990

Bratman, M. E. (1990). What is intention? In Cohen, P. R., Morgan, J. L., and Pollack, M. E., editors, Intentions in Communication, pages 15-32. The MIT Press: Cambridge, MA.

Bratman et al., 1988

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

Brooks, 1986

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

Brooks, 1990

Brooks, R. A. (1990). Elephants don't play chess. In Maes, P., editor, Designing Autonomous Agents, pages 3-15. The MIT Press: Cambridge, MA.

Brooks, 1991a

Brooks, R. A. (1991a). Intelligence without reason. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 569-595, Sydney, Australia.

Brooks, 1991b

Brooks, R. A. (1991b). Intelligence without representation. Artificial Intelligence, 47:139-159.

Burmeister and Sundermeyer, 1992

Burmeister, B. and Sundermeyer, K. (1992). Cooperative problem solving guided by intentions and perception. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Bussmann and Demazeau, 1994

Bussmann, S. and Demazeau, Y. (1994). An agent model combining reactive and cognitive capabilities. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS-94), Munich, Germany.

Castelfranchi, 1990

Castelfranchi, C. (1990). Social power. In Demazeau, Y. and Müller, J.-P., 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.: Amsterdam, The Netherlands.

Castelfranchi et al., 1992

Castelfranchi, C., Miceli, M., and Cesta, A. (1992). Dependence relations among autonomous agents. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Chaib-draa et al., 1992

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

Chang, 1987

Chang, E. (1987). Participant systems. In Huhns, M., editor, Distributed Artificial Intelligence, pages 311-340. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA.

Chapman, 1987

Chapman, D. (1987). Planning for conjunctive goals. Artificial Intelligence, 32:333-378.

Chapman and Agre, 1986

Chapman, D. and Agre, P. (1986). Abstract reasoning as emergent from concrete activity. In Georgeff, M. P. and Lansky, A. L., editors, Reasoning About Actions &Plans - Proceedings of the 1986 Workshop, pages 411-424. Morgan Kaufmann Publishers: San Mateo, CA.

Chellas, 1980

Chellas, B. (1980). Modal Logic: An Introduction. Cambridge University Press: Cambridge, England.

Chu, 1993

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

Cohen et al., 1989

Cohen, P. R., Greenberg, M. L., Hart, D. M., and Howe, A. E. (1989). Trial by fire: Understanding the design requirements for agents in complex environments. AI Magazine, 10(3):32-48.

Cohen and Levesque, 1990a

Cohen, P. R. and Levesque, H. J. (1990a). Intention is choice with commitment. Artificial Intelligence, 42:213-261.

Cohen and Levesque, 1990b

Cohen, P. R. and Levesque, H. J. (1990b). Rational interaction as the basis for communication. In Cohen, P. R., Morgan, J., and Pollack, M. E., editors, Intentions in Communication, pages 221-256. The MIT Press: Cambridge, MA.

Cohen and Perrault, 1979

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

Connah and Wavish, 1990

Connah, D. and Wavish, P. (1990). An experiment in cooperation. In Demazeau, Y. and Müller, J.-P., 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.: Amsterdam, The Netherlands.

Cutkosky et al., 1993

Cutkosky, M. R., Engelmore, R. S., Fikes, R. E., Genesereth, M. . R., Gruber, T., Mark, W. S., Tenenbaum, J. M., and Weber, J. C. (1993). PACT: An experiment in integrating concurrent engineering systems. IEEE Computer, 26(1):28-37.

Davies, 1993

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

Dean and Wellman, 1991

Dean, T. L. and Wellman, M. P. (1991). Planning and Control. Morgan Kaufmann Publishers: San Mateo, CA.

Dennett, 1978

Dennett, D. C. (1978). Brainstorms. The MIT Press: Cambridge, MA.

Dennett, 1987

Dennett, D. C. (1987). The Intentional Stance. The MIT Press: Cambridge, MA.

des Rivieres and Levesque, 1986

des Rivieres, J. and Levesque, H. J. (1986). The consistency of syntactical treatments of knowledge. In Halpern, J. Y., editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 115-130. Morgan Kaufmann Publishers: San Mateo, CA.

Devlin, 1991

Devlin, K. (1991). Logic and Information. Cambridge University Press: Cambridge, England.

Downs and Reichgelt, 1991

Downs, J. and Reichgelt, H. (1991). Integrating classical and reactive planning within an architecture for autonomous agents. In Hertzberg, J., editor, European Workshop on Planning (LNAI Volume 522), pages 13-26.

Doyle et al., 1991

Doyle, J., Shoham, Y., and Wellman, M. P. (1991). A logic of relative desire. In Ras, Z. W. and Zemankova, M., editors, Methodologies for Intelligent Systems - Sixth International Symposium, ISMIS-91 (LNAI Volume 542). Springer-Verlag: Heidelberg, Germany.

Emerson, 1990

Emerson, E. A. (1990). Temporal and modal logic. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands.

Emerson and Halpern, 1986

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

Etzioni et al., 1994

Etzioni, O., Lesh, N., and Segal, R. (1994). Building softbots for UNIX. In Etzioni, O., editor, Software Agents - Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 9-16. AAAI Press.

Fagin and Halpern, 1985

Fagin, R. and Halpern, J. Y. (1985). Belief, awareness, and limited reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 480-490, Los Angeles, CA.

Fagin et al., 1992

Fagin, R., Halpern, J. Y., and Vardi, M. Y. (1992). What can machines know? on the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328-376.

Ferguson, 1992a

Ferguson, I. A. (1992a). TouringMachines: An Architecture for Dynamic, Rational, Mobile Agents. PhD thesis, Clare Hall, University of Cambridge, UK. (Also available as Technical Report No. 273, University of Cambridge Computer Laboratory).

Ferguson, 1992b

Ferguson, I. A. (1992b). Towards an architecture for adaptive, rational, mobile agents. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Fikes and Nilsson, 1971

Fikes, R. E. and Nilsson, N. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5(2):189-208.

Firby, 1987

Firby, J. A. (1987). 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.

Fisher et al., 1993

Fisher, K., Kuhn, N., Müller, H. J., Müller, J. P., and Pischel, M. (1993). 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.

Fisher, 1994

Fisher, M. (1994). A survey of Concurrent METATEM - the language and its applications. In Gabbay, D. M. and Ohlbach, H. J., editors, Temporal Logic - Proceedings of the First International Conference (LNAI Volume 827), pages 480-505. Springer-Verlag: Heidelberg, Germany.

Fisher and Wooldridge, 1993

Fisher, M. and Wooldridge, M. (1993). Specifying and verifying distributed intelligent systems. In Filgueiras, M. and Damas, L., editors, Progress in Artificial Intelligence - Sixth Portuguese Conference on Artificial Intelligence (LNAI Volume 727), pages 13-28. Springer-Verlag: Heidelberg, Germany.

Galliers, 1988a

Galliers, J. R. (1988a). 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.

Galliers, 1988b

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

Gasser and Briot, 1992

Gasser, L. and Briot, J. P. (1992). Object-based concurrent programming and DAI. In Distributed Artificial Intelligence: Theory and Praxis, pages 81-108. Kluwer Academic Publishers: Boston, MA.

Geissler and Konolige, 1986

Geissler, C. and Konolige, K. (1986). A resolution method for quantified modal logics of knowledge and belief. In Halpern, J. Y., editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 309-324. Morgan Kaufmann Publishers: San Mateo, CA.

Genesereth and Ketchpel, 1994

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

Genesereth and Nilsson, 1987

Genesereth, M. R. and Nilsson, N. (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA.

Georgeff, 1987

Georgeff, M. P. (1987). Planning. Annual Review of Computer Science, 2:359-400.

Georgeff and Ingrand, 1989

Georgeff, M. P. and Ingrand, F. F. (1989). 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.

Georgeff and Lansky, 1986

Georgeff, M. P. and Lansky, A. L., editors (1986). Reasoning About Actions &Plans - Proceedings of the 1986 Workshop. Morgan Kaufmann Publishers: San Mateo, CA.

Georgeff and Lansky, 1987

Georgeff, M. P. and Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677-682, Seattle, WA.

Ginsberg, 1993

Ginsberg, M. (1993). Essentials of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA.

Gmytrasiewicz and Durfee, 1993

Gmytrasiewicz, P. and Durfee, E. H. (1993). 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.

Goldblatt, 1987

Goldblatt, R. (1987). Logics of Time and Computation. Centre for the Study of Language and Information - Lecture Notes Series. (Distributed by Chicago University Press).

Goldman and Lang, 1991

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

Goodwin, 1993

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

Greif, 1994

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

Grosz and Sidner, 1990

Grosz, B. J. and Sidner, C. L. (1990). Plans for discourse. In Cohen, P. R., Morgan, J., and Pollack, M. E., editors, Intentions in Communication, pages 417-444. The MIT Press: Cambridge, MA.

Gruber, 1991

Gruber, T. R. (1991). The role of common ontology in achieving sharable, reusable knowledge bases. In Fikes, R. and Sandewall, E., editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91). Morgan Kaufmann Publishers: San Mateo, CA.

Haas, 1986

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

Haddadi, 1994

Haddadi, A. (1994). A hybrid architecture for multi-agent systems. In Deen, S. M., editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 13-26, DAKE Centre, University of Keele, UK.

Halpern, 1986

Halpern, J. Y. (1986). Reasoning about knowledge: An overview. In Halpern, J. Y., editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 1-18. Morgan Kaufmann Publishers: San Mateo, CA.

Halpern, 1987

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

Halpern and Moses, 1992

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

Halpern and Vardi, 1989

Halpern, J. Y. and Vardi, M. Y. (1989). The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences, 38:195-237.

Harel, 1984

Harel, D. (1984). Dynamic logic. In Gabbay, D. and Guenther, F., editors, Handbook of Philosophical Logic Volume II - Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company: Dordrecht, The Netherlands. (Synthese library Volume 164).

Haugeneder, 1994

Haugeneder, H. (1994). IMAGINE final project report.

Haugeneder and Steiner, 1994

Haugeneder, H. and Steiner, D. (1994). A multi-agent approach to cooperation in urban traffic. In Deen, S. M., editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 83-98. DAKE Centre, University of Keele, UK.

Haugeneder et al., 1994

Haugeneder, H., Steiner, D., and MCabe, F. G. (1994). IMAGINE: A framework for building multi-agent systems. In Deen, S. M., editor, Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), DAKE Centre, University of Keele, UK.

Hendler, 1992

Hendler, J., editor (1992). Artificial Intelligence Planning: Proceedings of the First International Conference. Morgan Kaufmann Publishers: San Mateo, CA.

Henz et al., 1993

Henz, M., Smolka, G., and Wuertz, J. (1993). 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.

Hewitt, 1977

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

Hintikka, 1962

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

Houlder, 1994

Houlder, V. (1994). Special agents. In Financial Times, 15 August 1994, page 12.

Huang and Fox, 1994

Huang, J. and Fox, J. (1994). An agent architecture for distributed medical care. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 200-206, Amsterdam, The Netherlands.

Hughes and Cresswell, 1968

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

Huhns et al., 1992

Huhns, M. N., Jacobs, N., Ksiezyk, T., Shen, W. M., Singh, M. P., and Cannata, P. E. (1992). Integrating enterprise information models in Carnot. In Proceedings of the International Conference on Intelligent and Cooperative Information Systems, pages 32-42, Rotterdam, The Netherlands.

Jennings, 1992

Jennings, N. R. (1992). On being responsible. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Jennings, 1993a

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

Jennings, 1993b

Jennings, N. R. (1993b). 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.

Jennings, 1995

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

Jennings et al., 1993

Jennings, N. R., Varga, L. Z., Aarnts, R. P., Fuchs, J., and Skarek, P. (1993). Transforming standalone expert systems into a community of cooperating agents. International Journal of Engineering Applications of Artificial Intelligence, 6(4):317-331.

Kaelbling, 1986

Kaelbling, L. P. (1986). An architecture for intelligent reactive systems. In Georgeff, M. P. and Lansky, A. L., editors, Reasoning About Actions &Plans - Proceedings of the 1986 Workshop, pages 395-410. Morgan Kaufmann Publishers: San Mateo, CA.

Kaelbling, 1991

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

Kaelbling and Rosenschein, 1990

Kaelbling, L. P. and Rosenschein, S. J. (1990). Action and planning in embedded agents. In Maes, P., editor, Designing Autonomous Agents, pages 35-48. The MIT Press: Cambridge, MA.

Kinny et al., 1992

Kinny, D., Ljungberg, M., Rao, A. S., Sonenberg, E., Tidhar, G., and Werner, E. (1992). Planned team activity. In Castelfranchi, C. and Werner, E., 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: Heidelberg, Germany.

Kiss and Reichgelt, 1992

Kiss, G. and Reichgelt, H. (1992). Towards a semantics of desires. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Konolige, 1982

Konolige, K. (1982). A first-order formalization of knowledge and action for a multi-agent planning system. In Hayes, J. E., Michie, D., and Pao, Y., editors, Machine Intelligence 10, pages 41-72. Ellis Horwood: Chichester, England.

Konolige, 1986a

Konolige, K. (1986a). A Deduction Model of Belief. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA.

Konolige, 1986b

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

Konolige and Pollack, 1993

Konolige, K. and Pollack, M. E. (1993). A representationalist theory of intention. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 390-395, Chambéry, France.

Kraus and Lehmann, 1988

Kraus, S. and Lehmann, D. (1988). Knowledge, belief and time. Theoretical Computer Science, 58:155-174.

Kripke, 1963

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

Lakemeyer, 1991

Lakemeyer, G. (1991). 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: Heidelberg, Germany.

Lespérance, 1989

Lespérance, Y. (1989). 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.

Levesque, 1984

Levesque, H. J. (1984). A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), pages 198-202, Austin, TX.

Levesque et al., 1990

Levesque, H. J., Cohen, P. R., and Nunes, J. H. T. (1990). On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94-99, Boston, MA.

Levy et al., 1994

Levy, A. Y., Sagiv, Y., and Srivastava, D. (1994). Towards efficient information gathering agents. In Etzioni, O., editor, Software Agents - Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 64-70. AAAI Press.

Mack, 1994

Mack, D. (1994). A new formal model of belief. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 573-577, Amsterdam, The Netherlands.

Maes, 1989

Maes, P. (1989). The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 991-997, Detroit, MI.

Maes, 1990a

Maes, P., editor (1990a). Designing Autonomous Agents. The MIT Press: Cambridge, MA.

Maes, 1990b

Maes, P. (1990b). Situated agents can have goals. In Maes, P., editor, Designing Autonomous Agents, pages 49-70. The MIT Press: Cambridge, MA.

Maes, 1991

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

Maes, 1994a

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

Maes, 1994b

Maes, P. (1994b). Social interface agents: Acquiring competence by learning from users and other agents. In Etzioni, O., editor, Software Agents - Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 71-78. AAAI Press.

MCabe and Clark, 1994

MCabe, F. G. and Clark, K. L. (1994). April - agent process interaction language. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 280-296, Amsterdam, The Netherlands.

McCarthy, 1978

McCarthy, J. (1978). Ascribing mental qualities to machines. Technical report, Stanford University AI Lab., Stanford, CA 94305.

McGregor, 1992

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

Montague, 1963

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

Moore, 1990

Moore, R. C. (1990). A formal theory of knowledge and action. In Allen, J. F., Hendler, J., and Tate, A., editors, Readings in Planning, pages 480-519. Morgan Kaufmann Publishers: San Mateo, CA.

Morgenstern, 1987

Morgenstern, L. (1987). Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 867-874, Milan, Italy.

Mori et al., 1988

Mori, K., Torikoshi, H., Nakai, K., Mori, K., and Masuda, T. (1988). Computer control system for iron and steel plants. Hitachi Review, 37(4):251-258.

Morley and Schelberg, 1993

Morley, R. E. and Schelberg, C. (1993). An analysis of a plant-specific dynamic scheduler. In Proceedings of the NSF Workshop on Dynamic Scheduling, Cocoa Beach, Florida.

Mukhopadhyay et al., 1986

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

Müller, 1994

Müller, J. P. (1994). A conceptual model of agent interaction. In Deen, S. M., 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.

Müller and Pischel, 1994

Müller, J. P. and Pischel, M. (1994). Modelling interacting agents in dynamic environments. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 709-713, Amsterdam, The Netherlands.

Müller et al., 1994

Müller, J. P., Pischel, M., and Thiel, M. (1994). A pragmatic approach to modelling autonomous interacting systems. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 226-240, Amsterdam, The Netherlands.

Newell and Simon, 1976

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

Nilsson, 1992

Nilsson, N. J. (1992). Towards agent programs with circuit semantics. Technical Report STAN-CS-92-1412, Computer Science Department, Stanford University, Stanford, CA 94305.

Papazoglou et al., 1992

Papazoglou, M. P., Laufman, S. C., and Sellis, T. K. (1992). An organizational framework for cooperating intelligent information systems. Journal of Intelligent and Cooperative Information Systems, 1(1):169-202.

Parunak, 1995

Parunak, H. V. D. (1995). Applications of distributed artificial intelligence in industry. In O'Hare, G. M. P. and Jennings, N. R., editors, Foundations of Distributed AI. John Wiley &Sons: Chichester, England. (To appear).

Patil et al., 1992

Patil, R. S., Fikes, R. E., Patel-Schneider, P. F., McKay, D., Finin, T., Gruber, T., and Neches, R. (1992). The DARPA knowledge sharing effort: Progress report. In Rich, C., Swartout, W., and Nebel, B., editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 777-788.

Perlis, 1985

Perlis, D. (1985). Languages with self reference I: Foundations. Artificial Intelligence, 25:301-322.

Perlis, 1988

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

Perloff, 1991

Perloff, M. (1991). STIT and the language of agency. Synthese, 86:379-408.

Poggi, 1994

Poggi, A. (1994). DAISY: An object-oriented system for distributed artificial intelligence. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 297-306, Amsterdam, The Netherlands.

Pollack and Ringuette, 1990

Pollack, M. E. and Ringuette, M. (1990). Introducing the Tileworld: Experimentally evaluating agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 183-189, Boston, MA.

Rao and Georgeff, 1991a

Rao, A. S. and Georgeff, M. P. (1991a). 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.

Rao and Georgeff, 1991b

Rao, A. S. and Georgeff, M. P. (1991b). Modeling rational agents within a BDI-architecture. In Fikes, R. and Sandewall, E., editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann Publishers: San Mateo, CA.

Rao and Georgeff, 1992

Rao, A. S. and Georgeff, M. P. (1992). Social plans: Preliminary report. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Rao and Georgeff, 1993

Rao, A. S. and Georgeff, M. P. (1993). 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.

Reichgelt, 1989a

Reichgelt, H. (1989a). A comparison of first-order and modal logics of time. In Jackson, P., Reichgelt, H., and van Harmelen, F., editors, Logic Based Knowledge Representation, pages 143-176. The MIT Press: Cambridge, MA.

Reichgelt, 1989b

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

Rosenschein and Genesereth, 1985

Rosenschein, J. S. and Genesereth, M. R. (1985). Deals among rational agents. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 91-99, Los Angeles, CA.

Rosenschein, 1985

Rosenschein, S. (1985). Formal theories of knowledge in AI and robotics. New Generation Computing, pages 345-357.

Rosenschein and Kaelbling, 1986

Rosenschein, S. and Kaelbling, L. P. (1986). The synthesis of digital machines with provable epistemic properties. In Halpern, J. Y., editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83-98. Morgan Kaufmann Publishers: San Mateo, CA.

Sacerdoti, 1974

Sacerdoti, E. (1974). Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115-135.

Sacerdoti, 1975

Sacerdoti, E. (1975). The non-linear nature of plans. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pages 206-214, Stanford, CA.

Sadek, 1992

Sadek, M. D. (1992). A study in the logic of intention. In Rich, C., Swartout, W., and Nebel, B., editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 462-473.

Sargent, 1992

Sargent, P. (1992). Back to school for a brand new ABC. In The Guardian, 12 March 1992, page 28.

Schoppers, 1987

Schoppers, M. J. (1987). 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.

Schwuttke and Quan, 1993

Schwuttke, U. M. and Quan, A. G. (1993). Enhancing performance of cooperating agents in real-time diagnostic systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 332-337, Chambéry, France.

Searle, 1969

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

Seel, 1989

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

Segerberg, 1989

Segerberg, K. (1989). Bringing it about. Journal of Philosophical Logic, 18:327-347.

Shardlow, 1990

Shardlow, N. (1990). Action and agency in cognitive science. Master's thesis, Department of Psychlogy, University of Manchester, Oxford Rd., Manchester M13 9PL, UK.

Shoham, 1988

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

Shoham, 1989

Shoham, Y. (1989). 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.

Shoham, 1990

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

Shoham, 1993

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

Singh, 1990

Singh, M. P. (1990). Towards a theory of situated know-how. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pages 604-609, Stockholm, Sweden.

Singh, 1991a

Singh, M. P. (1991a). Group ability and structure. In Demazeau, Y. and Müller, J.-P., 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.: Amsterdam, The Netherlands.

Singh, 1991b

Singh, M. P. (1991b). 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.

Singh, 1992

Singh, M. P. (1992). 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.

Singh, 1994

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

Singh and Asher, 1991

Singh, M. P. and Asher, N. M. (1991). 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: Heidelberg, Germany.

Smith, 1980

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

Steeb et al., 1988

Steeb, R., Cammarata, S., Hayes-Roth, F. A., Thorndyke, P. W., and Wesson, R. B. (1988). Distributed intelligence for air fleet control. In Bond, A. H. and Gasser, L., editors, Readings in Distributed Artificial Intelligence, pages 90-101. Morgan Kaufmann Publishers: San Mateo, CA.

Steels, 1990

Steels, L. (1990). Cooperation between distributed agents through self organization. In Demazeau, Y. and Müller, J.-P., 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.: Amsterdam, The Netherlands.

Thomas, 1993

Thomas, S. R. (1993). PLACA, an Agent Oriented Programming Language. PhD thesis, Computer Science Department, Stanford University, Stanford, CA 94305. (Available as technical report STAN-CS-93-1487).

Thomas et al., 1991

Thomas, S. R., Shoham, Y., Schwartz, A., and Kraus, S. (1991). Preliminary thoughts on an agent description language. International Journal of Intelligent Systems, 6:497-508.

Thomason, 1980

Thomason, R. (1980). A note on syntactical treatments of modality. Synthese, 44:391-395.

Turner, 1990

Turner, R. (1990). Truth and Modality for Knowledge Representation. Pitman Publishing: London.

Varga et al., 1994

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

Vere and Bickmore, 1990

Vere, S. and Bickmore, T. (1990). A basic agent. Computational Intelligence, 6:41-60.

Voorhees, 1994

Voorhees, E. M. (1994). Software agents for information retrieval. In Etzioni, O., editor, Software Agents - Papers from the 1994 Spring Symposium (Technical Report SS-94-03), pages 126-129. AAAI Press.

Wainer, 1994

Wainer, J. (1994). 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.

Wavish, 1992

Wavish, P. (1992). Exploiting emergent behaviour in multi-agent systems. In Werner, E. and Demazeau, Y., 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.: Amsterdam, The Netherlands.

Wavish and Graham, 1994

Wavish, P. and Graham, M. (1994). Roles, skills, and behaviour. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 320-333, Amsterdam, The Netherlands.

Weerasooriya et al., 1994

Weerasooriya, D., Rao, A., and Ramamohanarao, K. (1994). Design of a concurrent agent-oriented language. In Wooldridge, M. and Jennings, N. R., editors, Pre-proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, pages 334-343, Amsterdam, The Netherlands.

Weihmayer and Velthuijsen, 1994

Weihmayer, R. and Velthuijsen, H. (1994). Application of distributed AI and cooperative problem solving to telecommunications. In Liebowitz, J. and Prereau, D., editors, AI Approaches to Telecommunications and Network Management. IOS Press.

Werner, 1988

Werner, E. (1988). Toward a theory of communication and cooperation for multiagent planning. In Vardi, M. Y., editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 129-144. Morgan Kaufmann Publishers: San Mateo, CA.

Werner, 1989

Werner, E. (1989). Cooperating agents: A unified theory of communication and social structure. In Gasser, L. and Huhns, M., editors, Distributed Artificial Intelligence Volume II, pages 3-36. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA.

Werner, 1990

Werner, E. (1990). 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.

Werner, 1991

Werner, E. (1991). A unified view of information, intention and ability. In Demazeau, Y. and Müller, J.-P., 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.: Amsterdam, The Netherlands.

White, 1994

White, J. E. (1994). Telescript technology: The foundation for the electronic marketplace. White paper, General Magic, Inc., 2465 Latham Street, Mountain View, CA 94040.

Wilkins, 1988

Wilkins, D. (1988). Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann Publishers: San Mateo, CA.

Wittig, 1992

Wittig, T., editor (1992). ARCHON: An Architecture for Multi-Agent Systems. Ellis Horwood: Chichester, England.

Wood, 1993

Wood, S. (1993). Planning and Decision Making in Dynamic Domains. Ellis Horwood: Chichester, England.

Wooldridge, 1992

Wooldridge, M. (1992). The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK. (Also available as Technical Report MMU-DOC-94-01, Department of Computing, Manchester Metropolitan University, Chester St., Manchester, UK).

Wooldridge, 1994

Wooldridge, M. (1994). Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279-283, Amsterdam, The Netherlands.

Wooldridge and Fisher, 1992

Wooldridge, M. and Fisher, M. (1992). 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.

Wooldridge and Fisher, 1994

Wooldridge, M. and Fisher, M. (1994). A decision procedure for a temporal belief logic. In Gabbay, D. M. and Ohlbach, H. J., editors, Temporal Logic - Proceedings of the First International Conference (LNAI Volume 827), pages 317-331. Springer-Verlag: Heidelberg, Germany.

Wooldridge and Jennings, 1994

Wooldridge, M. and Jennings, N. R. (1994). 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.

Yonezawa, 1990

Yonezawa, A., editor (1990). ABCL - An Object-Oriented Concurrent System. The MIT Press: Cambridge, MA.