Metamathematics of Contexts
暂无分享,去创建一个
[1] Vanja Buvac. Decidability of Contextual Reasoning , 1994, AAAI.
[2] R. Guha. Contexts: a formalization and some applications , 1992 .
[3] Fausto Giunchiglia,et al. Mulitlanguage First Order Theories of Propositional Attitudes , 1991, SCAI.
[4] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[5] Maria Simi,et al. A Formalization of Viewpoints , 1995, Fundam. Informaticae.
[6] Ian A. Mason,et al. Propositional Logic of Context , 1993, AAAI.
[7] M. R. Genesereth,et al. Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.
[8] Barbara J. Grosz,et al. The Representation and Use of Focus in a System for Understanding Dialogs , 1977, IJCAI.
[9] Richard W. Weyhrauch,et al. Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..
[10] Ramanathan V. Guha,et al. CYC: A Midterm Report , 1990, AI Mag..
[11] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[12] D. A. Bochvar. Two Papers on Partial Predicate Calculus , 1972 .
[13] Yoav Shoham,et al. Varieties of Context , 1991, Artificial and Mathematical Theory of Computation.
[14] John McCarthy,et al. Generality in artificial intelligence , 1987, Resonance.
[15] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[16] Ian A. Mason,et al. The Semantics of Propositional Contexts , 1994, ISMIS.