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-02-01 to 2025-02-01.)
ArticleCitations
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 201924
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies20
FOLASP: FO(·) as Input Language for Answer Set Solvers16
Making ProB Compatible with SWI-Prolog13
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic12
Introduction to the 38th International Conference on Logic Programming Special Issue10
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP9
On Signings and the Well-Founded Semantics9
ValAsp: A Tool for Data Validation in Answer Set Programming8
Integrating Cardinality Constraints into Constraint Logic Programming with Sets8
Epistemic Logic Programs: A Study of Some Properties7
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming7
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures6
Solution Enumeration by Optimality in Answer Set Programming6
The Stable Model Semantics of Datalog with Metric Temporal Operators6
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases6
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach5
An ASP-based Approach to Answering Natural Language Questions for Texts5
Conflict-Driven Inductive Logic Programming5
A Neuro-Symbolic ASP Pipeline for Visual Question Answering5
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)5
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data5
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels5
CNL2ASP: Converting Controlled Natural Language Sentences into ASP5
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective5
Plingo: A System for Probabilistic Reasoning in Answer Set Programming5
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP4
On Program Completion, with an Application to the Sum and Product Puzzle4
Property-Based Testing by Elaborating Proof Outlines4
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation4
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem4
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming4
The Semantics of Metaprogramming in Prolog4
Temporal Minimal-World Query Answering over Sparse ABoxes4
Aggregate Semantics for Propositional Answer Set Programs3
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming3
Building Information Modeling Using Constraint Logic Programming3
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems3
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs3
Multi-Shot Answer Set Programming for Flexible Payroll Management3
Winning Snake: Design Choices in Multi-Shot ASP3
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates3
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning3
Reactive Answer Set Programming3
Exploring the Jungle of Intuitionistic Temporal Logics3
Solving Decision Theory Problems with Probabilistic Answer Set Programming3
0.19807505607605