Theory and Practice of Logic Programming

Papers
(The TQCC of Theory and Practice of Logic Programming is 3. 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-05-01 to 2025-05-01.)
ArticleCitations
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies27
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases23
The Stable Model Semantics of Datalog with Metric Temporal Operators20
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation16
An ASP-based Approach to Answering Natural Language Questions for Texts10
Conflict-Driven Inductive Logic Programming10
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem9
Aggregate Semantics for Propositional Answer Set Programs9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning8
How to Build Your Own ASP-based System?!8
Winning Snake: Design Choices in Multi-Shot ASP8
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory7
An ASP Framework for the Refinement of Authorization and Obligation Policies7
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints7
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs7
Introduction to the 38th International Conference on Logic Programming Special Issue II7
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables6
Operating Room (Re)Scheduling with Bed Management via ASP6
Introduction to the 39th International Conference on Logic Programming Special Issue6
Implementing Backjumping by Means of Exception Handling6
Interactive Model Expansion in an Observable Environment6
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations6
Modal Logic S5 Satisfiability in Answer Set Programming5
Optimal Matching for Sharing and Linearity Analysis5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework5
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming5
Learning Distributional Programs for Relational Autocompletion5
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II4
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches4
“What if?” in Probabilistic Logic Programming4
VeriFly: On-the-fly Assertion Checking via Incrementality4
Analysis and Transformation of Constrained Horn Clauses for Program Verification4
On Correctness and Completeness of annQueens Program4
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic3
The Semantics of Metaprogramming in Prolog3
Practical Reasoning in DatalogMTL3
Unifying Framework for Optimizations in Non-Boolean Formalisms3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems3
Temporal Minimal-World Query Answering over Sparse ABoxes3
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 20193
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications3
Fifty Years of Prolog and Beyond3
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP3
Making ProB Compatible with SWI-Prolog3
Answer Set Planning: A Survey3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data3
Declarative Approaches to Counterfactual Explanations for Classification3
Compositional Verification in Rewriting Logic3
0.095263004302979