Readings in Distributed Artificial Intelligence

Most artificial intelligence research investigates intelligent behavior for a single agent--solving problems heuristically, understanding natural language, and so on. Distributed Artificial Intelligence (DAI) is concerned with coordinated intelligent behavior: intelligent agents coordinating their knowledge, skills, and plans to act or solve problems, working toward a single goal, or toward separate, individual goals that interact. DAI provides intellectual insights about organization, interaction, and problem solving among intelligent agents. This comprehensive collection of articles shows the breadth and depth of DAI research. The selected information is relevant to emerging DAI technologies as well as to practical problems in artificial intelligence, distributed computing systems, and human-computer interaction. "Readings in Distributed Artificial Intelligence" proposes a framework for understanding the problems and possibilities of DAI. It divides the study into three realms: the natural systems approach (emulating strategies and representations people use to coordinate their activities), the engineering/science perspective (building automated, coordinated problem solvers for specific applications), and a third, hybrid approach that is useful in analyzing and developing mixed collections of machines and human agents working together. The editors introduce the volume with an important survey of the motivations, research, and results of work in DAI. This historical and conceptual overview combines with chapter introductions to guide the reader through this fascinating field. A unique and extensive bibliography is also provided.

[1]  Victor R. Lesser,et al.  The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.

[2]  Yoram Moses,et al.  Programming simultaneous actions using common knowledge: Preliminary version , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[3]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[4]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[5]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[6]  H. Becker Notes on the Concept of Commitment , 1960, American Journal of Sociology.

[7]  Samuel H. Fuller,et al.  The C.mmp Multiprocessor , 1978 .

[8]  Akikazu Takeuchi,et al.  MANDELA: A LogicBased Knowledge Programming System , 1984, FGCS.

[9]  Daniel D. Corkill,et al.  Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures , 1987, AAAI.

[10]  Barbara Hayes-Roth BB1: an architecture for blackboard systems that control, explain, and learn about their own behavior , 1984 .

[11]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[12]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[13]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[14]  John Edwin Laird,et al.  Universal subgoaling , 1984 .

[15]  Allen Newell,et al.  Report on a general problem-solving program , 1959, IFIP Congress.

[16]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

[17]  E. Blum,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[18]  Gary G. Hendrix,et al.  Modeling Simultaneous Actions and Continuous Processes , 1989, Artif. Intell..

[19]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[20]  Vasudevan Jagannathan,et al.  Distributed artificial intelligence: an annotated bibliiography , 1986, SGAR.

[21]  J. Austin How to do things with words , 1962 .

[22]  David Lewis Convention: A Philosophical Study , 1986 .

[23]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[24]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[25]  Amy L. Lansky,et al.  Localized Representation and Planning Methods for Parallel Domains , 1987, AAAI.

[26]  Irving Lefkowitz,et al.  Automatic Control by Distributed Intelligence , 1979 .

[27]  Richard Samuel Brooks Experiments in distributed problem solving with iterative refinement , 1983 .

[28]  Lucy Suchman Plans and situated actions: the problem of human-machine communication , 1987 .

[29]  Carl Hewitt,et al.  The Apiary network architecture for knowledgeable systems , 1980, LISP Conference.

[30]  Paul R. Cohen,et al.  A Theory of Heuristic Reasoning About Uncertainty , 1983, AI Mag..

[31]  Krithi Ramamritham,et al.  Dynamic Task Scheduling in Hard Real-Time Distributed systems , 1984, IEEE Software.

[32]  Michael N. Huhns,et al.  Control and cooperation in distributed expert systems , 1983 .

[33]  David E. Wilkins,et al.  Recovering from execution errors in SIPE , 1985, Comput. Intell..

[34]  I. Lakatos PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[35]  John R. Searle,et al.  Expression and Meaning: Indirect speech acts , 1979 .

[36]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[37]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[38]  Steven P. Reiss Working in the Garden Environment for Conceptual Programming , 1987, IEEE Software.

[39]  Leora Morgenstem Knowledge preconditions for actions and plans , 1987, IJCAI 1987.

[40]  Carl Hewitt,et al.  Concurrent Programming Using Actors: Exploiting large-Scale Parallelism , 1985, FSTTCS.

[41]  J. Dewey,et al.  Essays in the experimental logic , 1916 .

[42]  Henry Lieberman,et al.  Design Issues in Parallel Architectures for Artificial Intelligence , 1983, COMPCON.

[43]  M. Athans,et al.  Solution of some nonclassical LQG stochastic decision problems , 1974 .

[44]  Michael P. Georgeff,et al.  The Representation of Events in Multiagent Domains , 1986, AAAI.

[45]  Carl Hewitt,et al.  Behavioral semantics of nonrecursive control structures , 1974, Symposium on Programming.

[46]  W. W. Bledsoe,et al.  Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

[47]  Victor R. Lesser,et al.  A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge , 1975, IJCAI.

[48]  G. J. A. Stern,et al.  Queueing Systems, Volume 2: Computer Applications , 1976 .

[49]  Gerald Jay Sussman,et al.  The Conniver Reference Manual , 1972 .

[50]  Drew McDermott,et al.  ARBY: Diagnosis With Shallow Causal Models , 1982, AAAI.

[51]  Thomas Dean,et al.  INTRACTABILITY AND TIME-DEPENDENT PLANNING , 1987 .

[52]  Maria Simi,et al.  Knowledge Embedding in the Description System Omega , 1980, AAAI.

[53]  Victor R. Lesser,et al.  Meta-Level Control Through Fault Detection and Diagnosis , 1984, AAAI.

[54]  G. Kempen [Review of the book Explorations in cognition by D. Norman, D. Rumelhart and the LNR Research Group] , 1977 .

[55]  John Thibaut,et al.  A Theory of Procedure , 1978 .

[56]  Richard Fikes,et al.  A Commitment-Based Framework for Describing Informal Cooperative Work* , 1982 .

[57]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[58]  Lee D. Erman,et al.  A model and a system for machine recognition of speech , 1973 .

[59]  Azriel Rosenfeld,et al.  Breaking substitution ciphers using a relaxation algorithm , 1979, CACM.

[60]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[61]  Gérard M. Baudet,et al.  Asynchronous Iterative Methods for Multiprocessors , 1978, JACM.

[62]  Leslie Lamport,et al.  The ``Hoare Logic'' of CSP, and All That , 1984, TOPL.

[63]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[64]  O. Williamson The Economics of Organization: The Transaction Cost Approach , 1981, American Journal of Sociology.

[65]  Mario Tokoro,et al.  Object-oriented concurrent programming , 1987 .

[66]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[67]  Ken Haase CAULDRONS: An Abstraction For Concurrent Problem Solving , 1986 .

[68]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[69]  Jay R. Galbraith Organization Design , 1977 .

[70]  Philip R. Cohen On knowing what to say: planning speech acts. , 1978 .

[71]  L. Davis,et al.  Prisoners, Paradox, and Rationality , 1977 .

[72]  Nissim Francez,et al.  Distributed Termination , 1980, TOPL.

[73]  Allan James Terry Hierarchical control of production systems , 1983 .

[74]  Jerry R. Hobbs Conversation as Planned Behavior , 1979, Cogn. Sci..

[75]  Philip H. Enslow,et al.  Performance of Distributed and Decentralized Control Models for Fully Distributed Processing Systems. Initial Simulation Studies , 1981 .

[76]  Leslie George Gasser The social dynamics of routine computer use in complex organizations (work, management, sociology) , 1984 .

[77]  K. Popper,et al.  Conjectures and Refutations , 1963 .

[78]  David J. McArthur,et al.  Distributed problem solving for air fleet control: framework and implementation , 1986 .

[79]  W. Bruce Croft,et al.  Knowledge-based support of cooperative activities , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[80]  Elihu M. Gerson,et al.  Analyzing due process in the workplace , 1986, COCS '86.

[81]  Roger C. Schank,et al.  Scripts, plans, goals and understanding: an inquiry into human knowledge structures , 1978 .

[82]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[83]  Raj Reddy,et al.  The LOCUS Model of Search and its Use in Image Interpretation , 1977, IJCAI.

[84]  H. Raiffa,et al.  GAMES AND DECISIONS; INTRODUCTION AND CRITICAL SURVEY. , 1958 .

[85]  Nathan Goodman,et al.  A Survey of Research and Development in Distributed Database Management , 1977, VLDB.

[86]  Fernando Gomez,et al.  Knowledge Organization and Distribution for Medical Diagnosis , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[87]  Samuel H. Fuller,et al.  Cm*: a modular, multi-microprocessor , 1977, AFIPS '77.

[88]  Kurt Konolige,et al.  Multiple-Agent Planning Systems , 1980, AAAI.

[89]  C. Raymond Perrault,et al.  A Plan-Based Analysis of Indirect Speech Act , 1980, CL.

[90]  Helmy H. Baligh,et al.  Foundations for a Systematic Process of Organization Structure Design , 1980 .

[91]  Michael Jeng-Ping Shaw Distributed Planning In Cellular Flexible Manufacturing Systems , 1987 .

[92]  Richard D. Fennell,et al.  Parallelism in AI Problem Solving: A Case Study of Hearsay 2 , 1975 .

[93]  Edmund H. Durfee,et al.  Increasing Coherence in a Distributed Problem-Solving Network , 1985, IJCAI.

[94]  William R. Nelson,et al.  REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents , 1982, AAAI.

[95]  Carl Hewitt,et al.  Offices are open systems , 1986, TOIS.

[96]  Antonio Leal,et al.  GODDESS: A Goal-Directed Decision Structuring System , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[97]  Sanjay Mittal,et al.  CRSL: A Language for Classificatory Problem Solving and Uncertainty Handling , 1986, AI Mag..

[98]  David Leon Spooner A unified security model for data base and operating systems , 1981 .

[99]  Jasmina Pavlin,et al.  Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach , 1983, AAAI.

[100]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[101]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[102]  David A. Moon,et al.  The Symbolics Genera Programming Environment , 1987, IEEE Software.

[103]  David W. Stemple,et al.  Recoverable Actions in Gutenberg , 1986, ICDCS.

[104]  Douglas Looze,et al.  Aggregation in hierarchical systems: Approximate decompositions , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[105]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[106]  Sarosh Talukdar,et al.  An environment for rule-based blackboards and distributed problem solving , 1986, Artif. Intell. Eng..

[107]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[108]  Victor Lesser,et al.  Knowledge acquisition through anticipation of modifications , 1987 .

[109]  Michael P. Georgeff,et al.  A Theory of Action for MultiAgent Planning , 1984, AAAI.

[110]  William A Kornfeld Using Parallel Processing for Problem Solving , 1979 .

[111]  Christopher Stuart,et al.  An Implementation of a Multi-Agent Plan Synchronizer , 1985, IJCAI.

[112]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[113]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[114]  C. Sidner,et al.  Plans for Discourse , 1988 .

[115]  Ching-Chi Hsu,et al.  A Distributed Approach for Inferring Production Systems , 1987, IJCAI.

[116]  John Makhoul,et al.  Mechanical Inference Problems in Continuous Speech Understanding , 1973, IJCAI.

[117]  Makoto Nagao,et al.  A Structural Analysis of Complex Aerial Photographs , 1980, Advanced Applications in Pattern Recognition.

[118]  Ernest Gellner,et al.  Inquiry into Inquiries , 1956 .

[119]  Robert C. Moore A Formal Theory of Knowledge and Action , 1984 .

[120]  Henry Lieberman,et al.  An Object-Oriented Simulator for the Apiary , 1983, AAAI.

[121]  Alessandro Forin,et al.  Architectural support for multilanguage parallel programming on heterogeneous systems , 1987, ASPLOS 1987.

[122]  Joseph Y. Halpern USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

[123]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[124]  Jon M. Kerridge,et al.  Three solutions for a robot arm controller using Pascal‐Plus, occam and edison , 1984, Softw. Pract. Exp..

[125]  Douglas Edmund Appelt,et al.  Planning natural language utterances to satisfy multiple goals , 1981 .

[126]  Alfred Dupont Chandler,et al.  战略与结构 : 美国工商企业成长的若干篇章=strategy and structure : chapters in the history of the American industrial enterprise , 1962 .

[127]  Karl R. Popper The Logic of Scientific Discovery. , 1977 .

[128]  Daniel P. Friedman,et al.  Coordinated computing: tools and techniques for distributed software , 1984 .

[129]  Charles L. Seitz,et al.  The cosmic cube , 1985, CACM.

[130]  L. Morgenstern,et al.  Foundations of a logic of knowledge, action, and communication , 1988 .

[131]  R. Radner,et al.  Economic theory of teams , 1972 .

[132]  R. Burton,et al.  Designing efficient organizations : modelling and experimentation , 1986 .

[133]  Victor Lesser,et al.  Design of a Distributed Diagnosis System , 1986 .

[134]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[135]  David E Wilkins Parallelism in Planning and Problem Solving: Reasoning About Resources. , 1982 .

[136]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[137]  Victor R. Lesser,et al.  Parallelism in Artificial Intelligence Problem Solving: A Case Study of Hearsay II , 1977, IEEE Transactions on Computers.

[138]  C. V. D. Malsburg,et al.  Frank Rosenblatt: Principles of Neurodynamics: Perceptrons and the Theory of Brain Mechanisms , 1986 .

[139]  Les Gasser,et al.  The integration of computing and routine work , 1986, TOIS.

[140]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[141]  Kenneth D. Mackenzie,et al.  Organizational design : the organizational audit and analysis technology , 1986 .

[142]  Thomas W. Malone,et al.  Modeling Coordination in Organizations and Markets , 1987 .

[143]  Victor Lesser,et al.  Multistage negotiation in distributed planning , 1988 .

[144]  Barbara J. Grosz,et al.  Utterance and objective: issues in natural language communication , 1979, IJCAI 1979.

[145]  James A. Moore,et al.  Dialogue Games: A Process Model of Natural Language Interaction , 1976, AISB.

[146]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[147]  Eva Hudlicka,et al.  Diagnosing Problem-Solving System Behavior , 1986 .

[148]  W. Hamilton,et al.  The Evolution of Cooperation , 1984 .

[149]  Edmund H. Durfee,et al.  Cooperation through communication in a distributed problem-solving network , 1990 .

[150]  S. Misbah Deen,et al.  Data Integration in Distributed Databases , 1987, IEEE Transactions on Software Engineering.

[151]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[152]  Edward B Lieberman,et al.  SIGOP II: A NEW COMPUTER PROGRAM FOR CALCULATING OPTIMAL SIGNAL TIMING PATTERNS , 1976 .

[153]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[154]  I. Aleksander ACTION‐ORIENTED LEARNING NETWORKS , 1975 .

[155]  William A. Kornfeld Concepts in parallel problem solving , 1982 .

[156]  R. Gelman,et al.  The development of communication skills: modifications in the speech of young children as a function of listener. , 1973, Monographs of the Society for Research in Child Development.

[157]  Robert Bell Wesson Problem-solving with simulation in the world of an air traffic controller. , 1977 .

[158]  Moshé M. Zloof A Language for Office and Business Automation , 1979, Data Base Design Techniques II.

[159]  Bernardo A. Huberman,et al.  The ecology of computation , 1988, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[160]  Randall Davis,et al.  Report on the Workshop on Distributed AI , 1980 .

[161]  Richard E. Cullingford,et al.  Integrating Knowledge Sources for Computer "Understanding" Tasks , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[162]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[163]  Eugene Charniak,et al.  Organization and Inference in a Frame-Like System of Common Sense Knowledge , 1975, TINLAP.

[164]  Douglas W. Gage,et al.  A technique for coordinating autonomous robots , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[165]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[166]  Nicholas Carriero,et al.  The S/Net's Linda kernel (extended abstract) , 1985, SOSP '85.

[167]  William J. Clancey,et al.  Strategic Explanations for a Diagnostic Consultation System , 1983, Int. J. Man Mach. Stud..

[168]  E. Schegloff Sequencing in Conversational Openings , 1968 .

[169]  Victor R. Lesser,et al.  Focus of attention in a distributed-logic speech understanding system , 1976, ICASSP.

[170]  David Billstrom,et al.  CCLISP™ on the iPSC™ Concurrent Computer , 1987, AAAI.

[171]  Keith S. Decker,et al.  Distributed problem-solving techniques: A survey , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[172]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[173]  N. S. Sridharan,et al.  The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence , 1978, Artif. Intell..

[174]  Kathleen M. Carley Knowledge acquisition as a social phenomenon , 1986 .

[175]  Bir Bhanu,et al.  Segmentation of natural scenes , 1987, Pattern Recognit..

[176]  Allan Collins,et al.  A spreading-activation theory of semantic processing , 1975 .

[177]  Marvin Minsky,et al.  K-Lines: A theory of Memory , 1980, Cogn. Sci..

[178]  Carl Hewitt,et al.  The challenge of open systems: current logic programming methods may be insufficient for developing the intelligent systems of the future , 1985 .

[179]  Andrew S. Cromarty,et al.  "Fast" Is Not "Real-Time": Designing Effective Real-Time AI Systems , 1985, Other Conferences.

[180]  Murray S. Mazer Problems in modelling tasks and task views , 1988 .

[181]  Bartschi,et al.  An Overview of Information Retrieval Subjects , 1985, Computer.

[182]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[183]  Kenneth D. Mackenzie,et al.  Virtual Positions and Power , 1986 .

[184]  A. Lansky A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[185]  Susan Leigh Star,et al.  Simplification in Scientific Work: An Example from Neuroscience Research , 1983 .

[186]  Candace L. Sidner,et al.  Discourse Structure and the Proper Treatment of Interruptions , 1985, IJCAI.

[187]  K. Konolige A deduction model of belief , 1986 .

[188]  William R. Crowther,et al.  A new minicomputer/multiprocessor for the ARPA network , 1973, AFIPS National Computer Conference.

[189]  William D. Tajibnapis,et al.  A correctness proof of a topology information maintenance protocol for a distributed computer network , 1977, CACM.

[190]  John D. Bransford,et al.  Considerations of some problems of comprehension. , 1973 .

[191]  Mario Gerla,et al.  Deterministic and adaptive routing policies in packet-switched computer networks , 1973, DATACOMM '73.

[192]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[193]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[194]  Eva Hudlicka Diagnosing problem-solving , 1986 .

[195]  Philip Klahr,et al.  The ROSS Language Manual , 1982 .

[196]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[197]  L. R. Hoffman Group Problem Solving1 , 1965 .

[198]  Drew McDermott,et al.  From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).

[199]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[200]  Rowland R. Johnson,et al.  A seismic event analyzer for nuclear test ban treaty verification , 1988 .

[201]  Edmund H. Durfee,et al.  Distributing a Distributed Problem Solving Network Simulator , 1984 .

[202]  Richard Fikes,et al.  Odyssey: A Knowledge-Based Assistant , 1981, Artif. Intell..

[203]  Nicholas V. Findler,et al.  A General-Purpose Man-Machine Environment with Special Reference to Air Traffic Control , 1985, Int. J. Man Mach. Stud..

[204]  Michael J. Flynn,et al.  Some Computer Organizations and Their Effectiveness , 1972, IEEE Transactions on Computers.

[205]  Edmund H. Durfee,et al.  Incremental Planning to Control a Time-constrained, Blackboard-based , 1987 .

[206]  Victor R. Lesser,et al.  Modeling and Diagnosing Problem-Solving System Behavior , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[207]  Philip H. Enslow What is a "Distributed" Data Processing System? , 1978, Computer.

[208]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[209]  Geoffrey E. Hinton,et al.  Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines , 1983, AAAI.

[210]  William van Melle,et al.  A Domain-Independent Production-Rule System for Consultation Programs , 1979, IJCAI.

[211]  Gerald R. Barber Reasoning about Change in Knowledgeable Office Systems , 1980, AAAI.

[212]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[213]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[214]  Eduardo Casais An object oriented system implementing KNOs , 1988 .

[215]  Edward A. Feigenbaum,et al.  Signal-to-Symbol Transformation: HASP/SIAP Case Study , 1982, AI Mag..

[216]  William A. Kornfeld ETHER - A Parallel Problem Solving System , 1979, IJCAI.

[217]  Christer Bäckström A Representation of Coordinated Actions Characterized by Interval Valued Conditions , 1988, ISMIS.

[218]  Kurt Konolige,et al.  A First-Order Formalization of Knowledge and Action for a Multiagent Planning System. , 1980 .

[219]  J. Baker,et al.  The DRAGON system--An overview , 1975 .

[220]  F. W. Stubblefield,et al.  The Brookhaven Reactor Experiment Control Facility - A Distributed Function Computer Network , 1975, IEEE Transactions on Nuclear Science.

[221]  Gul Agha An overview of actor languages , 1986 .

[222]  Douglas E. Appelt,et al.  A Planner for Reasoning about Knowledge and Action , 1980, AAAI.

[223]  Nils R. Sandell,et al.  Structures for Distributed Decisionmaking , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[224]  Vaughan R. Pratt,et al.  On the composition of processes , 1982, POPL '82.

[225]  Tod S. Levitt,et al.  A Model-Based System For Force Structure Analysis , 1985, Other Conferences.

[226]  Yorick Wilks,et al.  Multiple Agents and the Heuristic Ascription of Belief , 1987, IJCAI.

[227]  C. Cooley Human nature and the social order , 1902 .

[228]  O. Maimon A multi-robot control experimental system with random parts arrival , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[229]  Robert Rosenthal The Volunteer Subject , 1965 .

[230]  Edward M. Riseman,et al.  Levels of Pattern Description in Learning , 1977, IJCAI.

[231]  Lee Daniel Erman,et al.  An environment and system for machine understanding of connected speech. , 1974 .

[232]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[233]  Michael P. Georgeff,et al.  Communication and interaction in multi-agent planning , 1983, AAAI 1983.

[234]  Edward K. Bowdon,et al.  Cost effective priority assignment in network computers , 1972, AFIPS '72 (Fall, part II).

[235]  Jean-Loup Baer,et al.  A Survey of Some Theoretical Aspects of Multiprocessing , 1973, CSUR.

[236]  Victor R. Lesser,et al.  Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems , 1980, AAAI.

[237]  Nils R. Sandell,et al.  Strategies for Distributed Decisionmaking , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[238]  Fernando Gomez,et al.  An Approach to Medical Diagnosis Based on Conceptual Structures , 1979, IJCAI.

[239]  William D. Clinger,et al.  Foundations of Actor Semantics , 1981 .

[240]  Judea Pearl,et al.  Distributed Revision of Composite Beliefs , 1987, Artif. Intell..

[241]  Tom M. Mitchell,et al.  Models of Learning Systems. , 1979 .

[242]  J. Voelcker Helping computers communicate: The Open Systems Interconnection model promises compatibility for a variety of computer systems, although not all its functions are yet defined , 1986, IEEE Spectrum.

[243]  Roger C. Schank,et al.  Inference and Paraphrase by Computer , 1975, JACM.

[244]  Alberto Elfes,et al.  A distributed control architecture for an autonomous mobile robot , 1986, Artif. Intell. Eng..

[245]  Victor R. Lesser,et al.  The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..

[246]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[247]  Guy E. Blelloch,et al.  CIS: A Massively Concurrent Rule-Based System , 1986, AAAI.

[248]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[249]  Nicholas V. Findler,et al.  A note on the functional estimation of values of hidden variables: an extended module for expert systems , 1983, SIGA.

[250]  D. Rumelhart NOTES ON A SCHEMA FOR STORIES , 1975 .

[251]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[252]  Ira P. Goldstein Bargaining Between Goals , 1975, IJCAI.

[253]  Kurt Konolige,et al.  Circumscriptive Ignorance , 1982, AAAI.

[254]  Victor Lesser,et al.  Organization of the Hearsay II speech understanding system , 1975 .

[255]  Victor R. Lesser,et al.  Focus of Attention in the Hearsay-II Speech Understanding System , 1977, IJCAI.

[256]  Peter de Jong,et al.  The Ubik configurator , 1988, COCS.

[257]  Kurt Konolige,et al.  A Computational Theory of Belief Introspection , 1985, IJCAI.

[258]  Edward A. Feigenbaum,et al.  Rule-based understanding of signals , 1977, SGAR.

[259]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[260]  Jerome A. Feldman,et al.  Connectionist Models and Their Properties , 1982, Cogn. Sci..

[261]  Victor R. Lesser,et al.  Knowledge Acquisition as Knowledge Assimilation , 1988, Int. J. Man Mach. Stud..

[262]  David Chelberg,et al.  Knowledge Based Terrain Analysis , 1985, Other Conferences.

[263]  Michael J. Pazzani,et al.  Word-Meaning Selection in Multiprocess Language Understanding Programs , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[264]  Edsger W. Dijkstra,et al.  Termination Detection for Diffusing Computations , 1980, Inf. Process. Lett..

[265]  I. Lakatos Falsification and the Methodology of Scientific Research Programmes , 1976 .

[266]  Henry M. Levy,et al.  Capability-Based Computer Systems , 1984 .

[267]  Ira P. Goldstein,et al.  NUDGE, A Knowledge-Based Scheduling Program , 1977, IJCAI.

[268]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[269]  Stephen F. Smith,et al.  The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks , 1985, IJCAI.

[270]  C. Perrow A FRAMEWORK FOR THE COMPARATIVE ANALYSIS OF ORGANIZATIONS , 1967 .

[271]  Michael R. Genesereth The Role of Plans in Automated Consultation , 1979, IJCAI.

[272]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[273]  L B Sanderson,et al.  MICROCOMPUTERS PROMISE LESS STOP, MORE GO , 1978 .

[274]  Janusz S. Bień,et al.  Beliefs, Points of View, and Multiple Environments , 1983, Cogn. Sci..

[275]  R. Mason Challenging strategic planning assumptions , 1981 .

[276]  William J. Dally,et al.  A VLSI Architecture for Concurrent Data Structures , 1987 .

[277]  Vaughan R. Pratt,et al.  Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment , 1983, POPL '83.

[278]  E. Schegloff,et al.  A simplest systematics for the organization of turn-taking for conversation , 1974 .

[279]  F. Hayes-Roth,et al.  Distributed Intelligence for Situation Assessment , 1978 .

[280]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[281]  Austin Henderson,et al.  On Supporting the Use of Procedures in Office Work , 1980, AAAI.

[282]  Austin Tate,et al.  Interacting Goals And Their Use , 1975, IJCAI.

[283]  Steeb,et al.  Cooperative intelligence for remotely piloted vehicle fleet control. Analysis and simulation. Interim report , 1986 .

[284]  R. G. Smith,et al.  Applications of the Contract Net Framework: Distributed Sensing, , 1978 .

[285]  H. Ansoff,et al.  A Language for Organization Design: Part I , 1971 .

[286]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[287]  Reid G. Smith,et al.  APPLICATIONS OF THE CONTRACT NET FRAMEWORK: SEARCH , 1980 .

[288]  Mark S. Fox,et al.  Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains , 1977, IJCAI.

[289]  Henry Lieberman,et al.  Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[290]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[291]  Cecilia Ruth D'Oliveira An Analysis of Computer Decentralization , 1977 .

[292]  Liam M. Casey,et al.  A domain structure for distributed computer systems , 1977, SOSP '77.

[293]  Katia Sycara-Cyranski Arguments of persuasion in labour mediation , 1985, IJCAI 1985.

[294]  Pierre Wolper Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[295]  Randall Steeb,et al.  A Framework for Distributed Problem Solving , 1982, AAAI.

[296]  Nicholas V. Findler,et al.  Dynamic Hierarchical Control for Distributed Problem Solving , 1987, Data Knowl. Eng..

[297]  Michael G. Dyer,et al.  Editorial Comprehension in OpEd through Argument Units , 1986, AAAI.

[298]  Luc Steels,et al.  Reasoning Modeled As A Society Of Communicating Experts , 1979 .

[299]  Roberto Bisiani,et al.  A hardware accelerator for speech recognition algorithms , 1986, ISCA 1986.

[300]  Chuck Rieger,et al.  The Commonsense Algorithm as a Basis for Comfuter Models of Human Memory, Inference, Belief and Contextual Language Comprehension , 1975, TINLAP.

[301]  Chuck Rieger,et al.  Parsing and comprehending with word experts (a theory and its realization) , 1982 .

[302]  Jeffrey S. Rosenschein,et al.  Cooperation without Communication , 1986, AAAI.

[303]  Douglas E. Appelt Planning Natural-Language Utterances , 1982, AAAI.

[304]  Alan Garvey,et al.  A Layered Environment for Reasoning about Action , 1986 .

[305]  Lee D. Erman,et al.  The Hearsay-I Speech Understanding System: An Example of the Recognition Process , 1973, IEEE Transactions on Computers.

[306]  J. Carbonell Subjective understanding, computer models of belief systems , 1981 .

[307]  Akinori Yonezawa,et al.  Modelling and programming in an object-oriented concurrent language ABCL/1 , 1987 .

[308]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[309]  Richard H. Hall,et al.  Organizations: Structure and process , 1977 .

[310]  H. Baligh Decision Rules and Transactions, Organizations and Markets , 1986 .

[311]  P. Wortman,et al.  Pattern Recognition, Learning, and Thought , 1974 .

[312]  Krithi Ramamritham,et al.  Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems , 1985, IEEE Transactions on Computers.

[313]  J. Morgan Conversational postulates revisited , 1977 .

[314]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.

[315]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[316]  Randall Davis,et al.  Distributed Problem Solving: The Contract Net Approach , 1978 .

[317]  Michael N. Huhns,et al.  An intelligent system for document retrieval in distributed office environments , 1986 .

[318]  J. D. Ichbiah,et al.  Preliminary Ada reference manual , 1979, SIGP.

[319]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[320]  Keith S. Donnellan Reference and Definite Descriptions , 1966 .

[321]  David R. Barstow,et al.  Progress report on program-understanding systems. , 1974 .

[322]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[323]  H. Simon,et al.  Models of Man. , 1957 .

[324]  Nicholas V. Findler,et al.  A Module to Estimate Numerical Values of Hidden Variables for Expert Systems , 1983, Int. J. Man Mach. Stud..

[325]  Andrew S. Cromarty Control of Processes by Communication over Ports as a Paradigm for Distributed Knowledge-Based System Design , 1986, Expert Database Conf..

[326]  James D. Schoeffler,et al.  Distributed Computer Intelligence for Data Acquisition and Control , 1976, IEEE Transactions on Nuclear Science.

[327]  Robert Fletcher Sproull,et al.  Strategy construction using a synthesis of heuristic and decision-theoretic methods , 1977 .

[328]  Dale Skeen,et al.  Nonblocking commit protocols , 1981, SIGMOD '81.

[329]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[330]  James R. Meehan,et al.  TALE-SPIN, An Interactive Program that Writes Stories , 1977, IJCAI.

[331]  Martha E. Pollack A MODEL OF PLAN INFERENCE THAT DISTINGUISHES BETWEEN THE BELIEFS OF ACTORS AND OBSERVERS , 1987 .

[332]  T. Kuhn,et al.  The Structure of Scientific Revolutions , 1963 .

[333]  S.A. Gronemeyer,et al.  Advances in packet radio technology , 1978, Proceedings of the IEEE.

[334]  Roberto Bisiani A Software and Hardware Environment for Developing AI Applications on Parallel Processors , 1986, AAAI.

[335]  Yoav Shoham,et al.  Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories , 1986, AAAI.

[336]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[337]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.

[338]  John D. Gabbe,et al.  Transactional Blackboards , 1985, IJCAI.

[339]  Michael Georgeff,et al.  MANY AGENTS ARE BETTER THAN ONE , 1987 .

[340]  Randall Davis Report on the Second Workshop on Distributed AI , 1982 .

[341]  James A. Moore,et al.  Dialogue-Games: Metacommunication Structures for Natural Language Interaction , 1977, Cogn. Sci..

[342]  Edmund H. Durfee,et al.  Approximate Processing in Real-Time Problem Solving , 1988, AI Mag..

[343]  James F. Allen A plan-based approach to speech act recognition , 1979 .

[344]  Edmund H. Durfee A Unified Approach to Dynamic Coordinatio: Planning Actions and , 1987 .

[345]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

[346]  Barr and Feigenbaum Edward A. Avron,et al.  The Handbook of Artificial Intelligence , 1981 .

[347]  Robert E. Kahn,et al.  The Organization of Computer Resources into a Packet Radio Network , 1977 .

[348]  R. Montague,et al.  Logic : Techniques of Formal Reasoning , 1964 .

[349]  Jerome A. Feldman,et al.  Recent developments in SAIL: an ALGOL-based language for artificial intelligence , 1972, AFIPS '72 (Fall, part II).

[350]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[351]  Victor R. Lesser,et al.  A Retrospective View of the Hearsay-II Architecture , 1977, IJCAI.

[352]  E. Pednault Toward a mathematical theory of plan synthesis , 1987 .

[353]  Martin J. Beckmann,et al.  A Production Function for Organizations Doing Case Work , 1982 .

[354]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[355]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[356]  Judea Pearl,et al.  Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach , 1982, AAAI.

[357]  Sharon Wood,et al.  Dynamic World Simulation for Planning With Multiple Agents , 1983, IJCAI.

[358]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[359]  Gary C. Borchardt,et al.  Incremental Inference: Getting Multiple Agents to Agree on What to Do Next , 1987, AAAI.

[360]  Bertram C. Bruce Belief systems and language understanding , 1975 .

[361]  Mark S. Fox,et al.  Representation of Activity Knowledge for Project Management , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[362]  D. Parfit Reasons and Persons , 1986 .

[363]  A. Strauss Social Organization of Medical Work , 1985 .

[364]  Donald H. Kraft,et al.  Fuzzy Sets and Generalized Boolean Retrieval Systems , 1983, Int. J. Man Mach. Stud..

[365]  Reid G. Smith STROBE: Support for Structured Object Knowledge Representation , 1983, IJCAI.

[366]  Joseph Y. Halpern Theoretical Aspects of Reasoning About Knowledge Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California , 1986 .

[367]  William J. Clancey,et al.  The Advantages of Abstract Control Knowledge in Expert System Design , 1983, AAAI.

[368]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[369]  P. E. Green AF: A Framework for Real-Time Distributed Cooperative Problem Solving , 1987 .

[370]  Levy Raskin Performance evaluation of multiple processor systems. , 1978 .

[371]  P. Thorndyke Cognitive structures in comprehension and memory of narrative discourse , 1977, Cognitive Psychology.

[372]  Walt Scacchi,et al.  Understanding Software Maintenance Work , 1987, IEEE Transactions on Software Engineering.

[373]  M. Arbib Brain theory and cooperative computation. , 1985, Human neurobiology.

[374]  J. Dean Brock,et al.  A formal model of non-determinate dataflow computation , 1983 .

[375]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[376]  Tse-yun Feng,et al.  A Survey of Interconnection Networks , 1981, Computer.

[377]  S. Woolgar Why not a Sociology of Machines? The Case of Sociology and Artificial Intelligence , 1985 .

[378]  Thomas G. Dietterich,et al.  Learning and Inductive Inference , 1982 .

[379]  K. Konolige A deduction model of belief and its logics , 1984 .

[380]  Barbara Hayes-Roth,et al.  Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture , 1987, AAAI.

[381]  O. G. Selfridge,et al.  Pandemonium: a paradigm for learning , 1988 .

[382]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.

[383]  Lee D. Erman,et al.  ABE: An Environment for Engineering Intelligent Systems , 1988, IEEE Trans. Software Eng..

[384]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[385]  Eva Hudlicka Design of a Knowledge-Based Fault Detection and Diagnosis System, , 1984 .

[386]  Ekaterini P. Sycara Resolving adversarial conflicts: an approach integration case-based and analytic methods , 1987 .

[387]  John Philip Fishburn Analysis of speedup in distributed algorithms , 1984 .

[388]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[389]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[390]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[391]  Daniel D. Corkill,et al.  A framework for organizational self-design in distributed problem solving networks , 1983 .

[392]  Carl Hewitt,et al.  The Scientific Community Metaphor , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[393]  Richard Fikes,et al.  QLISP: a language for the interactive development of complex systems , 1976, AFIPS '76.

[394]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[395]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[396]  M. Genesereth,et al.  Solving the Prisoner''s Dilemma , 1984 .

[397]  Patrick Henry Winston,et al.  The Society Theory of Thinking , 1982 .

[398]  Chien-Chung Shen,et al.  A Graph Matching Approach to Optimal Task Assignment in Distributed Computing Systems Using a Minimax Criterion , 1985, IEEE Trans. Computers.

[399]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[400]  Frederick Hayes-Roth,et al.  Distributed Intelligence for Air Fleet Control , 1981 .

[401]  Jon Doyle,et al.  AMORD explicit control of reasoning , 1977, SIGART Newsl..

[402]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[403]  Jeffrey S. Rosenschein,et al.  Rational interaction: cooperation among intelligent agents , 1986 .

[404]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

[405]  Christer Bäckström A Representation of Coordinated Actions , 1988, SCAI.

[406]  Chuck Rieger,et al.  Toward a Theory of Distributed Word Expert Natural Language Parsing , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[407]  Perry W. Thorndyke,et al.  AUTOPILOT: A Distributed Planner for Air Fleet Control , 1981, IJCAI.

[408]  B. Latour Science in Action , 1987 .

[409]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

[410]  Thomas W. Malone,et al.  Tradeoffs in designing organizations: implications for new forms of human organizations and computer systems , 1984 .

[411]  Leon A. Jakobovits,et al.  Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology , 1971 .

[412]  Gul A. Agha,et al.  Semantic Considerations in the Actor Paradigm of Concurrent Computation , 1984, Seminar on Concurrency.

[413]  Jay R. Galbraith Designing Complex Organizations , 1973 .

[414]  Bertram C. Bruce Plans and Social Actions , 1977 .

[415]  Elliott I. Organick,et al.  A programmer's view of the intel 432 system. mcgraw hill , 1983 .

[416]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[417]  Afzal Ballim The subjective ascription of belief to agents , 1987 .

[418]  Cheng-Seen Ho,et al.  A society model for office information systems , 1986, TOIS.

[419]  B. Chandrasekaran,et al.  Natural and Social System Metaphors for Distributed Problem Solving: Introduction to the Issue , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[420]  G. C. Fox,et al.  Solving Problems on Concurrent Processors , 1988 .

[421]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[422]  Mario Tokoro,et al.  The design of an object oriented architecture , 1984, ISCA 1984.

[423]  Eleanor Herasimchuk Wynn,et al.  Office conversation as an information medium , 1979 .

[424]  D. O. Hebb,et al.  The organization of behavior , 1988 .

[425]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[426]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[427]  J M Tenenbaum,et al.  MSYS: A System for Reasoning About Scenes. , 1975 .

[428]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[429]  Bertram C. Bruce,et al.  Interacting plans , 1978, SGAR.

[430]  John A. Stankovic,et al.  A Perspective on Distributed Computer Systems , 1984, IEEE Transactions on Computers.

[431]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops , 1983, COMPCON.

[432]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[433]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.

[434]  William B. Ackerman,et al.  Scenarios: A Model of Non-Determinate Computation , 1981, ICFPC.

[435]  Azriel Rosenfeld,et al.  Scene Labeling by Relaxation Operations , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[436]  Les Gasser,et al.  MACE: A Flexible Testbed for Distributed AI Research , 1987 .

[437]  Bruce Delagi,et al.  An Experiment in Knowledge-based Signal Understanding Using Parallel Architectures , 1986 .

[438]  Nicholas Findler An Overview of the Quasi-Optimizer System. , 1983 .

[439]  JoAnne Yates,et al.  Electronic markets and electronic hierarchies , 1987, CACM.

[440]  Lee D. Erman,et al.  Seperating and integrating control in a rule-based tool , 1984 .

[441]  Henry Hamburger,et al.  N‐person Prisoner's Dilemma† , 1973 .

[442]  Allen Newell,et al.  Production Systems: Models of Control Structures , 1973 .

[443]  Robert R. Tenney,et al.  Distributed decision making using a distributed model , 1979 .

[444]  Andrew Doswell,et al.  Office Automation , 1983 .

[445]  Daniel D. Corkill,et al.  GBB: A Generic Blackboard Development System , 1986, AAAI.

[446]  Azriel Rosenfeld,et al.  An Application of Relaxation Labeling to Line and Curve Enhancement , 1977, IEEE Transactions on Computers.

[447]  W. Bruce Croft,et al.  Reasoning about Exceptions during Plan Execution Monitoring , 1987, AAAI.

[448]  Casimir A. Kulikowski,et al.  A Model-Based Method for Computer-Aided Medical Decision-Making , 1978, Artif. Intell..

[449]  Gary S. Kahn,et al.  TEST: A Model-driven Application Shell , 1987, AAAI.

[450]  Edmund H. Durfee,et al.  Planning Coordinated Actions in Dynamic Domains , 1987 .

[451]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[452]  Randall Davis,et al.  An overview of production systems , 1975 .

[453]  NICHOLAS V. FINDLER,et al.  An Examination of Distributed Planning in the World of Air Traffic Control , 1986, J. Parallel Distributed Comput..

[454]  A. Smith,et al.  Word hypothesization in the hearsay II speech system , 1976, ICASSP.

[455]  Michael R. Genesereth,et al.  An Overview of Meta-Level Architecture , 1983, AAAI.

[456]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[457]  Helmy H. Baligh,et al.  The Process of Designing Organization Structures and their Information Substructures , 1984 .

[458]  Alphonse Chapanis,et al.  Interactive human communication , 1975 .

[459]  Mario Tokoro,et al.  An Object-Oriented Approach to Knowledge Systems , 1984, FGCS.

[460]  Daniel D. Corkill,et al.  Selective Abstraction of AI System Activity , 1984, AAAI.

[461]  Barbara J. Grosz,et al.  Understanding Spoken Language , 1978 .

[462]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[463]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[464]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[465]  Yu-Chi Ho,et al.  Team decision theory and information structures , 1980 .

[466]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[467]  Daniel D. Corkill,et al.  Chapter 3 – Instantiating Descriptions of Organizational Structures , 1987 .

[468]  Jean Le Bihan,et al.  Issues in Distributed Data Base Management Systems: A Technical Overview , 1978, VLDB.

[469]  Victor R. Lesser,et al.  System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architectures for AI , 1973, IEEE Transactions on Computers.

[470]  R.M. Baizer Living in the Next-Generation Operating System , 1987, IEEE Software.

[471]  R.F. Sproull,et al.  High-level protocols , 1978, Proceedings of the IEEE.

[472]  Stephen Fickas,et al.  The Design and an Example Use of Hearsay-III , 1981, IJCAI.

[473]  Christos H. Papadimitriou,et al.  The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case) , 1978, IEEE Transactions on Software Engineering.

[474]  Les Gasser Distribution and Coordination of Tasks Among Intelligent Agents , 1988, SCAI.

[475]  Kevin Crowston,et al.  Cognitive science and organizational design: a case study of computer conferencing , 1987 .

[476]  W. Bruce Croft,et al.  Task support in an office system , 1984, TOIS.

[477]  Eswaran Subrahmanian,et al.  A rule-based blackboard kernel system: some principles in design , 1984 .

[478]  Reid G. Smith,et al.  A framework for problem solving in a distributed processing environment , 1978 .

[479]  Leora Morgenstern,et al.  A First Order Theory of Planning, Knowledge, and Action , 1986, TARK.

[480]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[481]  R. Axelrod An Evolutionary Approach to Norms , 1986, American Political Science Review.

[482]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[483]  Charles Char-Lin Koo A distributed model for performance systems: synchronizing plans among intelligent agents via communication , 1988 .

[484]  Carma L. McClure,et al.  A model for program complexity analysis , 1978, ICSE '78.

[485]  P. Strawson Intention and Convention in Speech Acts , 1964 .

[486]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[487]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[488]  W. Daniel Hillis,et al.  The connection machine: A computer architecture based on cellular automata , 1984 .

[489]  Robert Balzer,et al.  HEARSAY-II: A Domain-Independent Framework for Expert Systems , 1980, AAAI.

[490]  Barbara G Deutsch,et al.  The Structure of Task Oriented Dialogs , 1974 .

[491]  L. Gasser,et al.  Large-scale concurrent computing in artificial intelligence research , 1989, C3P.

[492]  Stephen F. Smith,et al.  ISIS—a knowledge‐based system for factory scheduling , 1984 .

[493]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[494]  William B. Ackerman,et al.  Data Flow Languages , 1899, Computer.

[495]  Akinori Yonezawa,et al.  Object-oriented concurrent programming in ABCL/1 , 1986, OOPSLA 1986.

[496]  F. Alleva,et al.  Chapter 4 – The Architecture of the Agora Environment , 1987 .

[497]  Terry Winograd,et al.  FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY , 1975 .

[498]  Robert S. Engelmore,et al.  A knowledge-based system for the interpretation of protein x-ray crystallographic data , 1977 .

[499]  Edmund H. Durfee,et al.  Incremental Planning to Control a Blackboard-based Problem Solver , 1986, AAAI.

[500]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[501]  Robert C. Moore Reasoning About Knowledge and Action , 1977, IJCAI.

[502]  Carl Hewitt,et al.  Analyzing the Roles of Descriptions and Actions in Open Systems , 1983, AAAI.

[503]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[504]  Barbara Hayes-Roth,et al.  Modeling Planning as an Incremental, Opportunistic Process , 1979, IJCAI.

[505]  Akinori Yonezawa,et al.  Modelling Distributed Systems , 1977, IJCAI.

[506]  Jack B. Dennis,et al.  Data Flow Supercomputers , 1980, Computer.

[507]  Michael J. Shaw,et al.  Automatic planning and flexible scheduling: A knowledge-based approach , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[508]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[509]  Steven F. Roth,et al.  Callisto: An Intelligent Project Management System , 1986, AI Mag..

[510]  Carlo H. Séquin,et al.  Hypertree: A Multiprocessor Interconnection Topology , 1981, IEEE Transactions on Computers.

[511]  D.R. Reddy,et al.  Speech recognition by machine: A review , 1976, Proceedings of the IEEE.

[512]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[513]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[514]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[515]  Victor R. Lesser,et al.  A High-Level simulation Testbed for cooperative distributed problem solving , 1982, ICDCS.

[516]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[517]  Ryszard S. Michalski,et al.  Machine learning: an artificial intelligence approach volume III , 1990 .

[518]  Penny Nii The blackboard model of problem solving , 1986 .

[519]  P. Whittle,et al.  The optimal linear solution of a symmetric team control problem , 1974 .

[520]  Edward A. Feigenbaum,et al.  RULE-BASED UNDERSTANDING OF SIGNALS1 , 1978 .

[521]  Amy L. Lansky Behavioral Specification and Planning for Multiagent Domains , 1985 .

[522]  Christopher J. Stuart,et al.  BRANCHING REGULAR EXPRESSIONS AND MULTI-AGENT PLANS , 1987 .

[523]  Bruce C Dawson,et al.  Knowledge-Based Replanning System. , 1987 .

[524]  Penny Nii,et al.  Blackboard systems part two: Blackboard application systems , 1986 .

[525]  M. Benda,et al.  On Optimal Cooperation of Knowledge Sources , 1985 .

[526]  Reid G. Smith,et al.  Report on the 1984 Distributed Artificial Intelligence Workshop , 1985, AI Mag..

[527]  Carl Hewitt,et al.  How To Use What You Know , 1975, IJCAI.

[528]  Gerald R. Barber,et al.  Supporting organizational problem solving with a work station , 1988, TOIS.

[529]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[530]  T. Schelling The Strategy of Conflict , 1963 .

[531]  R. Reddy Eyes and Ears for Computers , 1973 .

[532]  James Stokes,et al.  Distributed intelligence systems - AI approaches to cooperative man-machine problem solving in C3I , 1983 .

[533]  Per Brinch Hansen Edison—a multiprocessor language , 1981, Softw. Pract. Exp..

[534]  Mark Stefik,et al.  The Next Knowledge Medium , 1986, AI Mag..

[535]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[536]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[537]  Frederick H. Lochovsky,et al.  Supporting distributed office problem solving in organizations , 1986, TOIS.

[538]  Amy L. Lansky,et al.  Reasoning and planning in dynamic domains: An experiment with a mobile robot , 1987 .

[539]  Michael N. Huhns,et al.  An architecture for control and communications in distributed artificial intelligence systems , 1985 .

[540]  Horst Oberquelle,et al.  A View of Human-Machine Communication and Co-Operation , 1983, Int. J. Man Mach. Stud..

[541]  D. McDermott A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[542]  Robert N. Noyce From Relays to MPU's , 1976, Computer.

[543]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[544]  Victor Lesser,et al.  An Experiment in Distributed Interpretation , 1979 .

[545]  H. H. Clark,et al.  Understanding what is meant from what is said: A study in conversationally conveyed requests , 1975 .

[546]  Samuel H. Fuller,et al.  The implementation and evaluation of a parallel algorithm on C.MMP , 1978 .

[547]  Terry Winograd,et al.  Procedures As A Representation For Data In A Computer Program For Understanding Natural Language , 1971 .

[548]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[549]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[550]  John McCarthy,et al.  Queue-based multi-processing LISP , 1984, LFP '84.

[551]  Thomas G. Dietterich,et al.  Learning and Generalization of Characteristic Descriptions: Evaluation Criteria and Comparative Review of Selected Methods , 1979, IJCAI.

[552]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[553]  W. B. Croft,et al.  Using a planner to support office work , 1988 .

[554]  John McCarthy,et al.  Programs with common sense , 1960 .

[555]  H. Becker Doing Things Together , 1986 .

[556]  Eric Schoen The CAOS System , 1986 .

[557]  James D. Thompson Organizations in Action , 1967 .

[558]  Mark S. Fox,et al.  An Organizational View of Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[559]  Victor R. Lesser,et al.  Unifying Data-Directed and Goal-Directed Control: An Example and Experiments , 1982, AAAI.

[560]  Richard O. Mason,et al.  A Dialectical Approach to Strategic Planning , 1969 .

[561]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

[562]  P. Lawrence,et al.  Organization and environment , 1967 .

[563]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.