The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Zero knowledge proofs of identity
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A situated-automata approach to the design of embedded agents
ACM SIGART Bulletin
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Applications of a logic of knowledge to motion planning under uncertainty
Journal of the ACM (JACM)
An axiomatic treatment of three qualitative decision criteria
Journal of the ACM (JACM)
A Multi-agent system architecture for monitoring medical protocols
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
ACM Transactions on Computational Logic (TOCL)
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
First order heterogeneous agent computations
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
Knowledge as a tool in motion planning under uncertainty
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Common knowledge and update in finite environments. I: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
The synthesis of digital machines with provable epistemic properties
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
Manipulating Paraconsistent Knowledge in Multi-agent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Model Checking and Artificial Intelligence
Situated actions and cognition
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Journal of Artificial Intelligence Research
Knowledge considerations in robotics and distribution of robotic tasks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Universal plans for reactive robots in unpredictable environments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Towards action prediction using a mental-level model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A dynamical systems perspective on agent-environment interaction
Artificial Intelligence
Action and planning in embedded agents
Robotics and Autonomous Systems
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Perceiving environments for intelligent agents
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Challenge: Concept of system life and its application to robotics
Robotics and Autonomous Systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
On the foundations of qualitative decision theory
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Integrating execution, planning, and learning in soar for external environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Becoming increasingly reactive
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Towards knowledge-level analysis of motion planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
On the axiomatization of qualitative decision criteria
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On stable multi-agent behavior in face of uncertainty
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Non-alethic reasoning in distributed systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Automated monitoring of medical protocols: a secure and distributed architecture
Artificial Intelligence in Medicine
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action
Hi-index | 0.00 |