{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:29:44Z","timestamp":1762100984598},"reference-count":32,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1016\/j.artint.2009.10.002","type":"journal-article","created":{"date-parts":[[2009,10,15]],"date-time":"2009-10-15T08:17:23Z","timestamp":1255594643000},"page":"72-104","source":"Crossref","is-referenced-by-count":14,"title":["An AGM-style belief revision mechanism for probabilistic spatio-temporal logics"],"prefix":"10.1016","volume":"174","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[]},{"given":"Austin","family":"Parker","sequence":"additional","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.artint.2009.10.002_bib001","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.artint.2009.10.002_bib002","series-title":"Proceedings of the 8th International Conference on Computer Aided Verification","first-page":"269","article-title":"Verifying continuous time Markov chains","author":"Aziz","year":"1996"},{"issue":"1","key":"10.1016\/j.artint.2009.10.002_bib003","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","article-title":"Combining knowledge bases consisting of first-order theories","volume":"8","author":"Baral","year":"1992","journal-title":"Computational Intelligence"},{"key":"10.1016\/j.artint.2009.10.002_bib004","first-page":"23","article-title":"Modal logics for qualitative spatial reasoning","volume":"4","author":"Bennett","year":"1996","journal-title":"Journal of the Interest Group on Pure and Applied Logic"},{"issue":"1\u20132","key":"10.1016\/j.artint.2009.10.002_bib005","first-page":"1","article-title":"Qualitative spatial representation and reasoning: An overview","volume":"46","author":"Cohn","year":"2001","journal-title":"Fundam. Inf."},{"key":"10.1016\/j.artint.2009.10.002_bib006","series-title":"Proc. 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2004)","first-page":"85","article-title":"The logic of motion","author":"Nau","year":"2004"},{"key":"10.1016\/j.artint.2009.10.002_bib007","series-title":"Proc. IJCAI 2005","first-page":"615","article-title":"Going far, logically","author":"Nau","year":"2005"},{"key":"10.1016\/j.artint.2009.10.002_bib008","series-title":"Proc. IJCAI 2005","first-page":"621","article-title":"A motion closed world assumption","author":"Nau","year":"2005"},{"key":"10.1016\/j.artint.2009.10.002_bib009","series-title":"Spatial Cognition III","article-title":"Towards an architecture for cognitive vision using qualitative spatio-temporal representations and abduction","volume":"vol. 2685","author":"Cohn","year":"2003"},{"key":"10.1016\/j.artint.2009.10.002_bib010","series-title":"FLAIRS Conference","first-page":"460","article-title":"On the computational complexity of spatio-temporal logics","author":"Gabelaia","year":"2003"},{"issue":"5","key":"10.1016\/j.artint.2009.10.002_bib011","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","article-title":"Logic for reasoning about time and reliability","volume":"6","author":"Hansson","year":"1994","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"10.1016\/j.artint.2009.10.002_bib012","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0004-3702(95)00005-4","article-title":"Knowledge-level analysis of belief base operations","volume":"82","author":"Hansson","year":"1996","journal-title":"Artificial Intelligence"},{"issue":"2\u20134","key":"10.1016\/j.artint.2009.10.002_bib013","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s10472-008-9089-2","article-title":"Computing most probable worlds of action probabilistic logic programs: Scalable estimation for 1030,000 worlds","volume":"51","author":"Khuller","year":"2007","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/j.artint.2009.10.002_bib014","series-title":"Computer Performance Evaluation: Modelling Techniques and Tools","first-page":"113","article-title":"Prism: Probabilistic symbolic model checker","volume":"vol. 2324","author":"Kwiatkowska","year":"2002"},{"key":"10.1016\/j.artint.2009.10.002_bib015","first-page":"191","article-title":"A polynomial algorithm in linear programming","volume":"20","author":"Khachiyan","year":"1979","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/j.artint.2009.10.002_bib016","series-title":"FASE","first-page":"87","article-title":"A spatio-temporal logic for the specification and refinement of mobile systems","volume":"vol. 2621","author":"Merz","year":"2003"},{"key":"10.1016\/j.artint.2009.10.002_bib017","series-title":"Intl. Conf. on Multimedia Information Systems","first-page":"35","article-title":"Building upon the coalitions agent experiment (coax) \u2014 integration of multimedia information in gccs-m using impact","author":"Mittu","year":"2003"},{"key":"10.1016\/j.artint.2009.10.002_bib018","series-title":"FOIS","first-page":"63","article-title":"Space\u2013time as a primitive for space and motion","author":"Muller","year":"1998"},{"key":"10.1016\/j.artint.2009.10.002_bib019","series-title":"Computational Complexity","author":"Papadimitriou","year":"1994"},{"issue":"11","key":"10.1016\/j.artint.2009.10.002_bib020","first-page":"1541","article-title":"A logical formulation of probabilistic spatial databases","volume":"19","author":"Parker","year":"2007","journal-title":"IEEE TKDE"},{"issue":"1","key":"10.1016\/j.artint.2009.10.002_bib021","first-page":"92","article-title":"Spot databases: Efficient consistency checking and optimistic selection in probabilistic spatial databases","volume":"21","author":"Parker","year":"2009","journal-title":"IEEE TKDE"},{"key":"10.1016\/j.artint.2009.10.002_bib022","unstructured":"Austin Parker, Spatial probabilistic temporal databases, PhD thesis, University of Maryland, 2008"},{"key":"10.1016\/j.artint.2009.10.002_bib023","unstructured":"Austin Parker, Guillaume Infantes, John Grant, V.S. Subrahmanian, An agm-based belief revision mechanism for probabilistic spatio-temporal logics, in: AAAI, 2008"},{"key":"10.1016\/j.artint.2009.10.002_bib024","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"501","article-title":"Probabilistic go theories","author":"Parker","year":"2007"},{"key":"10.1016\/j.artint.2009.10.002_bib025","series-title":"IJCAI'94","first-page":"238","article-title":"Qualitative spatial reasoning about objects in motion: Application to physics problem solving","author":"Rajagopalan","year":"1994"},{"key":"10.1016\/j.artint.2009.10.002_bib026","series-title":"KR199: International Conference on Knowledge Representation and Reasoning","first-page":"165","article-title":"A spatial logic based on regions and connection","author":"Cohn","year":"1992"},{"key":"10.1016\/j.artint.2009.10.002_bib027","series-title":"Foundations of Multidimensional and Metric Data Structures","author":"Samet","year":"2006"},{"issue":"1","key":"10.1016\/j.artint.2009.10.002_bib028","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0004-3702(94)00071-8","article-title":"Default reasoning about spatial occupancy","volume":"74","author":"Shanahan","year":"1995","journal-title":"Artif. Intell."},{"key":"10.1016\/j.artint.2009.10.002_bib029","series-title":"IJCAI","first-page":"2631","article-title":"Inferring complex agent motions from partial trajectory observations","author":"Southey","year":"2007"},{"key":"10.1016\/j.artint.2009.10.002_bib030","series-title":"Proc. 2003 Intl. Conf. on Multimedia Information Systems","first-page":"145","article-title":"Fusing live sensor data into situational multimedia views","author":"Yetso","year":"2003"},{"key":"10.1016\/j.artint.2009.10.002_bib031","series-title":"ECAI2000: Principles of Knowledge Representation and Reasoning","first-page":"244","article-title":"Spatial reasoning in rcc-8 with boolean region terms","author":"Wolter","year":"2000"},{"key":"10.1016\/j.artint.2009.10.002_bib032","series-title":"KR2000: Principles of Knowledge Representation and Reasoning","first-page":"3","article-title":"Spatio-temporal representation and reasoning based on RCC-8","author":"Wolter","year":"2000"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S000437020900109X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S000437020900109X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T05:13:27Z","timestamp":1549602807000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S000437020900109X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["S000437020900109X"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.artint.2009.10.002","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}