Towards a Semantics of Desires (1992)

Cached

Download Links

by George Kiss , Han Reichgelt
Citations:16 - 0 self

Active Bibliography

32 Reasoning about knowledge: An overview – Joseph Y. Halpern - 1986
60 A Situated View of Representation and Control – Stanley J. Rosenschein, Leslie Pack Kaelbling, Leslie Pack Kaelbling - 1995
60 The Logical Modelling of Computational Multi-Agent Systems – Michael John Wooldridge - 1992
25 Indexical Knowledge and Robot Action - A Logical Account – Yves LespĂ©rance, Hector J. Levesque - 1994
1084 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
254 Agent theories, architectures, and languages: a survey – Michael J. Wooldridge, Nicholas R. Jennings - 1995
6 Variable Coupling of Agents to their Environment: Combining Situated and Symbolic Automata – George Kiss, Decentralized Ai - 1991
9 On Planning while Learning – Shmuel Safra, Moshe Tennenholtz - 1994
49 What Can Machines Know? On the Properties of Knowledge in Distributed Systems – Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi - 1996
THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES – Stanley J. Rosensehein, Leslie Pack Kaelbling
9 Knowledge Considerations in Robotics and Distribution of Robotic Tasks – Ronen I. Brafman, Yoav Shoham - 1995
9 Knowledge as a Tool in Motion Planning under Uncertainty – Ronen Brafman, Jean-claude Latombe, Yoram Moses, Yoav Shoham - 1994
9 On the Knowledge Requirements of Tasks – Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham - 1998
15 Applications of a Logic of Knowledge to Motion Planning under Uncertainty – Ronen I. Brafman, Jean-claude Latombe, Yoram Moses, Yoav Shoham
4 Towards Knowledge-Level Analysis of Motion Planning – Ronen I. Brafman, Jean-claude Latombe, Yoav Shoham - 1993
5 Naming and Identity in Epistemic Logics Part I: The Propositional Case – Adam Grove, Joseph Y. Halpern - 1993
19 The Relationship Between Knowledge, Belief, and Certainty – Joseph Y. Halpern - 1991
Chapter 15 Reasoning about Knowledge and Belief – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Yoram Moses
57 A Model-Theoretic Analysis of Knowledge – Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi - 1988