John McCarthy
1960–1995
A researcher in the Science corpus: 8 papers; trusts 3 researchers and is trusted by 161 researchers here, as inferred from the citation graph.
Whom John McCarthy trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts John McCarthy overall
- Vaishak Belle
- Murray Shanahan
- Mohammad Javad Hosseini
- Erik T. Mueller
- Raymond Reiter
- Hector Geffner
- Hector J. Levesque
- Adnan Darwiche
- Daniel Jackson
- Jude W. Shavlik
Papers from John McCarthy's perspective
Ordered by how strongly the researchers John McCarthy trusts endorse each paper. Same corpus, a different order for every researcher.
- Computing Machinery and Intelligence
- Human Problem Solving.
- Report on a general problem-solving program
- Programming a computer for playing chess
- Circumscription: a form of non-monotonic reasoning
- Situations, Actions, and Causal Laws
- Steps toward Artificial Intelligence
- Applications of Circumscription to Formalizing Common Sense Knowledge
- Realization of a geometry theorem proving machine
- Computer science as empirical inquiry: symbols and search
Their papers
- Circumscription: a form of non-monotonic reasoning (1995)
- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE (1987)
- Generality in artificial intelligence (1987)
- Applications of Circumscription to Formalizing Common Sense Knowledge (1987)
- Circumscription - A Form of Non-Monotonic Reasoning (1980)
- Circumscription|a Form of Nonmonotonic Reasoning (1979)
- Situations, Actions, and Causal Laws (1963)
- Programs with common sense (1960)