{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:46Z","timestamp":1725490126905},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_18","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:24:00Z","timestamp":1188296640000},"page":"259-273","source":"Crossref","is-referenced-by-count":9,"title":["Spatio-temporal Annotated Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Raffaet\u00e0","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"issue":"5","key":"18_CR1","first-page":"686","volume":"10","author":"A. Belussi","year":"1998","unstructured":"A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE TKDE, 10(5):686\u2013705, 1998.","journal-title":"IEEE TKDE"},{"key":"18_CR2","first-page":"36","volume":"6","author":"C. Bettini","year":"1998","unstructured":"C. Bettini, X. S. Wang, and S. Jajodia. An architecture for supporting interoperability among temporal databases. In [6], pages 36\u201355. 1998.","journal-title":"An architecture for supporting interoperability among temporal databases"},{"key":"18_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Spatio-Temporal Database Management","year":"1999","unstructured":"M.H. B\u00f6hlen, C.S. Jensen, and M.O. Scholl, editors. Spatio-Temporal Database Management, volume 1678 of LNCS. Springer, 1999."},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1009849314891","volume":"3","author":"J. Chomicki","year":"1999","unstructured":"J. Chomicki and P.Z. Revesz. Constraint-Based Interoperability of Spatiotemporal Database. Geoinformatica, 3(3):211\u2013243, 1999.","journal-title":"Geoinformatica"},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","first-page":"143","volume-title":"Advances in Spatial Databases","author":"M. J. Egenhofer","year":"1991","unstructured":"M. J. Egenhofer. Reasoning about binary topological relations. In Advances in Spatial Databases, volume 525 of LNCS, pages 143\u2013160. Springer, 1991."},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Temporal Databases: Research and Practice","year":"1998","unstructured":"O. Etzion, S. Jajodia, and S. Sripada, editors. Temporal Databases: Research and Practice, volume 1399 of LNCS. Springer, 1998."},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1006\/jsco.1996.0066","volume":"22","author":"T. Fr\u00fchwirth","year":"1996","unstructured":"T. Fr\u00fchwirth. Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation, 22:555\u2013583, 1996.","journal-title":"Journal of Symbolic Computation"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"S. Grumbach, P. Rigaux, and L. Segoufin. Spatio-Temporal Data Handling with Constraints. In ACM GIS, pages 106\u2013111. ACM Press, 1998.","DOI":"10.1145\/288692.288712"},{"issue":"4","key":"18_CR9","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01231602","volume":"3","author":"R.H. G\u00fcting","year":"1994","unstructured":"R.H. G\u00fcting. An Introduction to Spatial Database Systems. VLDB Journal, 3(4):357\u2013400, 1994.","journal-title":"VLDB Journal"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26\u201352, 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR11","first-page":"204","volume":"3","author":"M. Koubarakis","year":"1999","unstructured":"M. Koubarakis and S. Skiadopoulos. Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information. In [3], pages 204\u2013223, 1999.","journal-title":"Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"P. Mancarella, G. Nerbini, A. Raffaet\u00e0, and F. Turini. MuTACLP: A Language for Declarative GIS Analysis. In DOOD2000, volume 1861 of LNAI, pages 1002\u20131016. Springer, 2000.","DOI":"10.1007\/3-540-44957-4_67"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. J. Stuckey. Programming with Constraints. MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"M. A. Orgun and W. Ma. An Overview of Temporal and Modal Logic Programming. In ICTL\u201994, volume 827 of LNAI, pages 445\u2013479. Springer, 1994.","DOI":"10.1007\/BFb0014004"},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-58907-4_2","volume-title":"ICDT\u201995","author":"J. Paredaens","year":"1995","unstructured":"J. Paredaens. Spatial databases, the final frontier. In ICDT\u201995, volume 893 of LNCS, pages 14\u201332. Springer, 1995."},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-94-011-4040-9_9","volume":"17","author":"A. Raffaet\u00e0","year":"2000","unstructured":"A. Raffaet\u00e0 and T. Fr\u00fchwirth. Semantics for Temporal Annotated Constraint Logic Programming. In Labelled Deduction, volume 17 of Applied Logic Series, pages 215\u2013243. Kluwer Academic, 2000.","journal-title":"Labelled Deduction"},{"key":"18_CR17","unstructured":"D. Randell, Z. Cui, and A. Cohn. A Spatial Logic based on Regions and Connection. In KR1992, pages 165\u2013176. Morgan Kaufmann, 1992."},{"key":"18_CR18","unstructured":"SICS. Sicstus Prolog User\u2019s Guide, 1995."},{"key":"18_CR19","unstructured":"A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass editors. Temporal Databases: Theory, Design, and Implementation. Benjamin\/Cummings, 1993."},{"key":"18_CR20","unstructured":"F. Wolter and M. Zakharyaschev. Spatio-temporal representation and reasoning based on RCC-8. In KR2000, pages 3\u201314. Morgan Kaufmann, 2000."},{"key":"18_CR21","unstructured":"M. F. Worboys. GIS-A Computing Perspective. Taylor & Francis, 1995."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:08:15Z","timestamp":1556802495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}