Logic Programming Publications

Publications in Logic Programming

Explore the most influential research papers and scholarly works that have shaped Logic Programming. Use the concept filter below to focus on a specific sub-area of research.

Logic Programming

4.1K

Publications

237.1K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Phan Minh Dũng Artificial Intelligence Non-classical LogicEngineeringReasoning SystemArgumentationAutomated Reasoning	1995	4.2K
A Machine-Oriented Logic Based on the Resolution Principle John A. Robinson Journal of the ACM Applied LogicComputational LogicEngineeringData ScienceAutomated Reasoning	1965	3.9K
An axiomatic basis for computer programming C. A. R. Hoare Communications of the ACM Computer ProgramsProgramming Language TheoryDeclarative ProgrammingEngineeringComputer Programming	1969	3.8K
Classical negation in logic programs and disjunctive databases Michael Gelfond, Vladimir Lifschitz New Generation Computing Non-classical LogicEngineeringAutomated ReasoningNonmonotonic LogicFormal Methods	1991	2.3K
Separation logic: a logic for shared mutable data structures John Reynolds EngineeringStructured DataComputer ArchitectureWell-founded SemanticsMutable Data Structures	2003	2.1K
The well-founded semantics for general logic programs Allen Van Gelder, Kenneth A. Ross, John S. Schlipf Journal of the ACM Applied LogicEngineeringData ScienceAutomated ReasoningGeneral Logic Programs	1991	1.7K
Constraint logic programming Joxan Jaffar, J.-L. Lassez Mathematical ProgrammingEngineeringClp SystemsWell-founded SemanticsSemantics	1987	1.6K
An axiomatic basis for computer programming C. A. R. Hoare Communications of the ACM Computer ProgramsProgramming Language TheoryDeclarative ProgrammingEngineeringComputer Programming	1983	1.5K
The Semantics of Predicate Logic as a Programming Language M. H. van Emden, Robert Kowalski Journal of the ACM Declarative ProgrammingEngineeringOperational SemanticsAutomated ReasoningFirst-order Predicate Logic	1976	1.5K
Logical foundations of object-oriented and frame-based languages Michael Kifer, Georg Lausen, James C. Wu Journal of the ACM Declarative ProgrammingEngineeringOperational SemanticsLogical FoundationsAutomated Reasoning	1995	1.4K
Alternating-time temporal logic Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Journal of the ACM Computational LogicNon-classical LogicAlternating-time Temporal LogicEngineeringUniversal Quantification	2002	1.4K

Page 1