|
Abadi M and Manna Z, 1986. “Modal theorem proving” CADE-8, 172–189.
Google Scholar
|
|
Barwise J and Perry J, 1983. Situations and attitudes, Cambridge, Massachusetts: Bradford Books [In this book Barwise and Perry introduce a new approach of the study of the semantics of natural language, called situation semantics. Levesque uses similar ideas in his logic of implicit and explicit belief]
Google Scholar
|
|
Boolos G and Jeffrey R, 1974. Computability and logic, Cambridge: Cambridge University Press [One of the standard introduction to logic. This book is very much written with the theory of computation in mind]
Google Scholar
|
|
Chellas B, 1980. Modal logic, Cambridge: Cambridge University Press [A good introduction to modal logic, restricted however to prepositional modal logic]
Google Scholar
|
|
Fagin R and Halpern R, 1985. “Belief, awareness, and limited reasoning: Preliminary report” IJCAI-85, 491–501
Google Scholar
|
|
Geissler Ch and Konolige K, 1986. “A resolution method for quantified modal logics of knowledge and belief” In: Halpern, ed (1986)
Google Scholar
|
|
Halpern J, ed, 1986. Theoretical aspects of reasoning about knowledge,New York:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]
Google Scholar
|
|
Halpern J and Moses Y, 1985. “A guide to the modal logics of knowledge and belief: Preliminary draft” IJCAI-9, 480–490 [A short introduction to epistemic logic, restricted to the propositional case]
Google Scholar
|
|
Hayes P, 1977. “In defence of logic” IJCAI-5, 559–565
Google Scholar
|
|
Hayes P, 1985. “The second naive physic manifesto” In: Hobbs and Moore, eds (1985)
Google Scholar
|
|
Hintikka J, 1962. Knowledge and belief, New York: Cornell University Press
Google Scholar
|
|
Hintikka J, 1969. “Semantics for prepositional attitudes” In: Davis J, eds, Philosphical Logic, Dordrecht: Reidel
Google Scholar
|
|
Hobbs J and Moore R, eds, 1985. Formal theories of the common sense world, Norwood, New Jersey: Ablex
Google Scholar
|
|
Hughes G and Cresswell M, 1968. An introduction to modal logics, London: Methuen [Probably still the best introduction to modal logic]
Google Scholar
|
|
Jackson P and Reichgelt H, 1988. “A modal proof method for doxastic reasoning in incomplete theories” ECA1–88, 480–484
Google Scholar
|
|
Jackson P and Reichgelt H, 1989a. “A general proof method for arbitrary modal predicate logic” In: Jackson PReichgelt H, and Harmelen F van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT Press
Google Scholar
|
|
Jackson P and Reichgelt H, 1989b. “A modal proof method of doxastic reasoning” In: Jackson P, Reichgelt H and Harmelen F, van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT Press
Google Scholar
|
|
Jian Y, 1987. “A clausal form of belief. A logic programming model” 9th International Conference of the Cognitive Science Society, 301–314
Google Scholar
|
|
Konolige K, 1986a. A deduction model of belief, London: Pitman [Based on Konolige's thesis, this book discusses both Konolige's modal epistemic theorem prover, as well as his deduction model of belief]
Google Scholar
|
|
Konolige K, 1986b. “Resolution and quantified epistemic logic” CADE-8, 199–208
Google Scholar
|
|
Konolige K, 1988a, “Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary Report” SRI Technical Note 446
Google Scholar
|
|
Konolige K, 1988b. “On the relation between default and autoepistemic logic” Artificial Intelligence, 35, 343–382.
Google Scholar
|
|
Kripke S, 1963. “Semantic considerations on modal logic” Acta Philosophica Fennica, 16, 83–94
Google Scholar
|
|
Kripke S, 1972. “Naming and necessity” In: Davidson D and Harmon G, eds, Semantic of natural language, 2nd ed, Dordrecht: Reidel
Google Scholar
|
|
Lakemeyer G, 1986. “Steps towards a first-order logic of explicit belief” In: Halpern, ed
Google Scholar
|
|
Levesque H, 1984. “A logic of implicit and explicit belief” AAAI-84, 198–202
Google Scholar
|
|
Levesque H and Brachman R, 1985. “A fundamental tradeoff in knowledge representation and reasoning (revised version)” In: Brachman R and Levesque H, eds, Readings in knowledge representation, Los Altos, California: Morgan Kaufmann
Google Scholar
|
|
Mates B, 1972. Elementary logic (2nd ed), Oxford: Oxford University Press [A good introduction to first-order logic]
Google Scholar
|
|
Marek W and Truszczyński M, 1989. “Relating autoepistemic and default logics” In: Brachman R, Levesque H and Reiter R, eds, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning,San Mateo, CA:Morgan Kaufmann
Google Scholar
|
|
McArthur G, 1988. “Reasoning about knowledge and belief: A survey” Computational Intelligence, 4, 223–243 [An alternative review of much of the material discussed in this paper]
Google Scholar
|
|
McCarthy J, 1979. “First order theories of individual concepts and propositions” Machine Inteligence, 9, 129–147
Google Scholar
|
|
Mendelson E, 1987. Introduction to mathematical logic (3rd), Wadsworth, California: [Another worthwhile introduction to logic]
Google Scholar
|
|
Moore R, 1984. “The role of logic in Artificial Intelligence” SRI Tech Report 335
Google Scholar
|
|
Moore R, 1985a. “A formal theory of knowledge and action” In: Hoggs and Moore, eds [Moore's reified epistemic logic]
Google Scholar
|
|
Moore R, 1985b. “Semantical considerations on non-monotonic logic” Artificial Intelligence, 25, 75–94 [In this paper Moore introduces his autoepistemic logic]
Google Scholar
|
|
Moore R, 1988. “Autoepistemic logic” In: Smets Ph, Mamdani A, Dubois D and Prade H, eds, Non-standard logics for automated reasoning, London: Academic Press [A further introduction to Moore's autoepistemic logic. The book also contains three comments with a reply by Moore]
Google Scholar
|
|
Moore R and Hendrix G, 1979. “Computational models of belief and the semantics of belief sentences” SRI Technical Note 187
Google Scholar
|
|
Nilsson N, 1982. Principles of artificial intelligence, Berlin: Springer [A very good introduction to automated theorem provers]
Google Scholar
|
|
Rapaport W, 1986. Logical foundations for belief representation” Cognitive Science, 10, 371–442
Google Scholar
|
|
Robinson J, 1979. Logic: form and function. The mechanization of deductive reasoning, Edinburgh University press [A general introduction to logic, and the theory underlying the central concepts in automated theorem proving such as unification and resolution]
Google Scholar
|
|
Stickel M, 1987. “An introduction to automated deduction” In: Bibel W and Jorrand Ph, eds, Fundamentals of artificial intelligence: An advanced course, Berlin: Springer-Verlag
Google Scholar
|
|
Vardi M, ed, 1988. Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge.Los Altos, California:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]
Google Scholar
|
|
Wallen L, 1986. “Matrix proof methods for modal logics” IJCAI-10, 917–923.
Google Scholar
|
