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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-125

BibTeX:

@inproceedings{REWERSE-RP-2007-125,
	author = {Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis},
	title = {The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints},
	booktitle = {Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, Patras, Greece (29th--31st October 2007)},
	year = {2007},
	volume = {2},
	organization = {IEEE},
	pages = {274--278},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-125}
}