The ramification problem in temporal databases: Concurrent execution

Nikolaos Papadakis, Dimitris Plexousakis, Grigoris Antoniou

Research output: Contribution to journalArticlepeer-review


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 ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.

Original languageEnglish
Pages (from-to)287-325
Number of pages39
JournalInternational Journal of Intelligent Systems
Issue number4
Early online date8 Mar 2010
Publication statusPublished - 23 Apr 2010
Externally publishedYes


Dive into the research topics of 'The ramification problem in temporal databases: Concurrent execution'. Together they form a unique fingerprint.

Cite this