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

Paris, France October 29-October 31

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.77

19th IEEE International Conference on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Nikos Papadakis Articles by Grigoris Antoniou Articles by Dimitris Plexousakis

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

	BibTex	x
	@article{ 10.1109/ICTAI.2007.77, author = {Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis}, title = {The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints}, journal ={Tools with Artificial Intelligence, IEEE International Conference on}, volume = {2}, year = {2007}, issn = {1082-3409}, pages = {274-278}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.77}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Tools with Artificial Intelligence, IEEE International Conference on TI - The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints SN - 1082-3409 SP274 EP278 A1 - Nikos Papadakis, A1 - Grigoris Antoniou, A1 - Dimitris Plexousakis, PY - 2007 VL - 2 JA - Tools with Artificial Intelligence, IEEE International Conference on ER -

Nikos Papadakis

Grigoris Antoniou

Dimitris Plexousakis

In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are in- adequate because they rely on the assumptions that fluents persist and actions have effects on the subse- quent 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 concur- rently executing actions and we distinguish between hard and soft integrity constraints.

Citation:

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.