Natural language syntax and first-order inference

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

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations

Language Studies, Mathematics, Syntax +3

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

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka · Artificial Intelligence · 1991 · 964 citations

Language Studies, Linguistics, Semantics +10

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

Computing, Computer Science, Decision Theory +16