Stop the world—I want to think
暂无分享,去创建一个
Donald Perlis | Michael J. Miller | Jennifer J. Elgot-Drapkin | D. Perlis | Michael J. Miller | J. Elgot-Drapkin
[1] Donald Perlis,et al. Step-logic: reasoning situated in time , 1988 .
[2] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[3] Mark S. Boddy,et al. An Analysis of Time-Dependent Planning , 1988, AAAI.
[4] Kurt Konolige. Belief and incompleteness , 1984 .
[5] Stuart J. Russell,et al. Principles of Metareasoning , 1989, Artif. Intell..
[6] John Grant,et al. Classifications for inconsistent theories , 1978, Notre Dame J. Formal Log..
[7] Donald Perlis,et al. On the consistency of commonsense reasoning , 1986, Comput. Intell..
[8] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[9] Donald Perlis,et al. Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..
[10] Donald Perlis,et al. STEP-LOGICS: AN ALTERNATIVE APPROACH TO LIMITED REASONING , 1986 .
[11] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[12] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[13] J. McCarthy. Formalization of two Puzzles Involving Knowledge , 1987 .
[14] Sarit Kraus,et al. Knowledge, Belief and Time , 1986, Theor. Comput. Sci..
[15] Drew McDermott,et al. Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.
[16] J Drapkin,et al. A preliminary excursion into step-logics , 1986, ISMIS '86.
[17] Jennifer J. Elgot-Drapkin. A Real-time Solution to the Wise-men Problem , 1991 .
[18] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[19] Fangzhen Lin,et al. Reasoning in the Presence of Inconsistency , 1987, AAAI.
[20] Donald Perlis,et al. LIFE ON A DESERT ISLAND: ONGOING WORK ON REAL-TIME REASONING , 1987 .
[21] F. J. Pelletier,et al. 316 Notre Dame Journal of Formal Logic , 1982 .
[22] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..
[23] Andrew Haas,et al. Possible events, actual events, and robots , 1985 .
[24] Donald Perlis,et al. Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..
[25] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[26] Allen Newell,et al. SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..