Simple Causal Minimizations for Temporal Persistence and Projection
暂无分享,去创建一个
[1] John McCarthy,et al. Programs with common sense , 1960 .
[2] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[3] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[4] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[5] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[6] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[7] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[8] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[9] D. McDermott,et al. Temporal Reasoning and Default Logics. , 1985 .
[10] Drew McDermott,et al. Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.
[11] D. Perlis,et al. The SUPREM architecture: a new intelligent paradigm , 1986 .
[12] Donald Perlis,et al. Completeness Results for Circumscription , 1986, Artif. Intell..
[13] Vladimir Lifschitz,et al. Pointwise Circumscription: Preliminary Report , 1986, AAAI.
[14] Henry A. Kautz. The Logic of Persistence , 1986, AAAI.
[15] Yoav Shoham,et al. Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories , 1986, AAAI.
[16] John McCarthy,et al. Circumscription—a form of non-monotonic reasoning , 1987 .
[17] V. Lifschitz. Formal theories of action , 1987 .
[18] Vladimir Lifschitz,et al. Formal Theories of Action (Preliminary Report) , 1987, IJCAI.
[19] F. Suppe,et al. Nonmonotonic formalisms for commonsense temporal-causal reasoning , 1989 .
[20] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .