{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:50Z","timestamp":1725490250694},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_14","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"195-208","source":"Crossref","is-referenced-by-count":6,"title":["Spatial-Yap: A Logic-Based Geographic Information System"],"prefix":"10.1007","author":[{"given":"David","family":"Vaz","sequence":"first","affiliation":[]},{"given":"Michel","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-24836-1_8","volume-title":"Practical Aspects of Declarative Languages","author":"J. Correas","year":"2004","unstructured":"Correas, J., Gomez, J., Carro, M., Cabeza, D., Hermenegildo, M.: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 104\u2013119. Springer, Heidelberg (2004)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191839.191927","volume-title":"ACM SIGMOD International Conference on the Management of Data","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: ACM SIGMOD International Conference on the Management of Data, pp. 442\u2013453. ACM Press, New York (1994)"},{"key":"14_CR3","unstructured":"Soares, T., Ferreira, M., Rocha, R.: The MYDDAS Programmer\u2019s Manual. Technical Report DCC-2005-10, Department of Computer Science, University of Porto (2005)"},{"key":"14_CR4","unstructured":"Vaghani, J., Ramamohanarao, K., Kemp, D., Somogyi, Z., Stuckey, P., Leask, T., Harland, J.: The Aditi Deductive Database System. Technical Report 93\/10, School of Information Technology and Electrical Engineering, Univ. of Melbourne (1993)"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BFb0052111","volume-title":"Foundations of Computer Science: Potential - Theory - Cognition","author":"K. Morik","year":"1997","unstructured":"Morik, K.: Knowledge Discovery in Databases - an Inductive Logic Programming Approach. In: Foundations of Computer Science: Potential - Theory - Cognition, pp. 429\u2013436. Springer, Heidelberg (1997)"},{"key":"14_CR6","series-title":"LNAI","volume-title":"Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006","author":"M. Ferreira","year":"2006","unstructured":"Ferreira, M., Fonseca, N.A., Rocha, R., Soares, T.: Efficient and Scalable Induction of Logic Programs using a Deductive Database System. In: Muggleton, S., Otero, R., Tamaddoni-Nezhad, A. (eds.) Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006, Santiago de Compostela, Spain, August 2006. LNCS (LNAI), vol.\u00a04455, Springer, Heidelberg (2006)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Draxler, C.: Accessing Relational and Higher Databases Through Database Set Predicates. PhD thesis, Zurich University (1991)","DOI":"10.1007\/978-1-4471-3546-3_9"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. J. Comput. Syst. Sci.\u00a051(1), 26\u201352 (1995)","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/182591.182640","volume-title":"PODS 1994: Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems","author":"J. Paredaens","year":"1994","unstructured":"Paredaens, J., den Bussche, J.V., Gucht, D.V.: Towards a theory of spatial database queries (extended abstract). In: PODS 1994: Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, Minneapolis, Minnesota, United States, pp. 279\u2013288. ACM Press, New York (1994)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BFb0031737","volume-title":"Logic in Databases","author":"B. Kuijpers","year":"1996","unstructured":"Kuijpers, B., Paredaens, J., Smits, M., den Bussche, J.V.: Termination properties of spatial datalog programs. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, pp. 101\u2013116. Springer, Heidelberg (1996)"},{"key":"14_CR11","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: YapTab: A Tabling Engine Designed to Support Parallelism. In: Conference on Tabulation in Parsing and Deduction, pp. 77\u201387 (2000)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/11562931_39","volume-title":"Logic Programming","author":"M. Ferreira","year":"2005","unstructured":"Ferreira, M.: The MYDDAS Project: Using a Deductive Database for Traffic Characterization. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 424\u2013426. Springer, Heidelberg (2005)"},{"key":"14_CR13","unstructured":"Open GIS Consortium, I.: OpenGIS Simple Features Specifications For SQL (1999), Available from http:\/\/www.opengis.org\/docs\/99-049.pdf"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-48482-5_21","volume-title":"Advances in Spatial Databases","author":"S. Ravada","year":"1999","unstructured":"Ravada, S., Sharma, J.: Oracle8i spatial: Experiences with extensible databases. In: G\u00fcting, R.H., Papadias, D., Lochovsky, F.H. (eds.) SSD 1999. LNCS, vol.\u00a01651, pp. 355\u2013359. Springer, Heidelberg (1999)"},{"key":"14_CR15","unstructured":"The Postgis Development Team: (Postgis adds support for geographic objects to the postgresql object-relational database.), Available from http:\/\/postgis.refractions.net\/"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11603023_2","volume-title":"Practical Aspects of Declarative Languages","author":"T. Soares","year":"2005","unstructured":"Soares, T., Rocha, R., Ferreira, M.: Generic Cut Actions for External Prolog Predicates. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.\u00a03819, pp. 16\u201330. Springer, Heidelberg (2005)"},{"key":"14_CR17","unstructured":"Anjewierden, A., Wielemaker, J.: (Xpce: the swi-prolog native gui library), Available from http:\/\/www.swi-prolog.org\/packages\/xpce\/"},{"key":"14_CR18","volume-title":"OpenGL(R) 1.4 Reference Manual","author":"D. Shreiner","year":"2004","unstructured":"Shreiner, D.: OpenGL(R) 1.4 Reference Manual, 4th edn. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA (2004)","edition":"4"},{"key":"14_CR19","unstructured":"Hargreaves, S.: (Allegro: A game programming library), Available from http:\/\/alleg.sourceforge.net\/"},{"key":"14_CR20","unstructured":"The GEOS Development Team: (GEOS: Geometry Engine Open Source), Available from http:\/\/geos.refractions.net\/"},{"key":"14_CR21","unstructured":"The PostgreSQL Development Team: Postgresql user\u2019s guide (2006), Available from http:\/\/www.postgresql.org\/docs\/"},{"key":"14_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/11853886_42","volume-title":"Logics in Artificial Intelligence","author":"N.A. Fonseca","year":"2006","unstructured":"Fonseca, N.A., Silva, F., Camacho, R.: April - An Inductive Logic Programming System. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 481\u2013484. Springer, Heidelberg (2006)"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s101100050010","volume":"78","author":"D.A. Griffith","year":"1999","unstructured":"Griffith, D.A.: Statistical and mathematical sources of regional science theory: Map pattern analysis as an example. Papers in Regional Science\u00a078(1), 21\u201345 (1999)","journal-title":"Papers in Regional Science"},{"issue":"3","key":"14_CR24","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.tree.2005.10.015","volume":"21","author":"H.M. Pereira","year":"2006","unstructured":"Pereira, H.M., Cooper, H.D.: Towards the global monitoring of biodiversity change. Trends in Ecology & Evolution\u00a021(3), 123\u2013129 (2006)","journal-title":"Trends in Ecology & Evolution"},{"key":"14_CR25","unstructured":"The ka-Map Development Team: (ka-map), Available from http:\/\/ka-map.maptools.org\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:04Z","timestamp":1619519404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_14","relation":{},"subject":[]}}