{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:13:46Z","timestamp":1725830026545},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_48","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T02:29:48Z","timestamp":1442197788000},"page":"565-571","source":"Crossref","is-referenced-by-count":0,"title":["Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning"],"prefix":"10.1007","author":[{"given":"Przemys\u0142aw Andrzej","family":"Wa\u0142\u0119ga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"1\u20132","key":"48_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1080\/11663081.2013.798985","volume":"23","author":"F Aguado","year":"2013","unstructured":"Aguado, F., Cabalar, P., Di\u00e9guez, M., P\u00e9rez, G., Vidal, C.: Temporal equilibrium logic: a survey. J. Appl. Non-Class. Logics 23(1\u20132), 2\u201324 (2013)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"48_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J.F.: Handbook of Spatial Logics. Springer, Heidelberg (2007)"},{"issue":"11","key":"48_CR3","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"48_CR4","unstructured":"Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third international Joint Conference on Artificial Intelligence, pp. 718\u2013724. AAAI Press (2013)"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/978-3-319-11558-0_37","volume-title":"Logics in Artificial Intelligence","author":"M Bartholomew","year":"2014","unstructured":"Bartholomew, M., Lee, J.: System aspmt2smt: computing ASPMT theories by SMT solvers. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 529\u2013542. Springer, Heidelberg (2014)"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-23196-4_12","volume-title":"Spatial Information Theory","author":"M Bhatt","year":"2011","unstructured":"Bhatt, M., Lee, J.H., Schultz, C.: CLP(QS): a declarative spatial reasoning framework. In: Egenhofer, M., Giudice, N., Moratz, R., Worboys, M. (eds.) COSIT 2011. LNCS, vol. 6899, pp. 210\u2013230. Springer, Heidelberg (2011)"},{"issue":"1\u20132","key":"48_CR7","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1080\/13875860801926884","volume":"8","author":"M Bhatt","year":"2008","unstructured":"Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spat. Cogn. Comput. 8(1\u20132), 86\u2013130 (2008)","journal-title":"Spat. Cogn. Comput."},{"key":"48_CR8","series-title":"Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-46752-3_17","volume-title":"7. \u00d6sterreichische Artificial-Intelligence-Tagung\/Seventh Austrian Conference on Artificial Intelligence","author":"AU Frank","year":"1991","unstructured":"Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: Kaindl, H. (ed.) 7. \u00d6sterreichische Artificial-Intelligence-Tagung\/Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte, vol. 287, pp. 157\u2013167. Springer, Heidelberg (1991)"},{"key":"48_CR9","unstructured":"Gooday, J., Cohn, A.G.: Conceptual neighbourhoods in temporal and spatial reasoning. Spat. Temporal Reasoning, ECAI 94 (1994)"},{"key":"48_CR10","unstructured":"Guesgen, H.W.: Spatial Reasoning Based on Allen\u2019s Temporal Logic. Technical report, International Computer Science Institute (1989)"},{"key":"48_CR11","unstructured":"Hazarika, S.M.: Qualitative spatial change: space-time histories and continuity. Ph.D. thesis, The University of Leeds (2005)"},{"key":"48_CR12","first-page":"131","volume":"98","author":"P Muller","year":"1998","unstructured":"Muller, P.: A qualitative theory of motion based on spatio-temporal primitives. KR 98, 131\u2013141 (1998)","journal-title":"KR"},{"issue":"1\u20132","key":"48_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1\u20132), 3\u201341 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"48_CR14","first-page":"165","volume":"92","author":"DA Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165\u2013176 (1992)","journal-title":"KR"},{"issue":"1","key":"48_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"48_CR16","first-page":"1055","volume":"89","author":"M Shanahan","year":"1989","unstructured":"Shanahan, M.: Prediction is deduction but explanation is abduction. IJCAI 89, 1055\u20131060 (1989)","journal-title":"IJCAI"},{"issue":"1","key":"48_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0004-3702(94)00071-8","volume":"74","author":"M Shanahan","year":"1995","unstructured":"Shanahan, M.: Default reasoning about spatial occupancy. Artif. Intell. 74(1), 147\u2013163 (1995)","journal-title":"Artif. Intell."},{"key":"48_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-20832-4_21","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"P Cabalar","year":"2011","unstructured":"Cabalar, P.: Answer Set; Programming? In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 334\u2013343. Springer, Heidelberg (2011)"},{"key":"48_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/11586180_5","volume-title":"GeoSpatial Semantics","author":"N de Weghe Van","year":"2005","unstructured":"Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A qualitative trajectory calculus and the composition of its relations. In: Rodr\u00edguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 60\u201376. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,13]],"date-time":"2018-10-13T01:14:12Z","timestamp":1539393252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}