Artificial intelligence meets natural stupidity

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

Semantic Information Processing

1968 • 2,198 citations

What Computers Still Can't Do: A Critique of Artificial Reason

1994 • 1,625 citations

Representation and Understanding: Studies in Cognitive Science

1975 • 1,196 citations

Computer power and human reason

1976 • 1,065 citations

WHAT'S IN A LINK

1975 • 805 citations

NETL: A System for Representing and Using Real-World Knowledge

1979 • 540 citations

GPS : a case study in generality and problem solving

1969 • 520 citations

Procedures as a representation for data in a computer program for understanding natural language

1971 • 510 citations

The teachable language comprehender

1969 • 489 citations

A Computer Model of Skill Acquisition

1975 • 468 citations

FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY

1975 • 441 citations

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

1972 • 311 citations

Toward A Model Of Children''s Story Comprehension

1972 • 216 citations

How can Merlin understand

1973 • 120 citations

From PLANNER to CONNIVER

1972 • 118 citations

Artificial intelligence: a paper symposium

1974 • 76 citations

Some problems of basic organization in problem-solving programs

1962 • 57 citations

Understanding simple picture programs

1974 • 46 citations

Assimilation of New Information by a Natural Language Understanding System

1974 • 42 citations

The representation of concepts in OWL

1975 • 23 citations

SYSTEMATIC UNDERSTANDING

1975 • 17 citations

A relaxation approach to splitting in an automatic theorem prover

1975 • 13 citations

Thesis progress report : a system for representing and using real-world knowledge

1975 • 5 citations

Programming a dialogue teaching situation

1975 • 4 citations

Advice on the Fast-paced World of Electronics

1974 • 3 citations