{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:41:25Z","timestamp":1725522085785},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540921363"},{"type":"electronic","value":"9783540921370"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92137-0_70","type":"book-chapter","created":{"date-parts":[[2008,12,12]],"date-time":"2008-12-12T16:23:27Z","timestamp":1229099007000},"page":"637-648","source":"Crossref","is-referenced-by-count":5,"title":["Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space"],"prefix":"10.1007","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"70_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol.\u00a0I. Princeton University Press, Princeton (1975)"},{"key":"70_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol.\u00a0II. Princeton University Press, Princeton (1992)"},{"issue":"3","key":"70_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence\u00a017(3), 239\u2013251 (2002)","journal-title":"Applied Intelligence"},{"key":"70_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0462-5_1","volume-title":"Handbook of Philosophical Logic","author":"J.P. Burgess","year":"2002","unstructured":"Burgess, J.P.: Basic Tense Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a07, pp. 1\u201342. Kluwer Academic, Dordrecht (2002)","edition":"2"},{"key":"70_CR5","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"136","volume-title":"Information Modelling and Knowledge Bases XI","author":"J. Cheng","year":"2000","unstructured":"Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI. Frontiers in Artificial Intelligence and Applications, vol.\u00a061, pp. 136\u2013159. IOS Press, Amsterdam (2000)"},{"key":"70_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-540-45224-9_13","volume-title":"KES 2003, Part I","author":"J. Cheng","year":"2003","unstructured":"Cheng, J.: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. In: Palade, V., Howlett, R.J., Jain, L.C. (eds.) KES 2003. LNCS, vol.\u00a02773, pp. 68\u201380. Springer, Heidelberg (2003)"},{"key":"70_CR7","doi-asserted-by":"crossref","unstructured":"Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003. AIP Conference Proceedings, vol.\u00a0718, pp. 362\u2013375. American Institute of Physics (2004)","DOI":"10.1063\/1.1787339"},{"key":"70_CR8","first-page":"270","volume-title":"Proc. 17th Annual International Conference on Tools with Artificial Intelligence","author":"J. Cheng","year":"2005","unstructured":"Cheng, J.: Spatio-temporal Relevant Logic as the Logical Basis for Spatio-temporal Information Systems. In: Proc. 17th Annual International Conference on Tools with Artificial Intelligence, pp. 270\u2013274. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"70_CR9","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"310","volume-title":"Information Modelling and Knowledge Bases XVII","author":"J. Cheng","year":"2006","unstructured":"Cheng, J.: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. In: Kiyoki, Y., Henno, J., Jaakkola, H., Kangassalo, H. (eds.) Information Modelling and Knowledge Bases XVII. Frontiers in Artificial Intelligence and Applications, vol.\u00a0136, pp. 310\u2013320. IOS Press, Amsterdam (2006)"},{"key":"70_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, J., Goto, Y., Kitajima, N.: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2007. AIP Conference Proceedings, American Institute of Physics (to appear, 2008)","DOI":"10.1063\/1.3020663"},{"key":"70_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-0-585-28322-7_4","volume-title":"Spatial and Temporal Reasoning","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and Reasoning with Qualitative Spatial Relations About Regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97\u2013134. Kluwer Academic, Dordrecht (1997)"},{"issue":"3","key":"70_CR12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. GeoInformatica\u00a01(3), 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"key":"70_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/oso\/9780195103427.003.0001","volume-title":"Spatial and Temporal Reasoning in Geographic Information Systems","author":"A.G. Cohn","year":"1998","unstructured":"Cohn, A.G., Gotts, N.M., Cui, Z., Randell, D.A., Bennett, B., Gooday, J.M.: Exploiting Temporal Continuity in Qualitative Spatial Calculi. In: Egenhofer, M.J., Golledge, R.G. (eds.) Spatial and Temporal Reasoning in Geographic Information Systems, pp. 5\u201324. Oxford University Press, Oxford (1998)"},{"issue":"1-2","key":"70_CR14","first-page":"1","volume":"46","author":"A.G. Cohn","year":"2001","unstructured":"Cohn, A.G., Hazarika, S.M.: Qualitative Spatial Representation and Reasoning: An Overview. Fundamenta Informaticae\u00a046(1-2), 1\u201329 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"70_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic","author":"J.M. Dunn","year":"2002","unstructured":"Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a06, pp. 1\u2013128. Kluwer Academic, Dordrecht (2002)","edition":"2"},{"volume-title":"Spatial and Temporal Reasoning in Geographic Information Systems","year":"1998","key":"70_CR16","unstructured":"Egenhofer, M.J., Golledge, R.G. (eds.): Spatial and Temporal Reasoning in Geographic Information Systems. Oxford University Press, Oxford (1998)"},{"issue":"4","key":"70_CR17","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1109\/TKDE.2002.1019220","volume":"14","author":"M. Erwig","year":"2002","unstructured":"Erwig, M., Schneider, M.: Spatio-Temporal Predicates. IEEE Transactions on Knowledge and Data Engineering\u00a014(4), 881\u2013901 (2002)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"70_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant Logic: A Philosophical Interpretation","author":"E.D. Mares","year":"2004","unstructured":"Mares, E.D.: Relevant Logic: A Philosophical Interpretation. Cambridge University Press, Cambridge (2004)"},{"key":"70_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36578-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Merz","year":"2003","unstructured":"Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 87\u2013101. Springer, Heidelberg (2003)"},{"key":"70_CR20","series-title":"LNCS(LNAI)","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-70736-0","volume-title":"Qualitative Spatial Reasoning with Topological Information","author":"J. Renz","year":"2002","unstructured":"Renz, J.: Qualitative Spatial Reasoning with Topological Information. LNCS(LNAI), vol.\u00a02293. Springer, Heidelberg (2002)"},{"volume-title":"Spatial and Temporal Reasoning","year":"1997","key":"70_CR21","unstructured":"Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)"},{"key":"70_CR22","first-page":"203","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Y. Venema","year":"2001","unstructured":"Venema, Y.: Temporal Logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 203\u2013223. Blackwell, Oxford (2001)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computation and Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92137-0_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T01:00:00Z","timestamp":1709773200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92137-0_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921363","9783540921370"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92137-0_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}