{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:10:51Z","timestamp":1730250651249,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/icmlc.2010.5580904","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:57:54Z","timestamp":1285185474000},"page":"2641-2646","source":"Crossref","is-referenced-by-count":2,"title":["Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects"],"prefix":"10.1109","author":[{"given":"Chun-Yan","family":"Han","sequence":"first","affiliation":[]},{"given":"Yi-Xian","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Ji-Peng","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Zhi-Liang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Dan-Cheng","family":"Li","sequence":"additional","affiliation":[]},{"given":"Zhi-Liang","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Jing-De","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"87","article-title":"A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems","volume":"2621","author":"wirsing","year":"2003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HIS.2008.118"},{"key":"ref10","first-page":"136","article-title":"A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery","volume":"61","author":"cheng","year":"2000","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020083231504"},{"first-page":"1959","article-title":"Statistical Summary of Commercial Jet Airplane Accidents","year":"0","key":"ref11"},{"key":"ref5","first-page":"5","article-title":"Exploiting Temporal Continuity in Qualitative Spatial Calculi","author":"cohn","year":"1998","journal-title":"Spatial and Temporal Reasoning in Geographic Information Systems"},{"key":"ref12","article-title":"The Control Method of Collision of Vehicle in Motorway","author":"chen","year":"2006","journal-title":"East China Express way"},{"key":"ref8","article-title":"The Logic of Relevance and Necessity","volume":"i","author":"anderson","year":"1975"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92137-0_70"},{"article-title":"Anticipatory Systems – Philosophical, Mathematical and Method-logical Foundations","year":"1985","author":"rosen","key":"ref2"},{"key":"ref9","article-title":"The Logic of Relevance and Necessity","volume":"ii","author":"anderson","year":"1992"},{"key":"ref1","first-page":"362","article-title":"Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems","volume":"718","author":"cheng","year":"2004","journal-title":"Computing Anticipatory Systems CASYS 2003 Sixth – International Conference Liege Belgium 11-16 August 2003"}],"event":{"name":"2010 International Conference on Machine Learning and Cybernetics (ICMLC)","start":{"date-parts":[[2010,7,11]]},"location":"Qingdao, China","end":{"date-parts":[[2010,7,14]]}},"container-title":["2010 International Conference on Machine Learning and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570011\/5580473\/05580904.pdf?arnumber=5580904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:01:01Z","timestamp":1489874461000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5580904\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icmlc.2010.5580904","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}