next up previous
Next: About this document Up: CONCEPTS OF LOGICAL Previous: REMARKS

References

BM95
I. Bratko and S. Muggleton. Applications of inductive logic programming. Communications of the ACM, 38(11):65-70, 1995.

Buv95
Sasa Buvac. Sasa Buvac's Web page, 1995.

CM98a
T. Costello and J. McCarthy. Combining Narratives. In Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufman, 1998.

CM98b
T. Costello and J. McCarthy. Useful Counterfactuals and Approximate Theories. In AAAI Spring Symposium on Prospects for a Commonsense theory of Causation. AAAI Press, 1998. A longer version will not appear in Proc. National Conference on Artificial Intelligence (AAAI '98).

De90
D.S.Weld and J.de Kleer (eds.). Readings in Qualitative Reasoning about Physical Systems. Morgan-Kaufmann, 1990.

Den71
Daniel C. Dennett. Intentional systems. The Journal of Philosophy, 68(4):87-106, 1971.

Den78
Daniel Dennett. Brainstorms: Philosophical Essays on Mind and Psychology. Bradford Books/MIT Press, Cambridge, 1978.

DS77
Bruce; Davis, Randall; Buchanan and Edward Shortliffe. Production rules as a representation for a knowledge-based consultation program. Artificial Intelligence, 8(1), February 1977.

GLR91
Michael Gelfond, Vladimir Lifschitz, and Arkady Rabinov. What are the limitations of the situation calculus? In Robert Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 167-179. Kluwer Academic, Dordrecht, 1991.

Gre69a
C. Green. Applications of theorem proving to problem solving. In Proceedings IJCAI 69, pages 219-240, 1969.

Gre69b
Cordell Green. Theorem-proving by resolution as a basis for question-answering systems. In Bernard Meltzer, Donald Michie, and Michael Swann, editors, Machine Intelligence 4, pages 183-205. Edinburgh University Press, Edinburgh, Scotland, 1969.

Hay85
P. J. Hayes. The second naive physics manifesto. In Hobbs J.R. and Moore R.C., editors, Formal Theories of the Commonsense World, pages 1-36. Ablex, 1985.

HM86
S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics and frame problem. In Proceedings of AAAI-86, pages 328-333. Morgan Kaufmann, 1986.

Kui94
Benjamin Kuipers. Qualitative Reasoning. MIT Press, 1994.

LG90
Douglas B. Lenat and R. V. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley, 1990.

Lif94
Vladimir Lifschitz. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press, 1994.

LRL tex2html_wrap_inline366 97
Hector J. Levesque, Raymond Reiter, Ives Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.

MB98
John McCarthy and Sasa Buvac. Formalizing Context (Expanded Notes). In A. Aliseda, R.J. van Glabbeek, and D. Westerståhl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13-50. Center for the Study of Language and Information, Stanford University, 1998.

McC
John McCarthy. appearance and reality. web only for now. presented at AISB workshop on AI and scientific creativity, 1999 April.

McC59
John McCarthy. Programs with Common Sense. In Mechanisation of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory, pages 77-84, London, U.K., 1959. Her Majesty's Stationery Office. Reprinted in McC90.

McC64
John McCarthy. a tough nut for theorem provers. 1964. Stanford AI Memo 16--now on the web.

McC77
John McCarthy. Epistemological problems in artificial intelligence. In Proc. tex2html_wrap_inline223 International Conference on Artificial Intelligence, pages 1038-1044, 1977.

McC79
John McCarthy. Ascribing mental qualities to machines. In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press, 1979. Reprinted in [McC90].

McC80
John McCarthy. Circumscription--A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27-39, 1980. Reprinted in [McC90].

McC83
John McCarthy. Some Expert Systems Need Common Sense. In Heinz Pagels, editor, Computer Culture: The Scientific, Intellectual and Social Impact of the Computer, volume 426. Annals of the New York Academy of Sciences, 1983.

McC86
John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89-116, 1986. Reprinted in [McC90].

McC89
John McCarthy. Artificial Intelligence, Logic and Formalizing Common Sense. In Richmond Thomason, editor, Philosophical Logic and Artificial Intelligence. Klüver Academic, 1989.

McC90
John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 1990.

McC93
John McCarthy. Notes on Formalizing Context. In IJCAI-93, 1993.

McC95a
John McCarthy. Partial Formalizations and the Lemmings Game. Technical report, Stanford University, Formal Reasoning Group, 1995.

McC95b
John McCarthy. Situation Calculus with Concurrent Events and Narrative. 1995. Contents subject to change. Reference will remain.

McC96a
John McCarthy. Making Robots Conscious of their Mental States. In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996.

McC96b
John McCarthy. the mutilated checkerboard in set theory. 1996. presented at a 1996 conference in Warsaw.

McC97
John McCarthy. Elaboration Tolerance. In McCarthy's web page, 1997.

McC99a
John McCarthy. appearance and reality. web only for now, 1999.

McC99b
John McCarthy. logical theories with approximate concepts--draft. web only for now, 1999.

MH69
John McCarthy and Patrick J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, 1969.

Mil96
R. S. Miller. A case study in reasoning about actions and continuous change. In Proceedings ECAI 96, pages 624-628, 1996.

Mit97
Tom Mitchell. Machine Learning. McGraw-Hill, 1997.

MR94
S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994.

New82
A. Newell. The knowledge level. AI, 18(1):87-127, 1982.

New93
Allen Newell. Reflections on the knowledge level. Artificial Intelligence, 59(1-2):31-38, February 1993.

Nil84
N. J. Nilsson. Shakey the robot, sri technical note no. 323. Technical report, SRI International, Menlo Park, California, 1984.

PR93
J. Pinto and R. Reiter. Temporal reasoning in logic programming: A case for the situation calculus. In Proceedings of the Tenth International Conference on Logic Programming, pages 203-221, 1993.

Rei80
Raymond Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13 (1-2):81-132, 1980.

Rei96
R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings KR96, 1996.

RM94
R.S.Miller and M.P.Shanahan. Narratives in the situation calculus. Journal of Logic and Computation, 4(5):513-530, 1994.

Sha96
M. P. Shanahan. Robotics and the common sense informatic situation. In Proceedings ECAI 96, pages 684-688, 1996.

Sha97
Murray Shanahan. Solving the Frame Problem, a mathematical investigation of the common sense law of inertia. M.I.T. Press, 1997.

Sie98a
J. Sierra. Declarative formalization of heuristics. In Workshop on Validation and Verification of Knowledge Based Systems KBS V&V'98, 1998.

Sie98b
J. Sierra. Declarative formalization of strategies for action selection. In Seventh International Workshop on Nonmonotonic Reasoning, NM¹98, 1998.

Sie98c
J. Sierra. Declarative formalization of strips. In Thirteenth European Conference on Artificial Intelligence, ECAI-98, 1998.

Sie99
J. Sierra. Declarative formalization of heuristics (taking advice in the blocks world). In International Conference on Computational Intelligence for Modelling Control and Automation, 1999.

SL93
R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In Proceedings AAAI 93, pages 689-695, 1993.

/@steam.stanford.edu:/u/jmc/w96/concepts.tex: begun 1996 Jan 16, latexed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0


John McCarthy
Sun May 30 15:33:11 PDT 1999