Towards a Semantics of Desires (1992)

Cached

Download Links

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

Active Bibliography

31 Reasoning about knowledge: An overview – Joseph Y. Halpern - 1986
60 The Logical Modelling of Computational Multi-Agent Systems – Michael John Wooldridge - 1992
63 A Situated View of Representation and Control – Stanley J. Rosenschein, Leslie Pack Kaelbling, Leslie Pack Kaelbling - 1995
24 Indexical Knowledge and Robot Action - A Logical Account – Yves LespĂ©rance, Hector J. Levesque - 1994
259 Agent theories, architectures, and languages: a survey – Michael J. Wooldridge, Nicholas R. Jennings - 1995
1104 Intelligent agents: Theory and practice – Michael 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
4 Towards Knowledge-Level Analysis of Motion Planning – Ronen I. Brafman, Jean-claude Latombe, Yoav Shoham - 1993
16 Applications of a Logic of Knowledge to Motion Planning under Uncertainty – Ronen I. Brafman, Jean-claude Latombe, Yoram Moses, Yoav Shoham
55 A Model-Theoretic Analysis of Knowledge – Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi - 1988
19 The Relationship Between Knowledge, Belief, and Certainty – Joseph Y. Halpern - 1991
Reasoning about Knowledge and Belief – Yoram Moses - 2008
7 Naming and Identity in Epistemic Logics Part I: The Propositional Case – Adam Grove, Joseph Y. Halpern - 1993