Handbook of logic in artificial intelligence and logic programming (vol. 3)
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Knowledge, action, and the frame problem
Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Commonsense Reasoning
Hi-index | 0.00 |
To regulate and coordinate the behavior of agents within real-world environments, the participating entities must be able to reason not only about the state of the environment itself, but also about their own knowledge concerning that state, based on information acquired through sensing actions. Considering the dynamic nature of most realistic domains, the study of knowledge evolution over time is a critical aspect. This paper develops a formal account of action, knowledge and time within the context of the Event Calculus and proposes a unified theory that is applicable to diverse scenarios of commonsense reasoning.