Semantical considerations on nonmonotonic logic
Artificial Intelligence
Planning for conjunctive goals
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
Intention is choice with commitment
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Reasoning about Visibility, Perception and Knowledge
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Spectrum of Modes of Knowledge Sharing between Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Knowledge, action, and the frame problem
Artificial Intelligence
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Foundations of a logic of knowledge, action, and communication
Foundations of a logic of knowledge, action, and communication
A First-order Theory of Communication and Multi-agent Plans
Journal of Logic and Computation
ARTIMIS: natural dialogue meets rational agency
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Artificial Intelligence
A deduction system for meaning negotiation
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Hi-index | 0.00 |
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent-speaker, hearer, or third parties-any of these in the past, present, or future-and any logical combination of these, including formulas with quantifiers. We prove that this theory is consistent, and compatible with a wide range of physical theories. We examine how the theory avoids two potential paradoxes, and discuss how these paradoxes may pose a danger when this theory are extended.