HiLog: A foundation for higher-order logic programming

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

Logical foundations of object-oriented and frame-based languages

Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text

Computing, Computer Science, Logic +14

Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks

Fernando C. N. Pereira, David H. Warren · Artificial Intelligence · 1980 · 985 citations

Language Studies, Computer Science, Linguistics +11