{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:53Z","timestamp":1749221333648},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656494"},{"type":"electronic","value":"9783540491514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49151-1_12","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:55:24Z","timestamp":1269885324000},"page":"212-227","source":"Crossref","is-referenced-by-count":4,"title":["Temporal Indeterminacy in Deductive Databases: An Approach Based on Event Calculus"],"prefix":"10.1007","author":[{"given":"Luca","family":"Chittaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Combi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,10]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-58495-1_26","volume-title":"In Methodologies for Intelligent Systems","author":"V. Brusoni","year":"1994","unstructured":"Brusoni V., Console L., Pernici Terenziani P.: LATER: a General Purpose Manager of Temporal Information. In Methodologies for Intelligent Systems 8, LNCS, Springer, Heidelberg, 255\u2013264 1994."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Chittaro L., Dojat M.: Using a general theory of time and change in patient monitoring: experiment and evaluation. Computers in biology and medicine, Special issue on Time-oriented systems, 27, in press 1997.","DOI":"10.1016\/S0010-4825(97)00014-0"},{"key":"12_CR3","volume-title":"to appear in Proceedings of the 24th Annual Conference on Computers in Cardiology","author":"L. Chittaro","year":"1997","unstructured":"Chittaro L., Combi C., Cervesato E., Cervesato R., Antonini-Canterin F., Nicolosi G.L., Zanuttini D. Specifying and representing temporal abstractions of clinical data by a query language based on the Event Calculus, to appear in Proceedings of the 24th Annual Conference on Computers in Cardiology, IEEE Press, Los Alamitos, CA 1997."},{"key":"12_CR4","first-page":"359","volume":"12","author":"L. Chittaro","year":"1996","unstructured":"Chittaro L., Montanari A.: Efficient temporal reasoning in the Cached Event Calculus. Computational Intelligence, 12, 359\u2013382 1996.","journal-title":"Efficient temporal reasoning in the Cached Event Calculus. Computational Intelligence"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/TIME.1997.600791","volume-title":"In Fourth International Workshop on Temporal Representation and Reasoning (TIME\u2019 97)","author":"G. Combi Cucchi","year":"1997","unstructured":"Combi Cucchi G.: GCH-OSQL A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. In Fourth International Workshop on Temporal Representation and Reasoning (TIME\u2019 97), IEEE Computer Society Press, Los Alamitos,CA, 119\u2013126 1997."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","volume":"36","author":"T. Dean","year":"1988","unstructured":"Dean T., Boddy M.: Reasoning about Partially Ordered Events, Artificial Intelligence, 36, 375\u2013399 1988.","journal-title":"Artificial Intelligence"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter R., Meiri I., Pearl J.: Temporal Constraint Networks, Artificial Intelligence, 49, 61\u201395 1991.","journal-title":"Temporal Constraint Networks, Artificial Intelligence"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-1-4615-2289-8_18","volume-title":"The TSQL2 temporal query language","author":"C.E. Dyreson","year":"1995","unstructured":"Dyreson C.E., Snodgrass R.T.: Temporal indeterminacy. In Snodgrass R.T. (ed.) The TSQL2 temporal query language. Kluwer Academic Publishers, Boston, 327\u2013346 1995."},{"key":"12_CR9","unstructured":"Gadia S.K., Nair S.S., Poon Y.C.: Incomplete Information in relational temporal databases. Proc. of the 18th VLDB Conference, Vancouver, Canada, 395\u2013406 1992."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski R., Sergot M.: A logic-based calculus of events. New Generation Computing, 4, 67\u201395 1986.","journal-title":"New Generation Computing"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R. Kowalski","year":"1992","unstructured":"Kowalski R.: Database Updates in the Event Calculus. Journal of Logic Programming, 12, 121\u2013146 1992.","journal-title":"Journal of Logic Programming"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1145\/146931.146934","volume":"17","author":"R. Maiocchi","year":"1992","unstructured":"Maiocchi R., Pernici Barbic F.: Automatic Deduction of Temporal Information, ACM Transactions on Database Systems, 17, 647\u2013688 1992.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR13","first-page":"67","volume-title":"Proc. 12th Internat. Conf. on Logic Programming (ICLP\u2019 95)","author":"F. Sadri","year":"1995","unstructured":"Sadri F., Kowalski R.A.: Variants of the Event Calculus. Proc. 12th Internat. Conf. on Logic Programming (ICLP\u2019 95), MIT Press, Cambridge, Massachussets, 67\u201381 1995."}],"container-title":["Lecture Notes in Computer Science","Active, Real-Time, and Temporal Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49151-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:28:18Z","timestamp":1558970898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49151-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540656494","9783540491514"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49151-1_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}