A tool for addressing the ramification problem in temporal databases

Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Myron Papadakis, Katerina Boutsika

Research output: Contribution to journalArticle

1 Citation (Scopus)


In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. We present a tool with a graphical user interface for addressing the ramification problem in temporal databases.

Original languageEnglish
Pages (from-to)589-601
Number of pages13
JournalInternational Journal on Artificial Intelligence Tools
Issue number4
Publication statusPublished - 1 Aug 2009
Externally publishedYes


Cite this