Temporal reasoning in artificial intelligence
暂无分享,去创建一个
[1] Vladimir Lifschitz,et al. Pointwise circumscription , 1987 .
[2] D. McDermott. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[3] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[4] Drew McDermott,et al. Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.
[5] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[6] Henry A. Kautz. The Logic of Persistence , 1986, AAAI.
[7] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[8] Brian A. Haugh,et al. Simple Causal Minimizations for Temporal Persistence and Projection , 1987, AAAI.
[9] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[10] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[11] V. Lifschitz. Formal theories of action , 1987 .
[12] McDermottDrew. Nonmonotonic Logic II , 1982 .
[13] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[14] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[15] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[16] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[17] Richard Fikes,et al. Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..
[18] Earl D. Sacerdoti,et al. Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.
[19] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[20] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[21] Peter B. Ladkin,et al. Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.
[22] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.
[23] Yoav Shoham,et al. Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..
[24] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[25] Marc B. Vilain,et al. A System for Reasoning About Time , 1982, AAAI.
[26] Drew McDermott,et al. Problems in Formal Temporal Reasoning , 1988, Artif. Intell..
[27] Peter B. Ladkin,et al. Primitives and Units for Time Specification , 1986, AAAI.
[28] Yoav Shoham,et al. A semantical approach to nonmonotonic logics , 1987, LICS 1987.