The many uses of ‘belief’ in AI
暂无分享,去创建一个
[1] Donald Perlis,et al. Languages With Self-Reference I: Foundations , 1985, Artif. Intell..
[2] J. Dekleer. An assumption-based TMS , 1986 .
[3] Gerhard Lakemeyer. Tractable Meta-Reasoning in Propositional Logics of Belief , 1987, IJCAI.
[4] N. Cocchiarella,et al. Situations and Attitudes. , 1986 .
[5] Franz Oppacher,et al. HARP: A tableau-based theorem prover , 1988, Journal of Automated Reasoning.
[6] Peter C. Cheeseman,et al. An inquiry into computer understanding , 1988, Comput. Intell..
[7] P. T. Geach,et al. KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .
[8] William J. Rapaport,et al. Logical Foundations for Belief Representation , 1986 .
[9] Gregory L. McArthur,et al. Reasoning about knowledge and belief: a survey , 1988, Comput. Intell..
[10] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[11] J. Jastrow. The Mind's Eye. , 1899 .
[12] Yorick Wilks,et al. Multiple Agents and the Heuristic Ascription of Belief , 1987, IJCAI.
[13] John A. Barnden. Intensions as Such: An Outline , 1983, IJCAI.
[14] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[15] William P. Alston,et al. Knowledge and the Flow of Information , 1985 .
[16] Ronald J. Brachman,et al. What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..
[17] G. Frege. On Sense and Reference , 1948 .
[18] Andrew Haas,et al. Possible events, actual events, and robots , 1985 .
[19] John R. Searle,et al. Minds, brains, and programs , 1980, Behavioral and Brain Sciences.
[20] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[21] Charles F. Hockett,et al. A mathematical theory of communication , 1948, MOCO.
[22] Hector J. Levesque. Making Believers out of Computers , 1989 .
[23] Moshe Y. Vardi,et al. On Epistemic Logic and Logical Omniscience. , 1988 .
[24] Robert F. Hadley. A default-oriented theory of procedural semantics , 1989 .
[25] Alonzo Church,et al. Intensional isomorphism and identity of belief , 1954 .
[26] David J. Israel,et al. Structured Meanings: The Semantics of Propositional Attitudes. , 1987 .
[27] Jerry R. Hobbs,et al. Making Computational Sense of Montague's Intensional Logic , 1977, Artif. Intell..
[28] H. Levesque. Logic and the complexity of reasoning , 1988 .
[29] Andrew R. Haas,et al. A Syntactic Theory of Belief and Action , 1986, Artif. Intell..
[30] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[31] Stuart C. Shapiro,et al. Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..
[32] Robert F. Hadley. Logical omniscience, semantics, and models of belief , 1988, Comput. Intell..