Knowledge, probability, and adversaries
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Verifying that agents implement a communication language
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Artificial Intelligence Review
Clausal resolution in a logic of rational agency
Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Using counterfactuals in knowledge-based programming
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
ε-connections of abstract description systems
Artificial Intelligence
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A knowledge-based framework for belief change part I: foundations
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
Characterizing distributed systems using knowledge-based models: preliminary version
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Knowledge and communication: a first-order theory
Artificial Intelligence
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Model checking temporal logics of knowledge in distributed systems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Computational Logic in Multi-Agent Systems
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Knowledge and communication: A first-order theory
Artificial Intelligence
Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Journal of Logic, Language and Information
Journal of Logic, Language and Information
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Perfect recall of imperfect knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A universally defined undecidable unimodal logic
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
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
Temporal logics over transitive states
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Labeled @-calculus: formalism for time-concerned human factors
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Fundamenta Informaticae - Logic, Language, Information and Computation
Building an epistemic logic for argumentation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Journal of Artificial Intelligence Research
Hi-index | 0.00 |