The Journal of Logic Programming · 1986 · 216 citations · 6 references
ComputingComputer ScienceMathematicsFormal MethodsTheory Of ComputationAutomated ReasoningDeductive ReasoningFixed Point TheoryPredicate LogicProof AssistantsTheorem ProvingFixed-point ComputationFixed-point LogicFixed-point LogicsFixed-point SemanticsFixpoint Computation
6
L. A. Zadeh · Information and Control · 1965 · 66.1K citations
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
Principles of artificial intelligence
John J. McDermott · Artificial Intelligence · 1980 · 820 citations