Knowledge and communication: A first-order theory

[1]  Leora Morgenstern,et al.  A First-order Theory of Communication and Multi-agent Plans , 2005, J. Log. Comput..

[2]  Ernest Davis,et al.  A First-Order Theory of Communicating First-Order Formulas , 2004, KR.

[3]  Ron van der Meyden,et al.  Complete Axiomatizations for Reasoning about Knowledge and Branching Time , 2003, Stud Logica.

[4]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[5]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[6]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[7]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[8]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[9]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[10]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[11]  M. Calisti,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2000 .

[12]  M. Colombetti.  A modal logic of intentional communication , 1999 .

[13]  Michael Wooldridge,et al.  Reasoning about Visibility, Perception and Knowledge , 1999, ATAL.

[14]  Mark Ryan,et al.  A Spectrum of Modes of Knowledge Sharing between Agents , 1999, ATAL.

[15]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[16]  Hideki Isozaki.  Intelligent Agents VI. Agent Theories, Architectures, and Languages , 1999, Lecture Notes in Computer Science.

[17]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[18]  Philippe Bretier,et al.  ARTIMIS: Natural Dialogue Meets Rational Agency , 1997, IJCAI.

[19]  Joseph Y. Halpern.  A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..

[20]  Toby Walsh,et al.  Proceedings of AAAI-96 , 1996 .

[21]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

[22]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[23]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[24]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

[25]  Peter Ransom,et al.  The Unexpected Hanging And Other Mathematical Diversions , 1992, The Mathematical Gazette.

[26]  Ronald Fagin,et al.  What can machines know?: On the properties of knowledge in distributed systems , 1992, JACM.

[27]  Joseph Y. Halpern,et al.  Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.

[28]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[29]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

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

[31]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

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

[33]  J. Plaza.  Logics of Public Announcements , 1989 .

[34]  Ernest Davis.  Inferring Ignorance from the Locality of Visual Perception , 1988, AAAI.

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

[36]  Joseph Y. Halpern,et al.  Reasoning about knowledge and time in asynchronous systems , 1988, STOC '88.

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

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

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

[40]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[41]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

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

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

[44]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

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

[46]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

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

[48]  J. Kotabińska.  On definition , 1955 .

[49]  W. Quine.  ON A SO-CALLED PARADOX , 1953 .