Semantical considerations on nonmonotonic logic
Artificial Intelligence
Formal theories of knowledge in AI and robotics
New Generation Computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
An internal semantics for modal logic
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Reasoning about knowledge: an overview
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Knowledge and implicit knowledge in a distributed environment
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
An investigation of modal structures as an alternative semantic basis for epistemic logics
Computational Intelligence
On the complexity of epistemic reasoning
Proceedings of the Fourth Annual Symposium on Logic in computer science
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Three Views of Common Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Reasoning about Knowledge and Probability
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
On the model theory of knowledge
On the model theory of knowledge
Special issue on knowledge representation
ACM SIGART Bulletin
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about Information Change
Journal of Logic, Language and Information
Rational Coordination in Multi-Agent Environments
Autonomous Agents and Multi-Agent Systems
A Model of BDI-Agent in Game-Theoretic Framework
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Revising knowledge: a hierarchical approach
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
The expressive power of the hierarchical approach to modeling knowledge and common knowledge
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Knowledge in shared memory systems
Distributed Computing
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A logic of knowledge and belief for recursive modeling: a preliminary report
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Reasoning about only knowing with many agents
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Journal of the ACM (JACM)
Conditioning by minimizing accessibility
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Conditioning and Interpretation Shifts
Studia Logica
Hi-index | 0.00 |