Derivation from first principles of belief values generated in networks by message passing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A semantics for a logic of authentication (extended abstract)
PODC '91 Proceedings of the tenth 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)
The logic of enactment (abstract)
Proceedings of the 6th international conference on Artificial intelligence and law
Decision making and plan management by autonomous agents: theory, implementation and applications
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Anytime approximate model reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Decision Support Systems - Special issue: Formal modeling and electronic commerce
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
Minds and Machines
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Knowledge and the logic of local propositions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Probabilistic algorithmic knowledge
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A nonstandard approach to the logical omniscience problem
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Information acquisition from multi-agent resources
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
An epistemic logic of situations: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Approximate reasoning and non-omniscient agents
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Problem solving with insufficient resources
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Interactive unawareness revisited
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
A complete and decidable security-specialised logic and its application to the TESLA protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Extensive games with possibly unaware players
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Unawareness, beliefs and games
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A TAXONOMY OF STRATEGIES FOR MULTIMODAL PERSUASIVE MESSAGE GENERATION
Applied Artificial Intelligence
Beyond nash equilibrium: solution concepts for the 21st century
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Justification logics, logics of knowledge, and conservativity
Annals of Mathematics and Artificial Intelligence
Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
A computational theory of awareness and decision making
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Syntactic foundations for unawareness of theorems
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Reasoning about knowledge of unawareness revisited
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Cognitive Context and Arguments from Ontologies for Learning
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Knowledge, Time, and Logical Omniscience
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
The semantics of potential intentions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Non-omniscient belief as context-based reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Belief, awareness, and two-dimensional logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Parameter structures for parametrized modal operators
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Awareness and Forgetting of Facts and Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Knowledge Management in Role Based Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
A semantics for changing frames of mind
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Twelve angry men: a study on the fine-grain of announcements
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Journal of Logic, Language and Information
Using attention in belief revision
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Default reasoning from statistics
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Step-logic and the three-wise-men problem
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
Awareness in games, awareness in logic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Becoming aware of propositional variables
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Now that you mention it: awareness dynamics in discourse and decisions
Language, games, and evolution
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Equivalence of the information structure with unawareness to the logic of awareness
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Policy-based Awareness Management (PAM): Case study of a wireless communication system at a hospital
Journal of Systems and Software
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Maintaining awareness using policies; Enabling agents to identify relevance of information
Journal of Computer and System Sciences
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
On the interactions of awareness and certainty
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
What do epistemic logic and cognitive science have to do with each other?
Cognitive Systems Research
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Epistemic profiles and belief structures
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Dynamics of defeasible and tentative inference
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Decidable reasoning in a logic of limited belief with introspection and unknown individuals
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |