|
30
|
Reasoning about knowledge: An overview
– Joseph Y. Halpern
- 1986
|
|
58
|
The Logical Modelling of Computational Multi-Agent Systems
– Michael John Wooldridge
- 1992
|
|
56
|
A Situated View of Representation and Control
– Stanley J. Rosenschein, Leslie Pack Kaelbling, Leslie Pack Kaelbling
- 1995
|
|
23
|
Indexical Knowledge and Robot Action - A Logical Account
– Yves Lespérance, Hector J. Levesque
- 1994
|
|
240
|
Agent theories, architectures, and languages: a survey
– Michael J. Wooldridge, Nicholas R. Jennings
- 1995
|
|
995
|
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
|
|
8
|
On Planning while Learning
– Shmuel Safra, Moshe Tennenholtz
- 1994
|
|
45
|
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
|
|
3
|
Towards Knowledge-Level Analysis of Motion Planning
– Ronen I. Brafman, Jean-claude Latombe, Yoav Shoham
- 1993
|
|
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
|
|
14
|
Applications of a Logic of Knowledge to Motion Planning under Uncertainty
– Ronen I. Brafman, Jean-claude Latombe, Yoram Moses, Yoav Shoham
|
|
47
|
A Model-Theoretic Analysis of Knowledge
– Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
- 1988
|
|
16
|
The Relationship Between Knowledge, Belief, and Certainty
– Joseph Y. Halpern
- 1991
|
|
3
|
Naming and Identity in Epistemic Logics Part I: The Propositional Case
– Adam Grove, Joseph Y. Halpern
- 1993
|
|
3
|
A Multi-Agent System Architecture for Monitoring Medical Protocols
– T. Alsinet, et al.
|
