Next: Bibliographical Remarks Up: Intelligent Agents: Theory Previous: Acknowledgements

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.


mikew@mutley.doc.aca.mmu.ac.uk
Fri Nov 4 16:03:55 GMT 1994