Artificial Intelligence, Logic And Formalizing Common Sense (1990)

by John McCarthy
Venue:Philosophical Logic and Artificial Intelligence
Citations:24 - 5 self

Active Bibliography

10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
6 Logic and artificial intelligence – Richmond H. Thomason
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
2 Reasoning about action: An argumentation-theoretic approach – Quoc Bao Vo, Norman Y. Foo - 2005
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
18 Systems that detect and repair their own mistakes – Khemdut Purang - 2001
1 An Epistemological Science of Common Sense – Istituto Trentino Di Cultura, Fausto Giunchiglia, Fausto Giunchiglia - 1996
5 Non-monotonic Reasoning vs. Logic Programming: A New Perspective – Teodor C. Przymusinski - 1987
11 Reasons as defaults – John F. Horty - 2010
13 Computational Logic and Human Thinking: How to be Artificially Intelligent – Robert Kowalski - 2011
3 Reasoning about Persistence: A Unified Principle for State Change – Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig - 1994
145 Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions – Lenhart K. Schubert - 1990