An efficient method for representing and computing transitive closure over temporal relations
暂无分享,去创建一个
[1] James F. Allen,et al. Planning Using a Temporal World Model , 1983, IJCAI.
[2] Amitabha Mukerjee,et al. A Qualitative Model for Space , 1990, AAAI.
[3] Didier Dubois,et al. Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..
[4] Boi Faltings,et al. Qualitative Kinematics: A Framework , 1987, IJCAI.
[5] J. Moss. THE NATURAL PHILOSOPHY OF TIME , 1962 .
[6] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[7] Christopher Habel,et al. Propositional and Depictorial Representations of Spatial Knowledge: The Case of Path-Concepts , 1989, Natural Language and Logic.
[8] Ramanathan V. Guha,et al. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .
[9] Michael P. Georgeff,et al. A Model of Events and Processes , 1991, IJCAI.
[10] Jitendra Malik,et al. Reasoning in Time and Space , 1983, IJCAI.
[11] Toshikazu Tanimoto,et al. A Constraint Decomposition Method for Spatio-Temporal Configuration Problems , 1993, AAAI.
[12] Thomas Dean,et al. Planning and temporal reasoning under uncertainty , 1984 .
[13] Alan F. Blackwell. Spatial reasoning with a qualitative representation , 1989, Knowl. Based Syst..
[14] Michael Fisher,et al. A Resolution Method for Temporal Logic , 1991, IJCAI.
[15] T. Dean. Handling shared resources in a temporal data base management system , 1986, COCS '86.
[16] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[17] Rina Dechter,et al. Directed Constraint Networks: A Relational Framework for Causal Modeling , 1991, IJCAI.
[18] Sanjaya Addanki,et al. LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation , 1990, AAAI.
[19] Peter B. Ladkin,et al. Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.
[20] Edward P. K. Tsang,et al. The Consistent Labeling Problem in Temporal Reasoning , 1987, AAAI.
[21] Bernd Neumann,et al. Understanding object motion: Recognition, learning and spatiotemporal reasoning , 1991, Robotics Auton. Syst..
[22] Yoav Shoham,et al. A propositional modal logic of time intervals , 1991, JACM.
[23] Ron Shamir,et al. Algorithms and Complexity for Reasoning about Time , 1992, AAAI.
[24] Peter B. Ladkin,et al. Primitives and Units for Time Specification , 1986, AAAI.
[25] Peter van Beek,et al. Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..
[26] James F. Allen,et al. A formal logic of plans in temporally rich domains , 1986, Proceedings of the IEEE.
[27] Antony Galton,et al. Reified Temporal Theories and How to Unreify Them , 1991, IJCAI.
[28] Robert A. Kowalski,et al. Database Updates in the Event Calculus , 1992, J. Log. Program..
[29] Jürgen Dorn,et al. Temporal Reasoning in Sequence Graphs , 1992, AAAI.