Artificial intelligence systems

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

[2]  D. Dennett The Intentional Stance. , 1987 .

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

[4]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[5]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[6]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[7]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

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

[9]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[10]  Leslie Pack Kaelbling,et al.  An Architecture for Intelligent Reactive Systems , 1987 .

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

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

[13]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[14]  J. Hintikka Knowledge and belief , 1962 .

[15]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[16]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

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

[18]  Forlano George An Experiment in Coöperation , 1932 .

[19]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).