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-06-01 to 2025-06-01.)
ArticleCitations
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation27
An ASP-based Approach to Answering Natural Language Questions for Texts23
Conflict-Driven Inductive Logic Programming22
The Stable Model Semantics of Datalog with Metric Temporal Operators17
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies14
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases13
Winning Snake: Design Choices in Multi-Shot ASP11
How to Build Your Own ASP-based System?!10
Aggregate Semantics for Propositional Answer Set Programs10
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning9
Introduction to the 38th International Conference on Logic Programming Special Issue II8
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints8
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables8
An ASP Framework for the Refinement of Authorization and Obligation Policies8
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)8
Operating Room (Re)Scheduling with Bed Management via ASP7
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs7
Interactive Model Expansion in an Observable Environment7
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming6
Modal Logic S5 Satisfiability in Answer Set Programming6
Introduction to the 39th International Conference on Logic Programming Special Issue6
Learning Distributional Programs for Relational Autocompletion6
Optimal Matching for Sharing and Linearity Analysis6
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches6
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory6
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations5
Analysis and Transformation of Constrained Horn Clauses for Program Verification5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework5
Implementing Backjumping by Means of Exception Handling5
Answer Set Planning: A Survey4
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL4
On Correctness and Completeness of annQueens Program4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II4
VeriFly: On-the-fly Assertion Checking via Incrementality4
“What if?” in Probabilistic Logic Programming4
Making ProB Compatible with SWI-Prolog3
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic3
Fifty Years of Prolog and Beyond3
Compositional Verification in Rewriting Logic3
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications3
Declarative Approaches to Counterfactual Explanations for Classification3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems3
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 20193
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP3
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions3
Temporal Minimal-World Query Answering over Sparse ABoxes3
The Semantics of Metaprogramming in Prolog3
Practical Reasoning in DatalogMTL3
On the Equivalence between Logic Programming and SETAF3
Selected Papers from Datalog 2.0 20223
Unifying Framework for Optimizations in Non-Boolean Formalisms3
Property-Based Testing by Elaborating Proof Outlines2
Planning with Incomplete Information in Quantified Answer Set Programming2
Thirty years of Epistemic Specifications2
Model Explanation via Support Graphs2
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)2
On Establishing Robust Consistency in Answer Set Programs2
Knowledge-Based Stable Roommates Problem: A Real-World Application2
Linear-Time Temporal Answer Set Programming2
Knowledge Authoring for Rules and Actions2
Optimizing Probabilities in Probabilistic Logic Programs2
Toward A Logical Theory Of Fairness and Bias2
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’122
Plingo: A System for Probabilistic Reasoning in Answer Set Programming1
ValAsp: A Tool for Data Validation in Answer Set Programming1
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming1
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP1
The Stable Model Semantics for Higher-Order Logic Programming1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability1
Efficient Knowledge Compilation Beyond Weighted Model Counting1
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs1
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling1
Quantifying over Optimum Answer Sets1
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction1
Epistemic Logic Programs: A Study of Some Properties1
The Temporal Vadalog System: Temporal Datalog-Based Reasoning1
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction1
Reasoning on with Defeasibility in ASP1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping1
Abstract Environment Trimming1
Reasoning About Study Regulations in Answer Set Programming1
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses1
Dominating Set Reconfiguration with Answer Set Programming1
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP1
CNL2ASP: Converting Controlled Natural Language Sentences into ASP1
Solving Decision Theory Problems with Probabilistic Answer Set Programming1
Defeasible Reasoning via Datalog¬1
On Lower Bounding Minimal Model Count1
Strong Equivalence of Logic Programs with Counting1
Introduction to the 37th International Conference on Logic Programming Special Issue I1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
Provenance Guided Rollback Suggestions1
Integrating Logic Rules with Everything Else, Seamlessly1
0.036289930343628