{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:03:34Z","timestamp":1775819014963,"version":"3.50.1"},"reference-count":53,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Spatial Cognition & Computation"],"published-print":{"date-parts":[[2008,5,22]]},"DOI":"10.1080\/13875860801926884","type":"journal-article","created":{"date-parts":[[2008,6,21]],"date-time":"2008-06-21T22:18:25Z","timestamp":1214086705000},"page":"86-130","source":"Crossref","is-referenced-by-count":26,"title":["Modelling Dynamic Spatial Systems in the Situation Calculus"],"prefix":"10.1080","volume":"8","author":[{"given":"Mehul","family":"Bhatt","sequence":"first","affiliation":[{"name":"a Department of Computer Science , La Trobe University"}]},{"given":"Seng","family":"Loke","sequence":"additional","affiliation":[{"name":"a Department of Computer Science , La Trobe University"}]}],"member":"301","published-online":{"date-parts":[[2008,5,22]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.531"},{"key":"CIT0003","first-page":"766","volume-title":"Proceedings of GIS\/LIS","author":"Beller A."},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.02.001"},{"key":"CIT0005","first-page":"23","volume-title":"Proceedings of the International Workshop on Temporal Databases","author":"Claramunt C."},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883455"},{"issue":"1","key":"CIT0007","first-page":"1","volume":"46","author":"Cohn A.","year":"2001","journal-title":"Fundam. Inf."},{"key":"CIT0008","volume-title":"Qualitative self-localization using a spatio-temporal ontology: A preliminary report","author":"Cohn A.","year":"2001"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.2307\/2023853"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1466-2_11"},{"key":"CIT0011","first-page":"181","volume-title":"Decision Support Systems and Qualitative Reasoning","author":"Freksa C.","year":"1991"},{"key":"CIT0012","first-page":"162","volume-title":"Proceedings of the International Conference GIS\u2014From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space","author":"Freksa C."},{"key":"CIT0013","volume-title":"The double-cross calculus","author":"Freksa C.","year":"1992"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00193-5"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"CIT0017","first-page":"74","volume-title":"Proceeding of the 10th International Workshop on Qualitative Reasoning","author":"Gooday J."},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1080\/095281397147239"},{"key":"CIT0019","first-page":"476","volume-title":"Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelth Conference on Innovative Applications of Artificial Intelligence","author":"Grosskreutz H."},{"key":"CIT0020","first-page":"92","volume-title":"COSIT 2001: Proceedings of the International Conference on Spatial Information Theory","author":"Hazarika S. M."},{"key":"CIT0021","first-page":"401","volume-title":"Proceedings of the 5 th National Conference on Artificial Intelligence","author":"Kautz H. A."},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.2307\/2025175"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9074-2_9"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/oso\/9780198537472.003.0006","volume-title":"Handbook of logic in artificial intelligence and logic programming (vol. 3)\u2014Nonmonotonic reasoning and uncertain reasoning","author":"Lifschitz V.","year":"1994"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"CIT0027","first-page":"1985","volume-title":"Proceedings of the 14 th International Joint Conference on Artificial Intelligence (IJCAI-5)","author":"Lin F."},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.655"},{"key":"CIT0029","first-page":"590","volume-title":"Proceedings of the 10 th Annual Conference on Artificial Intelligence","author":"Lin F."},{"key":"CIT0030","first-page":"460","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference","author":"McCain N."},{"key":"CIT0031","first-page":"46","volume-title":"Readings in Nonmonotonic Reasoning","author":"McCarthy J.","year":"1977"},{"key":"CIT0032","first-page":"463","volume-title":"Machine intelligence 4","author":"McCarthy J.","year":"1969"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00087-9"},{"key":"CIT0034","first-page":"234","volume-title":"ECAI 2000, Proceedings of the 14 th European Conference on Artificial Intelligence","author":"Moratz R."},{"key":"CIT0035","first-page":"131","volume-title":"Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR 1098)","author":"Muller P."},{"key":"CIT0036","first-page":"63","volume":"46","author":"Muller P.","year":"1998","journal-title":"Formal Ontology in Information Systems (FOIS-98)"},{"key":"CIT0037","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/oso\/9780195128079.003.0001","volume-title":"In Speaking of events","author":"Pianesi F.","year":"2000"},{"key":"CIT0038","first-page":"292","volume-title":"KR: Principles of knowledge representation and reasoning","author":"Pinto J.","year":"1998"},{"key":"CIT0039","series-title":"PhD thesis","volume-title":"Temporal reasoning in the situation calculus","author":"Pinto J. A.","year":"1994"},{"key":"CIT0040","volume-title":"Word and object","author":"Quine W.","year":"1960"},{"key":"CIT0041","first-page":"165","volume-title":"KR1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","author":"Randell D. A."},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90109-O"},{"key":"CIT0044","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: Logical foundations for describing and implementing dynamical systems","author":"Reiter R.","year":"2001"},{"key":"CIT0045","volume-title":"Features and fluents (Vol. 1): The representation of knowledge about dynamical systems","author":"Sandewall E.","year":"1994"},{"key":"CIT0046","volume-title":"Proceedings of the 11 th International Joint Conference on Artificial Intelligence","author":"Shanahan M."},{"key":"CIT0047","volume-title":"Proceedings of the 13 th International Joint Conference on Artificial Intelligence","author":"Shanahan M."},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00071-8"},{"key":"CIT0049","volume-title":"Solving the frame problem: A mathematical investigation of the common sense law of inertia","author":"Shanahan M.","year":"1997"},{"key":"CIT0050","volume-title":"Reasoning about change: Time and causation from the standpoint of artificial intelligence","author":"Shoham Y.","year":"1988"},{"key":"CIT0051","volume-title":"Causation. Oxford readings in philosophy","author":"Sosa E.","year":"1993"},{"key":"CIT0052","first-page":"179","volume":"2","author":"Thielscher M.","year":"1998","journal-title":"Electron. Trans. Artif. Intell."},{"key":"CIT0053","doi-asserted-by":"publisher","DOI":"10.1080\/13658810412331280167"}],"container-title":["Spatial Cognition & Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/13875860801926884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T19:14:05Z","timestamp":1709061245000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/13875860801926884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,22]]},"references-count":53,"journal-issue":{"issue":"1-2","published-online":{"date-parts":[[2008,5,22]]},"published-print":{"date-parts":[[2008,5,22]]}},"alternative-id":["10.1080\/13875860801926884"],"URL":"https:\/\/doi.org\/10.1080\/13875860801926884","relation":{},"ISSN":["1387-5868","1542-7633"],"issn-type":[{"value":"1387-5868","type":"print"},{"value":"1542-7633","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,22]]}}}