Theory and Practice of Logic Programming

Papers
(The TQCC of Theory and Practice of Logic Programming is 2. 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 2021-12-01 to 2025-12-01.)
ArticleCitations
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation27
An ASP-based Approach to Answering Natural Language Questions for Texts23
The Stable Model Semantics of Datalog with Metric Temporal Operators17
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies15
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases14
Conflict-Driven Inductive Logic Programming14
Aggregate Semantics for Propositional Answer Set Programs12
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
Smart Expansion Techniques for ASP-Based Interactive Configuration9
How to Build Your Own ASP-based System?!9
Winning Snake: Design Choices in Multi-Shot ASP9
A CASP-Based Solution for Traffic Signal Optimisation9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning9
An ASP Framework for the Refinement of Authorization and Obligation Policies8
Introduction to the 38th International Conference on Logic Programming Special Issue II8
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables7
Interactive Model Expansion in an Observable Environment7
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory6
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations5
Introduction to the 39th International Conference on Logic Programming Special Issue5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework5
Optimal Matching for Sharing and Linearity Analysis5
Implementing Backjumping by Means of Exception Handling5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs5
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II4
“What if?” in Probabilistic Logic Programming4
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data3
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL3
Making ProB Compatible with SWI-Prolog3
Practical Reasoning in DatalogMTL3
Answer Set Planning: A Survey3
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic3
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs3
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 20193
The Semantics of Metaprogramming in Prolog3
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications2
On the Equivalence between Logic Programming and SETAF2
Compositional Verification in Rewriting Logic2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP2
Fifty Years of Prolog and Beyond2
Unifying Framework for Optimizations in Non-Boolean Formalisms2
Toward A Logical Theory Of Fairness and Bias2
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems2
Declarative Approaches to Counterfactual Explanations for Classification2
Selected Papers from Datalog 2.0 20222
On Establishing Robust Consistency in Answer Set Programs2
0.35455298423767