Weak Generalized Closed World Assumption

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

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 1982 · 588 citations · Full text

Computing, Computer Science, Artificial Intelligence +7

On Indefinite Data Bases and the Closed World Assumption

Jack Minker · Medical Entomology and Zoology · 1982 · 401 citations

Computing, Computer Science, Knowledge Representation +2

Introduction to Logic Programming

Krzysztof R. Apt · Data Archiving and Networked Services (DANS) · 1988 · 261 citations

Humanities, Computer Science, Mathematics +12

Linear resolution with selection function

Robert Kowalski, D. Brian Kuehner · Artificial Intelligence · 1971 · 256 citations

Natural Sciences, Computer Science, Mathematics +2