The ramification problem in temporal databases: a solution implemented in SQL

Authors:
Nikos Papadakis;Dimitris Plexousakis;Grigoris Antoniou;Manolis Daskalakis;Yannis Christodoulou
Affiliations:
Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Greece;Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Greece;Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Greece;Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Greece;Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Greece
Venue:
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Year:
2008

Citing 5
Cited 2

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
Inductive situation calculus

Artificial Intelligence
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Situation calculus on a dense flow of time

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

PROTON: A Prolog Reasoner for Temporal ONtologies in OWL

Expert Systems with Applications: An International Journal
The ramification problem in temporal databases: a solution implemented in SQL

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 we have presented a solution based on an extension of the situation calculus and the work of McCain and Turner. 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.