Distributed Computing
Formal theories of knowledge in AI and robotics
New Generation Computing
An internal semantics for modal logic
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Foundations of knowledge for distributed systems
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
The logic of distributed protocols
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Belief, awareness, and limited reasoning
Artificial Intelligence
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
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
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Readings in Knowledge Representation
Readings in Knowledge Representation
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge, timed precedence and clocks (preliminary report)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Specification and verification of learning
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Verifying epistemic properties of multi-agent systems via bounded model checking
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Reasoning about common knowledge with infinitely many agents
Information and Computation
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Theoretical Computer Science
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Knowledge and communication: a first-order theory
Artificial Intelligence
Bounded model checking for knowledge and real time
Artificial Intelligence
A temporal epistemic logic with a reset operation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Knowledge and communication: A first-order theory
Artificial Intelligence
A logic for authorization provenance
ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
Taming the complexity of temporal epistemic reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Logics for information systems and their dynamic extensions
ACM Transactions on Computational Logic (TOCL)
An epistemic logic with hypotheses
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Public announcement logic with distributed knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Bounded model checking for the existential part of real-time CTL and knowledge
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Distributed knowledge with justifications
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Journal of Artificial Intelligence Research
Hi-index | 0.01 |