McCarthy, John

Circumscription—A form of non-monotonic reasoning

McCarthy, J. (1980) · Artificial Intelligence

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 2,017

From here to human-level AI

McCarthy, J. (2007) · Artificial Intelligence

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 396

Generality in artificial intelligence

McCarthy, J. (1987) · Communications of the ACM

AI-based Problem Solving and PlanningLogic, Reasoning, and Knowledge

Cited by 391

Generality in artificial intelligence

McCarthy, J. (2007) · ACM Turing award lectures

AI-based Problem Solving and PlanningArtificial Intelligence Applications

Cited by 107

Computer Power and Human Reason: From Judgment to Calculation

Weizenbaum, J., & McCarthy, J. (1977) · Physics Today

Artificial Intelligence ApplicationsHistory of Computing Technologies

Cited by 62