(ML)2: A formal language for KADS models of expertise

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

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7

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

KADS: a modelling approach to knowledge engineering

Bob Wielinga, A.T. Schreiber, Joost Breuker · Knowledge Acquisition · 1992 · 604 citations

Management, Information Systems, Knowledge Management +10

Reflection and semantics in LISP

Brian Cantwell Smith · 1984 · 446 citations

Language Studies, Computer Science, Programming Languages +7