Generating tailored definitions using a multifaceted user model

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

An overview of the KL-ONE Knowledge Representation System

R. J. Brachman, James G. Schmolze · Cognitive Science · 1985 · 1.6K citations

Computing, Computer Science, Artificial Intelligence +11

Computational linguistics in 1990

Hans Karlgren · 1990 · 1.2K citations · Full text

Computing, Computer Science, Linguistics +6

An Overview of the KL‐ONE Knowledge Representation System*

Ronald J. Brachman, James G. Schmolze · Cognitive Science · 1985 · 977 citations · Full text

Computing, Computer Science, Artificial Intelligence +12

User Modeling via Stereotypes*

Elaine Rich · Cognitive Science · 1979 · 930 citations · Full text

Social Sciences, Computer Science, Social Psychology +11