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 2021-04-01 to 2025-04-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 Ontologies23
Making ProB Compatible with SWI-Prolog20
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic16
On Signings and the Well-Founded Semantics10
Introduction to the 38th International Conference on Logic Programming Special Issue10
Integrating Cardinality Constraints into Constraint Logic Programming with Sets9
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP9
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming8
ValAsp: A Tool for Data Validation in Answer Set Programming8
Epistemic Logic Programs: A Study of Some Properties8
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP7
The Stable Model Semantics of Datalog with Metric Temporal Operators7
Property-Based Testing by Elaborating Proof Outlines7
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation7
FOLASP: FO(·) as Input Language for Answer Set Solvers7
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming6
The Semantics of Metaprogramming in Prolog6
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures5
An ASP-based Approach to Answering Natural Language Questions for Texts5
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)5
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective5
Solution Enumeration by Optimality in Answer Set Programming5
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases5
CNL2ASP: Converting Controlled Natural Language Sentences into ASP5
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning4
Plingo: A System for Probabilistic Reasoning in Answer Set Programming4
Conflict-Driven Inductive Logic Programming4
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach4
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data4
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems4
A Neuro-Symbolic ASP Pipeline for Visual Question Answering4
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels4
Building Information Modeling Using Constraint Logic Programming3
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs3
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming3
Winning Snake: Design Choices in Multi-Shot ASP3
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates3
Temporal Minimal-World Query Answering over Sparse ABoxes3
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem3
Exploring the Jungle of Intuitionistic Temporal Logics3
Reactive Answer Set Programming3
Aggregate Semantics for Propositional Answer Set Programs3
On Program Completion, with an Application to the Sum and Product Puzzle3
Multi-Shot Answer Set Programming for Flexible Payroll Management3
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics3
Fifty Years of Prolog and Beyond3
Practical Reasoning in DatalogMTL2
Optimizing Probabilities in Probabilistic Logic Programs2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP2
Declarative Approaches to Counterfactual Explanations for Classification2
Solving Decision Theory Problems with Probabilistic Answer Set Programming2
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling2
Introduction to the 38th International Conference on Logic Programming Special Issue II2
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation2
Strong Equivalence of Logic Programs with Counting2
How to Build Your Own ASP-based System?!2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications2
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings2
Selected Papers from Datalog 2.0 20222
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork2
Unifying Framework for Optimizations in Non-Boolean Formalisms2
Direct Encoding of Declare Constraints in ASP2
Clingraph: A System for ASP-based Visualization1
Transformation-Enabled Precondition Inference1
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains1
Compositional Verification in Rewriting Logic1
An ASP Framework for the Refinement of Authorization and Obligation Policies1
Parallel Logic Programming: A Sequel1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
Knowledge-Based Stable Roommates Problem: A Real-World Application1
Toward A Logical Theory Of Fairness and Bias1
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions1
Tau Prolog: A Prolog Interpreter for the Web1
A Survey of the Proof-Theoretic Foundations of Logic Programming1
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints1
On the Configuration of More and Less Expressive Logic Programs1
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)1
Reasoning About Study Regulations in Answer Set Programming1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping1
Symbolic Parameter Learning in Probabilistic Answer Set Programming1
Human Conditional Reasoning in Answer Set Programming1
An Efficient Solver for ASP(Q)1
Here and There with Arithmetic1
Efficient Knowledge Compilation Beyond Weighted Model Counting1
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach1
On the Equivalence between Logic Programming and SETAF1
Planning with Incomplete Information in Quantified Answer Set Programming1
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP1
Introduction to the 39th International Conference on Logic Programming Special Issue1
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games1
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis1
0.051517009735107