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)

Abstract

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.

LanguageEnglish
Pages589-601
Number of pages13
JournalInternational Journal on Artificial Intelligence Tools
Volume18
Issue number4
DOIs
Publication statusPublished - 1 Aug 2009
Externally publishedYes

Fingerprint

Graphical user interfaces

Cite this

Papadakis, Nikos ; Plexousakis, Dimitris ; Antoniou, Grigoris ; Papadakis, Myron ; Boutsika, Katerina. / A tool for addressing the ramification problem in temporal databases. In: International Journal on Artificial Intelligence Tools. 2009 ; Vol. 18, No. 4. pp. 589-601.
@article{328f429d022f4d45aabeea2e2676cb7f,
title = "A tool for addressing the ramification problem in temporal databases",
abstract = "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.",
author = "Nikos Papadakis and Dimitris Plexousakis and Grigoris Antoniou and Myron Papadakis and Katerina Boutsika",
year = "2009",
month = "8",
day = "1",
doi = "10.1142/S0218213009000287",
language = "English",
volume = "18",
pages = "589--601",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "4",

}

A tool for addressing the ramification problem in temporal databases. / Papadakis, Nikos; Plexousakis, Dimitris; Antoniou, Grigoris; Papadakis, Myron; Boutsika, Katerina.

In: International Journal on Artificial Intelligence Tools, Vol. 18, No. 4, 01.08.2009, p. 589-601.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A tool for addressing the ramification problem in temporal databases

AU - Papadakis, Nikos

AU - Plexousakis, Dimitris

AU - Antoniou, Grigoris

AU - Papadakis, Myron

AU - Boutsika, Katerina

PY - 2009/8/1

Y1 - 2009/8/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70349292813&partnerID=8YFLogxK

U2 - 10.1142/S0218213009000287

DO - 10.1142/S0218213009000287

M3 - Article

VL - 18

SP - 589

EP - 601

JO - International Journal on Artificial Intelligence Tools

T2 - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 4

ER -