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-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
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
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP4
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
Aggregate Semantics for Propositional Answer Set Programs3
How to Build Your Own ASP-based System?!2
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings2
Compositional Verification in Rewriting Logic2
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)2
Parallel Logic Programming: A Sequel2
Fifty Years of Prolog and Beyond2
Practical Reasoning in DatalogMTL2
A Survey of the Proof-Theoretic Foundations of Logic Programming2
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints2
Introduction to the 38th International Conference on Logic Programming Special Issue II2
On the Configuration of More and Less Expressive Logic Programs2
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications2
Efficient Knowledge Compilation Beyond Weighted Model Counting2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP2
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork1
An ASP Framework for the Refinement of Authorization and Obligation Policies1
Here and There with Arithmetic1
Unifying Framework for Optimizations in Non-Boolean Formalisms1
I-DLV-sr: A Stream Reasoning System based on I-DLV1
On Establishing Robust Consistency in Answer Set Programs1
Clingraph: A System for ASP-based Visualization1
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System1
On the Equivalence between Logic Programming and SETAF1
Optimizing Probabilities in Probabilistic Logic Programs1
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo1
Transformation-Enabled Precondition Inference1
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation1
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability1
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems1
Human Conditional Reasoning in Answer Set Programming1
Planning with Incomplete Information in Quantified Answer Set Programming1
Strong Equivalence of Logic Programs with Counting1
Symbolic Parameter Learning in Probabilistic Answer Set Programming1
An Efficient Solver for ASP(Q)1
Selected Papers from Datalog 2.0 20221
Declarative Approaches to Counterfactual Explanations for Classification1
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
Tau Prolog: A Prolog Interpreter for the Web1
Knowledge-Based Stable Roommates Problem: A Real-World Application1
Interactive Model Expansion in an Observable Environment1
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis1
Reasoning About Study Regulations in Answer Set Programming1
0.052340984344482