Artificial intelligence and mathematical theory of computation
Indexical knowledge and robot action—a logical account
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
A circumscriptive calculus of events
Artificial Intelligence
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
High-Level Robot Control through Logic
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Towards a formal account of diagnostic problem-solving
Towards a formal account of diagnostic problem-solving
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Updating Mental States from Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Architectures and Idioms: Making Progress in Agent Design
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
| Hi-index | 0.00 |
A formal framework for specifying and developing agents/robots must handle not only knowledge and sensing actions, but also time and concurrency. Researchers have extended the situation calculus to handle knowledge and sensing actions. Other researchers have addressed the issue of adding time and concurrent actions. We combine both of these features into a unified logical theory of knowledge, sensing, time, and concurrency. The result preserves the solution to the frame problem of previous work, maintains the distinction between indexical and objective knowledge of time, and is capable of representing the various ways in which concurrency interacts with time and knowledge.