Reasoning about action I: a possible worlds approach
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Artificial Intelligence
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Conceptual Models and Architectures for Advanced Information Systems
Applied Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
E-RES: Reasoning about Actions, Events and Observations
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Active Databases as Information Systems
IDEAS '04 Proceedings of the International Database Engineering and Applications Symposium
Maintaining knowledge with a formal model
Applied Intelligence
Artificial Intelligence
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
Specialization of Interaction Protocols in a Temporal Action Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
The ramification problem in temporal databases: a solution implemented in SQL
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Situation calculus on a dense flow of time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem, in our prior work (Papadakis and Plexousakis in Int. J. Artif. Intel., 12(3):315, 2003) we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. Also, we have dealt with the ramification problem in spatial databases (Papadakis and Christodoulou in Expert Syst. Appl. 37:1374, 2010). In this paper, we present a tool that connects the theoretical results to practical considerations, by producing the appropriate SQL commands in order to address the ramification problem. (A preliminary version of this work appears in Papadakis et al., 17th Inter Symposium on Methodologies for Intelligent Systems, pp. 381---388, 2008)