The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

Nikos Papadakis; Grigoris Antoniou; Dimitris Plexousakis

doi:10.1109/ICTAI.2007.77

The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (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 assumptions that fluents persist and actions have effects on the subsequent situation only. We provide a solution based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of concurrently executing actions and we distinguish between hard and soft integrity constraints.

Original language	English
Title of host publication	Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
Publisher	IEEE
Pages	274-278
Number of pages	5
Volume	2
ISBN (Print)	076953015X, 9780769530154
DOIs	https://doi.org/10.1109/ICTAI.2007.77
Publication status	Published - 29 Oct 2007
Externally published	Yes
Event	19th IEEE International Conference on Tools with Artificial Intelligence - Patras, Greece Duration: 29 Oct 2007 → 31 Oct 2007 Conference number: 19

Publication series

Name	Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Publisher	IEEE
Volume	2
ISSN (Print)	1082-3409
ISSN (Electronic)	2375-0197

Conference

Conference	19th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated title	ICTAI 2007
Country/Territory	Greece
City	Patras
Period	29/10/07 → 31/10/07

Access to Document

10.1109/ICTAI.2007.77Licence: Unspecified

Cite this

Papadakis, N., Antoniou, G., & Plexousakis, D. (2007). The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. In Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 (Vol. 2, pp. 274-278). [4410391] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2). IEEE. https://doi.org/10.1109/ICTAI.2007.77

Papadakis, Nikos ; Antoniou, Grigoris ; Plexousakis, Dimitris. / The Ramification Problem in Temporal Databases : Concurrent Execution with Conflicting Constraints. Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. Vol. 2 IEEE, 2007. pp. 274-278 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

@inproceedings{191ddad6710b4d808a0cf4da7cf15edc,

title = "The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints",

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 assumptions that fluents persist and actions have effects on the subsequent situation only. We provide a solution based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of concurrently executing actions and we distinguish between hard and soft integrity constraints.",

keywords = "Databases, Computer science, Calculus, Law, Artificial intelligence, Remuneration, Legal factors, Cognitive robots",

author = "Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis",

year = "2007",

month = oct,

day = "29",

doi = "10.1109/ICTAI.2007.77",

language = "English",

isbn = "076953015X",

volume = "2",

series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",

publisher = "IEEE",

pages = "274--278",

booktitle = "Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007",

address = "United States",

note = "19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 ; Conference date: 29-10-2007 Through 31-10-2007",

}

Papadakis, N, Antoniou, G & Plexousakis, D 2007, The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. in Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. vol. 2, 4410391, Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, vol. 2, IEEE, pp. 274-278, 19th IEEE International Conference on Tools with Artificial Intelligence, Patras, Greece, 29/10/07. https://doi.org/10.1109/ICTAI.2007.77

The Ramification Problem in Temporal Databases : Concurrent Execution with Conflicting Constraints. / Papadakis, Nikos; Antoniou, Grigoris; Plexousakis, Dimitris.

Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. Vol. 2 IEEE, 2007. p. 274-278 4410391 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The Ramification Problem in Temporal Databases

T2 - 19th IEEE International Conference on Tools with Artificial Intelligence

AU - Papadakis, Nikos

AU - Antoniou, Grigoris

AU - Plexousakis, Dimitris

N1 - Conference code: 19

PY - 2007/10/29

Y1 - 2007/10/29

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 assumptions that fluents persist and actions have effects on the subsequent situation only. We provide a solution based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of concurrently executing actions and we distinguish between hard and soft integrity constraints.

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 assumptions that fluents persist and actions have effects on the subsequent situation only. We provide a solution based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of concurrently executing actions and we distinguish between hard and soft integrity constraints.

KW - Databases

KW - Computer science

KW - Calculus

KW - Law

KW - Artificial intelligence

KW - Remuneration

KW - Legal factors

KW - Cognitive robots

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

U2 - 10.1109/ICTAI.2007.77

DO - 10.1109/ICTAI.2007.77

M3 - Conference contribution

AN - SCOPUS:48649100709

SN - 076953015X

SN - 9780769530154

VL - 2

T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

SP - 274

EP - 278

BT - Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007

PB - IEEE

Y2 - 29 October 2007 through 31 October 2007

ER -

Papadakis N, Antoniou G, Plexousakis D. The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. In Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. Vol. 2. IEEE. 2007. p. 274-278. 4410391. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). doi: 10.1109/ICTAI.2007.77

The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this