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
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Artificial Intelligence
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
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
Artificial Intelligence
Review of data consistency and integrity constraints in spatial databases
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
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
Inconsistency issues in spatial databases
Inconsistency Tolerance
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
Hi-index | 12.05 |
In this paper, we study the ramification problem in the setting of spatial databases. Standard solutions from the literature on reasoning about action are inadequate because they cannot capture integrity constraints in spatial data. In this paper, we provide a solution to the ramification problem based on situation calculus. 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 in spatial databases.