Interactive unawareness revisited
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
A framework for learning coordinated behavior
GECCO '05 Proceedings of the 7th annual workshop on Genetic and evolutionary computation
The interpreted system model of knowledge, belief, desire and intention
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Reasoning about attitudes of complaining customers
Knowledge-Based Systems
Single-bit messages are insufficient for data link over duplicating channels
Information Processing Letters
Continuous Consensus with Failures and Recoveries
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
No Double Discount: Condition-Based Simultaneity Yields Limited Gain
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Verification of communication protocols in a multi-agent system
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Revisiting simultaneous consensus with crash failures
Journal of Parallel and Distributed Computing
A Simple Modal Logic for Reasoning about Revealed Beliefs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Computational Logic in Multi-Agent Systems
Characterizing solution concepts in games using knowledge-based programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Specification and verification of knowledge in a multi-agent system
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Optimistic Fair Exchange Using Trusted Devices
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Two puzzles concerning measures of uncertainty and the positive Boolean connectives
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Optimum simultaneous consensus for general omissions is equivalent to an NP oracle
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Using perseus system for modelling epistemic interactions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Asynchronous omega-regular games with partial information
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
DISC'10 Proceedings of the 24th international conference on Distributed computing
Complexity of anonymity for security protocols
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
$${\in_K}$$: a Non-Fregean Logic of Explicit Knowledge
Studia Logica
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Proceedings of the 4th International Workshop on Logic in Databases
Rethinking about guessing attacks
Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security
Coordinated consensus in dynamic networks
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Known unknowns: time bounds and knowledge of ignorance
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Reasoning about justified belief
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Algebraic models of deviant modal operators based on de Morgan and Kleene lattices
Information Sciences: an International Journal
Relating truth, knowledge and belief in epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Logic of questions and public announcements
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Using the perseus system for modelling epistemic interactions
Transactions on computational collective intelligence V
On logic of belief-disagreement among agents
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Characterizing environmental information for monitoring agents
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Hierarchies, holons, and agent coordination
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
A knowledge-based analysis of global function computation
DISC'06 Proceedings of the 20th international conference on Distributed Computing
No double discount: Condition-based simultaneity yields limited gain
Information and Computation
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Knowledge as a window into distributed coordination
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Epistemic profiles and belief structures
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Open issues for normative multi-agent systems
AI Communications
Building an epistemic logic for argumentation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Reasoning about minimal anonymity in security protocols
Future Generation Computer Systems
Reasoning about knowledge in distributed systems using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Knowlog: a declarative language for reasoning about knowledge in distributed systems
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Brief announcement: pareto optimal solutions to consensus and set consensus
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Automatic verification of parameterised multi-agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
An epistemic perspective on consistency of concurrent computations
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
On Modal μ-Calculus in S5 and Applications
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Information flow in trust management systems
Journal of Computer Security - CSF 2010
Hi-index | 0.00 |