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-03-01 to 2025-03-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 Logic10
Introduction to the 38th International Conference on Logic Programming Special Issue9
On Signings and the Well-Founded Semantics9
Integrating Cardinality Constraints into Constraint Logic Programming with Sets8
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP8
Epistemic Logic Programs: A Study of Some Properties7
ValAsp: A Tool for Data Validation in Answer Set Programming7
Property-Based Testing by Elaborating Proof Outlines6
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming6
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels6
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 Bases5
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)5
The Semantics of Metaprogramming in Prolog5
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures5
CNL2ASP: Converting Controlled Natural Language Sentences into ASP5
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP5
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming5
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach5
Solution Enumeration by Optimality in Answer Set Programming5
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation5
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective4
Conflict-Driven Inductive Logic Programming4
Plingo: A System for Probabilistic Reasoning in Answer Set Programming4
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
An ASP-based Approach to Answering Natural Language Questions for Texts4
A Neuro-Symbolic ASP Pipeline for Visual Question Answering4
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning4
On Program Completion, with an Application to the Sum and Product Puzzle3
How to Build Your Own ASP-based System?!3
Aggregate Semantics for Propositional Answer Set Programs3
Reactive Answer Set Programming3
Exploring the Jungle of Intuitionistic Temporal Logics3
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs3
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem3
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics3
Building Information Modeling Using Constraint Logic Programming3
Temporal Minimal-World Query Answering over Sparse ABoxes3
Multi-Shot Answer Set Programming for Flexible Payroll Management3
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming3
Winning Snake: Design Choices in Multi-Shot ASP3
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP2
Introduction to the 38th International Conference on Logic Programming Special Issue II2
Optimizing Probabilities in Probabilistic Logic Programs2
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings2
Direct Encoding of Declare Constraints in ASP2
Practical Reasoning in DatalogMTL2
Unifying Framework for Optimizations in Non-Boolean Formalisms2
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation2
Fifty Years of Prolog and Beyond2
Solving Decision Theory Problems with Probabilistic Answer Set Programming2
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling2
Selected Papers from Datalog 2.0 20222
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork2
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications2
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains1
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)1
Efficient Knowledge Compilation Beyond Weighted Model Counting1
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo1
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints1
Tau Prolog: A Prolog Interpreter for the Web1
Symbolic Parameter Learning in Probabilistic Answer Set Programming1
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System1
Clingraph: A System for ASP-based Visualization1
Parallel Logic Programming: A Sequel1
An ASP Framework for the Refinement of Authorization and Obligation Policies1
Strong Equivalence of Logic Programs with Counting1
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis1
Transformation-Enabled Precondition Inference1
Planning with Incomplete Information in Quantified Answer Set Programming1
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games1
Reasoning About Study Regulations in Answer Set Programming1
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions1
A Survey of the Proof-Theoretic Foundations of Logic Programming1
On the Configuration of More and Less Expressive Logic Programs1
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach1
Declarative Approaches to Counterfactual Explanations for Classification1
An Efficient Solver for ASP(Q)1
Knowledge-Based Stable Roommates Problem: A Real-World Application1
Toward A Logical Theory Of Fairness and Bias1
Introduction to the 39th International Conference on Logic Programming Special Issue1
On the Equivalence between Logic Programming and SETAF1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
Compositional Verification in Rewriting Logic1
Here and There with Arithmetic1
0.070524930953979