Theory and Practice of Logic Programming

Papers
(The median citation count of Theory and Practice of Logic Programming is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-06-01 to 2026-06-01.)
ArticleCitations
The Stable Model Semantics of Datalog with Metric Temporal Operators18
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation17
Towards Industrial-Scale Product Configuration17
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning10
Smart Expansion Techniques for ASP-Based Interactive Configuration10
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases10
A CASP-Based Solution for Traffic Signal Optimisation10
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)9
Winning Snake: Design Choices in Multi-Shot ASP9
Introduction to the 38th International Conference on Logic Programming Special Issue II8
An ASP Framework for the Refinement of Authorization and Obligation Policies8
Interactive Model Expansion in an Observable Environment7
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables6
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory6
Introduction to the 39th International Conference on Logic Programming Special Issue6
Implementing Backjumping by Means of Exception Handling5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs5
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations5
Optimal Matching for Sharing and Linearity Analysis5
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties4
“What if?” in Probabilistic Logic Programming4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II4
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL4
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels4
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data3
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems3
Practical Reasoning in DatalogMTL3
Making ProB Compatible with SWI-Prolog3
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming3
Unifying Framework for Optimizations in Non-Boolean Formalisms3
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs3
The Semantics of Metaprogramming in Prolog3
Selected Papers from Datalog 2.0 20223
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP3
Impact and Performance of Randomized Test Generation Using Prolog2
Compositional Verification in Rewriting Logic2
On Establishing Robust Consistency in Answer Set Programs2
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)2
Plingo: A System for Probabilistic Reasoning in Answer Set Programming2
On Systematic Construction of Correct Logic Programs2
Epistemic Logic Programs: A Study of Some Properties2
Knowledge Authoring for Rules and Actions2
On the Equivalence between Logic Programming and SETAF2
Toward A Logical Theory Of Fairness and Bias2
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’122
Property-Based Testing by Elaborating Proof Outlines2
Integrating Belief Domains into Probabilistic Logic Programs2
Solving Decision Theory Problems with Probabilistic Answer Set Programming2
Model Explanation via Support Graphs2
Inductive Learning for Possibilistic Logic Programs Under Stable Models2
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs2
The Power of Negation in Higher-Order Datalog2
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP2
CNL2ASP: Converting Controlled Natural Language Sentences into ASP2
Provenance Guided Rollback Suggestions1
Building Information Modeling Using Constraint Logic Programming1
Abstract Environment Trimming1
On Lower Bounding Minimal Model Count1
Quantifying over Optimum Answer Sets1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability1
Efficient Knowledge Compilation Beyond Weighted Model Counting1
Argumentative Characterizations of (Extended) Disjunctive Logic Programs1
The Temporal Vadalog System: Temporal Datalog-Based Reasoning1
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs1
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP1
ASP-FZN: A Translation-Based Constraint Answer Set Solver1
The Stable Model Semantics for Higher-Order Logic Programming1
$\{log\}$ : From a Constraint Logic Programming Language to a Formal Verification Tool1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping1
Non-Termination of Logic Programs Using Patterns1
Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems1
Reasoning About Study Regulations in Answer Set Programming1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction1
Dominating Set Reconfiguration with Answer Set Programming1
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming1
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses1
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming1
Integrating Logic Rules with Everything Else, Seamlessly1
Strong Equivalence of Logic Programs with Counting1
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling1
0.62631583213806