Propositional Logic of Context
暂无分享,去创建一个
[1] Ramanathan V. Guha,et al. CYC: A Midterm Report , 1990, AI Mag..
[2] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[3] R. Guha. Contexts: a formalization and some applications , 1992 .
[4] D. A. Bochvar. Two Papers on Partial Predicate Calculus , 1972 .
[5] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[6] Vladimir Lifschitz,et al. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .
[7] Yoav Shoham,et al. Varieties of Context , 1991, Artificial and Mathematical Theory of Computation.
[8] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[9] Barbara J. Grosz,et al. The Representation and Use of Focus in a System for Understanding Dialogs , 1977, IJCAI.
[10] M. R. Genesereth,et al. Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.
[11] John McCarthy,et al. Generality in artificial intelligence , 1987, Resonance.
[12] Ramanathan V. Guha,et al. o CYC : A MID-TERM , 2007 .
[13] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..