A tool for addressing the ramification problem in temporal databases

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

doi:10.1142/S0218213009000287

A tool for addressing the ramification problem in temporal databases

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

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	589-601
Number of pages	13
Journal	International Journal on Artificial Intelligence Tools
Volume	18
Issue number	4
DOIs	https://doi.org/10.1142/S0218213009000287
Publication status	Published - 1 Aug 2009
Externally published	Yes

Access to Document

10.1142/S0218213009000287Licence: Unspecified

Cite this

@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 = aug,

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",

}

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

AN - SCOPUS:70349292813

VL - 18

SP - 589

EP - 601

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 4

ER -

A tool for addressing the ramification problem in temporal databases

Abstract

Access to Document

Other files and links

Fingerprint

Cite this