|
Allen J F, 1981. “A general model of action and time”, Computer Se. Report TR 97, University of Rochester N.Y., USA.
Google Scholar
|
|
Allen J, 1984. “Towards a general theory of action and time”, Artificial Intelligence 23 pp. 123–154.
Google Scholar
|
|
Appelt Doug, 1980a. “A planner for reasoning about knowledge and action”. In: Proceedings of the First Annual Conference of Artificial Intelligence, pp. 131–133.
Google Scholar
|
|
Appelt Doug, 1980b. “Planning natural language utterances”. In: Proceedings of the Eighteenth Annual Meeting of the Association for Computational Linguistics.
Google Scholar
|
|
Appelt Doug, 1981. Planning Natural Language Utterances to Satisfy Multiple Goals, Ph. D. Thesis, Stanford University, Stanford Cal. USA.
Google Scholar
|
|
Ballard Dana, 1987. “Modular learning in neural networks”, Proceedings of the American Association of Artificial Intellignece, pp. 279–284.
Google Scholar
|
|
Cammarata Stephanie, McArthur David and David Randall, 1983. “Strategies of cooperation in distributed problem solving”, Proceedings Eighth International Joint Conference on Artificial Intelligence,8–12 AugustKarlsruhe, West Germany, pp. 767–770.
Google Scholar
|
|
Chandrasekaran B, 1981. “Natural and social Systems metaphors for distributed problem solving: introduction to the issue”, IEEE Transactions on Systems, Man, and Cybernetics SMC-11 (1) pp. 1–5.
Google Scholar
|
|
Corkill Daniel, 1979. “Hierarchical planning in a distributed environment”, Proceedings Sixth International Joint Conference on Artificial Intelligence,Tokyo, Japan, pp. 168–175.
Google Scholar
|
|
Corkill Daniel, 1982. A Framework for Organizational Self-Design in Distributing Problem Solving Networks, Ph.D. Thesis, University of Massachusetts, Amherst, Mass. USA.
Google Scholar
|
|
Corkill D, Lesser V and Hudlicka E, 1982. “Unifying data-directed and goal-directed control: An example and experiments”. In: Proceedings of Second National Conference on Artificial Intelligence, pp. 143–147.
Google Scholar
|
|
Corkill Daniel, 1983. “The distributed vehicle monitoring testbed: A tool for investigating distributed problem solving networks”, AI Magazine 4(3), pp. 15–33.
Google Scholar
|
|
Corkill Daniel and Lesser Victor, 1983. “The use of meta-level control for coordination in a distributed problem solving network”, Proceedings IJCAI 1983, Eighth International Joint Conference on Artificial Intelligence,8–12 August 1983,Karlsruhe, West Germany, pp. 748–756.
Google Scholar
|
|
Davis Randall, 1980. Report on the Second Workshop on Distributed Artificial Intelligence, SIGART Newsletter No. 73.
Google Scholar
|
|
Davis Randall, 1982. Report on the First Workshop on Distributed Artificial Intelligence, SIGART Newsletter No. 80.
Google Scholar
|
|
Davis Randall and Smith R G, 1983. “Negotiation as a metaphor for distributed problem solving”, Artifical Intelligence, 20 pp. 63–109.
Google Scholar
|
|
Dijkstra E W, 1971. “Hierarchical Ordering of Sequential Processes”, Acta Informatica 1 pp. 115–138.
Google Scholar
|
|
Doran J E, 1984. First Thoughts About Designing Teams of Actors, Proceedings of Alvey IKBS Planning Systems Work Shop No 2, Systems Designers Ltd. Fleet, Available for ICC, PO Box 26, Hitchen, Herts SG5 ISA, England.
Google Scholar
|
|
Doran J E, 1985. “The computational approach to knowledge, communication, and structure in multi-actor Systems”, Artificial Intelligence and Sociology, Ed. Gilbert G N and Heath C (Eds.), Gower: London pp. 160–171.
Google Scholar
|
|
Doran J E, 1986. Distributed Artificial Intelligence and the Sociocultural Systems, Internal Memo CSM-87, Sept Computer Sc. Dept. University of Essex, Colchester, England.
Google Scholar
|
|
Durfee Edmund, Lesser Victor and Corkill Daniel, 1985a. “Increasing coherence in a distributed problem solving network”, Proceedings Ninth International Joint Conference on Artificial Intelligence,18–23 August,Los Angeles Cal. USA pp. 1025–1030.
Google Scholar
|
|
Durfee Edmund, Lesser Victor and Corkill Daniel, 1985b. “Coherent cooperation among communicating problem solvers”, Proceedings of the 1985 Workshop on Distributed Artificial Intelligence, Cal. USA.
Google Scholar
|
|
Durfee Edmund, Lesser Victor and Corkill Daniel, 1987a. “Cooperation through communication in a distributed problem solving network”, In: Distributed Artificial Intelligence, Michael Huhns (Ed.) pp. 29–58.
Google Scholar
|
|
Durfee Edmund and Lesser Victor, 1987b. “Using partial global plans to coordinate distributed problem solvers”, Proceedings of the International Joint Conference on Artificial Intelligence.
Google Scholar
|
|
Erman Lee, London P and Fickas S, 1981. “The design and an example use of HEARSAY-III, In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 409–415. Morgan Kaufman,Los Altos, Cal. USA.
Google Scholar
|
|
Erman Lee D, Hayes-Roth Frederick, Lesser Victor and Reddy D Raj, 1980. “The Hearsay-II speech understanding System: Integrating knowledge to resolve uncertainty”, Computing Surveys 12(2) pp. 213–253.
Google Scholar
|
|
Fagin Ronald and Halpern Joseph, 1988. “Belief, awareness, and limited reasoning”, Artificial Intelligence 34 pp. 39–76.
Google Scholar
|
|
Feldman J A and Ballard D H, 1982. “Connectionist models and their properties”, Cognitive Science 6 pp. 204–254.
Google Scholar
|
|
Fehling Michael, 1983. Report on the Third Annual Workshop on Distributed Artificial Intelligence, SIGART newsletter 84, spring, pp. 3–12.
Google Scholar
|
|
Gasser L and Tenorio M F, 1986. Rule-Agents: A Distributed Object Oriented Approach to Production Systems Using MACE, DAI Group Research note 4, DAI Group, Dept of Computer Se, USC, San Diego, Cal. USA.
Google Scholar
|
|
Gasser Les, Broganza Carl and Herman Nava, 1987a. “MACE: A flexible testbed for distributed AI research”, In: Distributed Artificial Intelligence, pp. 119–152, Michael Huhns (Ed.) M Kaufman Pub. Inc., Los Altos, Cal. USA.
Google Scholar
|
|
Gasser L, Bragaza C and Herman N, 1987b. “Implementing distributed AI Systems using MACE. Proceedings of the IEEE Third Conference on AI Applications.
Google Scholar
|
|
Genesereth Michael R, Ginsberg Matthew L and Rosenschein Jeffrey S, 1984. “Cooperation without communication”, Proceedings of the American Association of Artificial Intellignece, pp. 51–57. Revised version of the Report HPP-84–36, Heuristic Programming Project, Stanford University, 09 1984.
Google Scholar
|
|
Genesereth Michael, 1984. Solving the Prisoner's Dilemma. Report No. HPP-84–41, Stanford University, Stanford, Cal. USA.
Google Scholar
|
|
Georgeff Michael, 1983. “Communication and interaction in multiagent planning”, Proceedings American Association for Artificial Intelligence, Washington DC. USA pp. 125–129.
Google Scholar
|
|
Georgeff Michael, 1984. “A theory of action for multiagent planning”, Proceedings American Association for Artificial Intelligence Conference 1984, pp. 121–125.
Google Scholar
|
|
Georgeff Michael, 1985a. “A procedural logic”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 516–523.
Google Scholar
|
|
Georgeff Michael, 1985b. “A theory of process”, Proceedings of the 1985 Workshop on Distributed Artificial Intelligence, Cal. USA.
Google Scholar
|
|
Georgeff Michael, 1987. “Reactive reasoning and planning”, Proceedings of the American Association of Artificial Intelligence, pp. 677–682.
Google Scholar
|
|
Ginsberg M L, 1986. “Counterfactuals”, Artificial Intelligence 30 pp. 35–80.
Google Scholar
|
|
Ginsberg M L and Smith D E, 1987a. “Reasoning about action: A possible worlds approach”, Proceedings of the 1987 Workshop on Logical Solutions to the Frame Problem, Laurance Kansas, USA.
Google Scholar
|
|
Ginsberg Matthew L and Smith David E, 1987b. “Possible worlds and the qualification problem”, Proceedings of the American Association of Artificial Intelligence, pp. 212–217.
Google Scholar
|
|
Halpern Joseph Y, 1986. “Reasoning about knowledge: An overview”, Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge,Morgan Kaufman Pub,Los Altos, Cal. USA.
Google Scholar
|
|
Halpern Joseph Y and Moses Y, 1984. “Knowledge and common knowledge in a distributed environment”, Proceedings of the 3rd ACM Conference on Principles of Distributed Computing, revised version pp. 1–28.
Google Scholar
|
|
Halpern Joseph Y and Moses Y, 1985. “A guide to the modal logics of knowledge and belief: Preliminary draft”, International Joint Conference of Artificial Intelligence,Los Angeles, Cal. USA.
Google Scholar
|
|
Hanks S and McDermott D, 1986. “Default reasoning, nonmonotonic logics, and the frame problem”, Proceedings of the American Association of Artificial Intelligence, pp. 328–333.
Google Scholar
|
|
Hewitt Carl, 1977. “Viewing control structures as pattern of passing messages”, Artificial Intelligence Journal 8 pp. 323–364.
Google Scholar
|
|
Hewitt Carl and de Jong P, 1983. “Analyzing the roles of descriptions and actions in open Systems. Proceedings of the American Association of Artificial Intelligence, pp. 162–167.
Google Scholar
|
|
Hintikka J, 1962. Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Cornell, NY, USA.
Google Scholar
|
|
Hintikka J, 1975. “Impossible Possible Worlds Vindicated”, Journal of Philosophical Logic 4, pp. 475–484.
Google Scholar
|
|
Hoare Charles A, 1985. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science.
Google Scholar
|
|
Huhns M N, Stephens L and Bonnell R, 1983. “Control and cooperation in distributed expert Systems”, IEEE, 241–245.
Google Scholar
|
|
Huhns Michael, (Ed.), 1987. Distributed Artificial Intelligence, Morgan Kaufman Pub. Inc, Los Altos, Cal. USA.
Google Scholar
|
|
Jagannathan V and Rajendra Dodhiawala, 1986. Distributed Artificial Intelligence: An Annotated Bibliography, SIGART Newsletter, Number 95 pp. 44–56.
Google Scholar
|
|
Ju-Yuan David, Huhns Michael N and Stephens Larry M, 1985. “An architecture for control and communication in distributed artificial intelligence Systems”, IEEE Transactions on Systems Mon And Cybernetics, 316–326 SMC-15, (3) pp. 316–326.
Google Scholar
|
|
Konolige Kurt, 1980. “Multiple agent planning Systems”, Proceedings American Association for Artificial Intelligence Conference,Stanford Cal. USA pp. 138–142.
Google Scholar
|
|
Konolige Kurt, 1984. A Deduction Model of Belief and its Logics, Ph.D. Thesis, Stanford University, Stanford, Cal. USA.
Google Scholar
|
|
Konolige Kurt, 1985. “A Computational theory of belief introspection”, International Joint Conference of Artificial Intelligence, pp. 502–508.
Google Scholar
|
|
Kornfeld William A, 1982. “Combinatorial implosive algorithms”, Communications of the ACM October 25, (10) pp. 734–738.
Google Scholar
|
|
Lansky Amy, 1985. Behavioral Specification and Planning for Multiagent Domains. Technical Note 360, SRI International, Menlo Park, California, USA.
Google Scholar
|
|
Lansky Amy L, 1987a. “A representation of parallel activity based on events, structure, and causality”, Reasoning About Actions and Plans, Georgeff M P and Lansky A M (Eds.), Morgan Kauffman Pub. Inc, Los Altos, Cal. USA.
Google Scholar
|
|
Lansky Amy, 1987b. Localized Event-Based Reasoning for Multiagent Domains, SRI-AI TN 423, SRI International, Menlo Park, Cal. USA.
Google Scholar
|
|
Lansky Amy and Fogelson David S, 1987. “Localized representation and planning methods for parallel domains”, Proceedings of the American Association of Artificial Intelligence pp. 240–245.
Google Scholar
|
|
Lesser V and Corkill D, 1983. “The distributed vehicle monitoring testbed: A tool for investigation distributed problem solving networks”, AI Magazine 4 pp. 15–33.
Google Scholar
|
|
Lesser Victor R and Corkill Daniel D, 1981. “Functionally accurate, cooperative distributed Systems. Transactions on Systems, Mon, and Cybernetics SMC-11, (1).
Google Scholar
|
|
Levesque Hector, 1984. “A logic of implicit and explicit belief”, Proceedings of the American Association of Artificial Intelligence, pp. 198–202.
Google Scholar
|
|
Lifschitz Vladimir, 1986. “Pointwise circumscription: Preliminary report”, Proceedings of the American Association of Artificial Intelligence, pp. 406–410.
Google Scholar
|
|
Lifschitz V, 1987. “Formal theories of action”, Proceedings of the Workshop on Logical Solutions to the Frame Problem, Laurence Kansas, USA.
Google Scholar
|
|
Manna Z and Wolper P, 1981. Synthesis of Communicating Processes from Temporal Logic Specifications. Report STAN-CS-81–872, Dept of Computer Sc., Stanford University, Stanford Cal. USA.
Google Scholar
|
|
McArthur Dave, Steeb Randy and Cammarata Stephanie, 1982. “A framework for distributed problem solving”, National Conference of Artificial Intelligence,Carnegie-Mellon Univ,Pittsburgh, Penn. USA, AAAI, pp. 181–184.
Google Scholar
|
|
McCarthy J, 1980. “A form of nonmonotonic reasoning”, Artificial Intelligence Journal 13 pp. 27–39.
Google Scholar
|
|
McCarthy J, 1986. “Applications of circumscription to formalizing common sense knowledge”, Artificial Intelligence 28 pp. 89–116.
Google Scholar
|
|
McCarthy J and Hayes P, 1986. “Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence 4, Edinburgh University Press, Meltzer B and Michie D (Eds.), pp. 463–502.
Google Scholar
|
|
McClelland James, Rumelhart David and the PDP Research Group 1986. Parallel Distributed Computing, Vol 2. The MIT Press, Cambridge, Mass. USA.
Google Scholar
|
|
McDermott D, 1982. A Temporal Logic for Reasoning About Plans and Processes. Computer Se. Research Report 196, Yale University, USA. Also Cognitive Sc, 6, pp. 101–155, 1982.
Google Scholar
|
|
McDermott D, 1985. “Reasoning about plans. In: Formal Theories of the Commonsense World, Hobbs J and Moore R (Eds.), pp. 269–317, Ablex Publishing, Norwood, NJ, USA.
Google Scholar
|
|
Milner Robin, 1980. A Calculus of Communicating Systems, Lecture Notes in Computer Sc. 92, Springer Verlag, New York, USA.
Google Scholar
|
|
Milner Robin, 1986a. A Calculus of Communicating Systems, LCFCS Report ECS-LCFCS-86–7, Dept of Computer Sciences, University of Edinburgh, Edinburgh, Scotland.
Google Scholar
|
|
Milner Robin, 1986b. “Process constructors and interpretations”, Proceedings of the IFIP 86 Conference,Dublin, pp. 507–514.
Google Scholar
|
|
Milner Robin, 1988. Operational and Algebraic Semantics of Concurrent Processes, LCFCS Report ECS-LCFCS-88–46, Dept of Computer Sciences, University of Edinburgh, Edinburgh, Scotland.
Google Scholar
|
|
Moore Robert, 1985. “A formal theory of knowledge and action”, In: Formal Theories of Commonsense World, Hobbs J R and Moore R C, (Eds.), Ablex Publishing Co.
Google Scholar
|
|
Nii H and Feigenbaum A, 1978. “Rule-based understanding of signals”, In: Pattern-Directed Inference Systems, Waterman D A and Hayes-Roth R (Eds.), pp. 483–501, Academic Press, New York, USA.
Google Scholar
|
|
Pattison Eduard, Corkill Daniel and Lesser Victor, 1987. “Instantiating descriptions of organizational structures”, In: Distributed Artificial Intelligence, Huhns M (Ed.), pp. 59–96, Morgan Kaufman, Los Altos Cal. USA.
Google Scholar
|
|
Pednault Edwin P D, 1987. “Formulating multiagent, dynamic-world problems in the classical planning framework”, Reasoning About Actions and Plans, Georgeoff M P and Lansky A L, (Ed.), pp. 47–82, Morgan Kaufman Pub. Inc, Los Altos, Cal. USA.
Google Scholar
|
|
Rosenschein Jeffrey S, 1982. “Synchronization of multi-agent plans”, Proceedings of the National Conference of Artificial Intelligence,American Association of Artificial Intelligence, pp. 115–118.
Google Scholar
|
|
Rosenschein Jeffrey S, 1985a. Formal Theories of Knowledge in AI and Robotics, Technical Note 362, SRI International, Menlo Park, Cal. USA.
Google Scholar
|
|
Rosenschein Jeffrey S, 1985b. Rational Interaction: Cooperation Among Intelligent Agents, Ph.D. Thesis, University of Stanford, Stanford Cal. USA. Also Published as STAN-CS-85–1081, Dept of Computer Sc., Stanford U. 1985.
Google Scholar
|
|
Rosenschein Jeffrey S, 1986. Cooperation in the Presence of Incomplete Information, Technical Report, Knowledge Systems Lab., Computer Se. Dept, U. of Stanford.
Google Scholar
|
|
Rosenschein Jeffrey and Genesereth Michael R, 1984. Communication and Cooperation, Report No HPP-84–5, Stanford Heuristic Programming Project, Stanford University, Stanford, Cal, USA.
Google Scholar
|
|
Rosenschein Jeffrey and Genesereth Michael R, 1985. “Deals among rational Agents”. Proceedings of the International Joint Conference of Artificial Intelligence, pp. 91–99.
Google Scholar
|
|
Rumelhart David, McClelland James and the PDP Research Group, 1986. Parallel Distributed Processing, The MIT Press, Cambridge, Mass. USA.
Google Scholar
|
|
Seel N R, 1988. Logics for Agent Design, Technical Report 303–431, STC Technology Ltd, London Road, Harlow, Essex, England.
Google Scholar
|
|
Shoham Y, 1986. “Chronological ignorance”, Proceedings of the Fifth National Conference on Artificial Intelligence, pp. 389–393.
Google Scholar
|
|
Smith Reid, 1978. A Framework for Problem Solving in a Distributed Environment, Ph.D. Dissertation, STANCS-78–700, Dept of Computer Sc., University of Stanford, Stanford, Cal. USA.
Google Scholar
|
|
Smith Reid, 1979. “A framework for distributed problem solving”, Proceedings of the International Joint Conference of Artificial Intellignece, pp. 836–841.
Google Scholar
|
|
Smith Reid, 1984. “Report on the 1984 distributed AI workshop”, The AI Magazine, Fall issue, pp. 234–243.
Google Scholar
|
|
Smith Reid G and Davis Randall, 1981. “Frameworks for cooperation in distributed problem solving”. IEEE Transactions on Systems, Man, and Cybernetics SMC-11, (3), pp. 61–69.
Google Scholar
|
|
Stuart Christopher, 1985. “An implementation of a multi-agent plan synchronizer”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 1031–1033.
Google Scholar
|
|
Stuart Christopher, 1987. “Branching regular expressions and multiagent plans”, Reasoning About Actions and Plans, Georgeoff M P and Lansky A M, (Eds.), pp. 161–187, Morgan Kaufman Pub. Inc., Los Altos, Cal. USA.
Google Scholar
|
|
Touretzky David and Hinton Geoffrey, 1985. “Symbols among the neurons: Details of a connectionist inference architecture”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 238–243.
Google Scholar
|
|
Van Dyke Paprvnak H, 1987. “Manufacturing experience with the contract net. In: Distributed Artificial Intelligence, Michael Huhns (Ed.), pp. 285–310.
Google Scholar
|
|
Walker David, 1987. Introduction to a Calculus of Communicating Systems, Report ECS-LFCS-87–22, University of Edinburgh, Scotland.
Google Scholar
|