By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Papadakis, N. ; Univ. of Crete, Rethymno ; Antoniou, G. ; Plexousakis, D.

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.

Published in:

Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on  (Volume:2 )

Date of Conference:

29-31 Oct. 2007