Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects
暂无分享,去创建一个
[1] Stephan Merz,et al. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems , 2003, FASE.
[2] Jeffrey V. Nickerson,et al. Anticipatory systems: philosophical, mathematical, and methodological foundations , 2012, Int. J. Gen. Syst..
[3] M. Egenhofer,et al. Exploiting Temporal Continuity in Qualitative Spatial Calculi , 1994 .
[4] Jingde Cheng. Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space , 2008, ISICA.
[5] Jingde Cheng. Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic , 2008, 2008 Eighth International Conference on Hybrid Intelligent Systems.
[6] Setsuo Ohsuga,et al. Information Modelling and Knowledge Bases , 1990 .
[7] Anthony G. Cohn,et al. Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.
[8] Jingde Cheng. Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning‐Reacting Systems , 2004 .
[9] Jingde Cheng,et al. A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery , 1998, EJC.