Artificial Intelligence, Logic And Formalizing Common Sense (1990)

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

Documents Related by Co-Citation

488 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
348 Notes On Formalizing Context – John McCarthy - 1993
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
688 CYC: A Large-Scale Investment in Knowledge Infrastructure – Douglas Lenat - 1995
1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
332 Programs with Common Sense – John McCarthy - 1968
32 Activity Recognition from Video Sequences using Declarative Models – NathanaĂ«l A. Rota, Monique Thonnat - 2002
100 Ascribing mental qualities to machines – John Mccarthy - 1979
101 Propositional Logic of Context – Sasa Buvac , Ian A. Mason - 1993
731 Computing machinery and intelligence – A Turing - 1950
23 Some Expert Systems Need Common Sense – John Mccarthy - 1984
25 Towards an Architecture for Cognitive Vision using Qualitative Spario-Temporal Representations and Abduction – A G Cohn, D R Magee, A Galata, D C Hogg, S M Hazarika - 2002
112 Generality In Artificial Intelligence – John McCarthy - 1987
33 Non-Axiomatic Reasoning System -- Exploring the Essence of Intelligence – Pei Wang - 1995
30 Rigid Flexibility: The Logic of Intelligence – P Wang - 2006
10 Combining Narratives – John McCarthy, Tom Costello - 1998
57 Formalizing Common Sense: Papers by – J McCarthy - 1990
20 Situation Calculus With Concurrent Events And Narrative – John McCarthy - 2000
70 First Order Theories Of Individual Concepts And Propositions – John McCarthy - 1995