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 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. 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