Theory and Practice of Logic Programming

Papers
(The median citation count of Theory and Practice of Logic Programming is 0. 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-12-01 to 2025-12-01.)
ArticleCitations
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation27
An ASP-based Approach to Answering Natural Language Questions for Texts23
The Stable Model Semantics of Datalog with Metric Temporal Operators17
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies15
Conflict-Driven Inductive Logic Programming14
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases14
Aggregate Semantics for Propositional Answer Set Programs12
A CASP-Based Solution for Traffic Signal Optimisation9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning9
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)9
Smart Expansion Techniques for ASP-Based Interactive Configuration9
How to Build Your Own ASP-based System?!9
Winning Snake: Design Choices in Multi-Shot ASP9
Introduction to the 38th International Conference on Logic Programming Special Issue II8
An ASP Framework for the Refinement of Authorization and Obligation Policies8
Interactive Model Expansion in an Observable Environment7
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables7
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory6
Implementing Backjumping by Means of Exception Handling5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs5
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations5
Introduction to the 39th International Conference on Logic Programming Special Issue5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework5
Optimal Matching for Sharing and Linearity Analysis5
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II4
“What if?” in Probabilistic Logic Programming4
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 20193
The Semantics of Metaprogramming in Prolog3
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data3
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL3
Making ProB Compatible with SWI-Prolog3
Practical Reasoning in DatalogMTL3
Answer Set Planning: A Survey3
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic3
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems2
Declarative Approaches to Counterfactual Explanations for Classification2
Selected Papers from Datalog 2.0 20222
On Establishing Robust Consistency in Answer Set Programs2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications2
On the Equivalence between Logic Programming and SETAF2
Compositional Verification in Rewriting Logic2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP2
Fifty Years of Prolog and Beyond2
Unifying Framework for Optimizations in Non-Boolean Formalisms2
Toward A Logical Theory Of Fairness and Bias2
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs2
Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming1
Plingo: A System for Probabilistic Reasoning in Answer Set Programming1
ValAsp: A Tool for Data Validation in Answer Set Programming1
Model Explanation via Support Graphs1
Solving Decision Theory Problems with Probabilistic Answer Set Programming1
Impact and Performance of Randomized Test Generation Using Prolog1
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses1
Non-Termination of Logic Programs Using Patterns1
Integrating Logic Rules with Everything Else, Seamlessly1
Efficient Knowledge Compilation Beyond Weighted Model Counting1
Strong Equivalence of Logic Programs with Counting1
Epistemic Logic Programs: A Study of Some Properties1
CNL2ASP: Converting Controlled Natural Language Sentences into ASP1
Linear-Time Temporal Answer Set Programming1
Knowledge Authoring for Rules and Actions1
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)1
Integrating Belief Domains into Probabilistic Logic Programs1
Provenance Guided Rollback Suggestions1
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming1
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling1
Argumentative Characterizations of (Extended) Disjunctive Logic Programs1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping1
On Systematic Construction of Correct Logic Programs1
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP1
The Power of Negation in Higher-Order Datalog1
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’121
Property-Based Testing by Elaborating Proof Outlines1
Reasoning About Study Regulations in Answer Set Programming1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability1
The Temporal Vadalog System: Temporal Datalog-Based Reasoning1
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings0
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program0
Direct Encoding of Declare Constraints in ASP0
Introduction to the 40th International Conference On Logic Programming Special Issue0
An Efficient Solver for ASP(Q)0
Metric Temporal Equilibrium Logic over Timed Traces0
ASP Chef Grows Mustache to Look Better0
Checkification: A Practical Approach for Testing Static Analysis Truths0
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP0
On Nested Justification Systems0
Generating Satisfiable Benchmark Instances for Stable Roommates Problems with Optimization0
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels0
Introduction to the 38th International Conference on Logic Programming Special Issue0
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates0
The Stable Model Semantics for Higher-Order Logic Programming0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling0
Clingraph: A System for ASP-based Visualization0
Symbolic Specialization of Rewriting Logic Theories withPresto0
Automatic Differentiation in Prolog0
Human Conditional Reasoning in Answer Set Programming0
Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue0
Positive Dependency Graphs Revisited0
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction0
GPU Accelerated Compact-Table Propagation0
On Lower Bounding Minimal Model Count0
Querying Data Exchange Settings Beyond Positive Queries0
ASP-FZN: A Translation-Based Constraint Answer Set Solver0
External Behavior of a Logic Program and Verification of Refactoring0
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming0
Locally Tight Programs0
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling0
Building Information Modeling Using Constraint Logic Programming0
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach0
Multi-Shot Answer Set Programming for Flexible Payroll Management0
Application Placement with Constraint Relaxation0
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems0
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks0
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation0
Counting Answer Sets of Disjunctive Answer Set Programs0
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs0
A Brief History of Updates of Answer-Set Programs0
Learnability with PAC Semantics for Multi-agent Beliefs0
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)0
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork0
ANTHEM 2.0: Automated Reasoning for Answer Set Programming0
Splitting a Disjunctive Logic Program0
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games0
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases0
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding0
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs0
On the Foundations of Grounding in Answer Set Programming0
Dominating Set Reconfiguration with Answer Set Programming0
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment0
Abstract Environment Trimming0
CON-FOLD Explainable Machine Learning with Confidence0
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP0
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics0
Reactive Answer Set Programming0
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings0
Existential Notation3 Logic0
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification0
Question Answering with LLMs and Learning from Answer Sets0
Improving ASP-Based ORS Schedules through Machine Learning Predictions0
On the Configuration of More and Less Expressive Logic Programs0
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach0
Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers0
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains0
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis0
A Neuro-Symbolic ASP Pipeline for Visual Question Answering0
Complexity of Faceted Explanations in Propositional Abduction0
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM0
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective0
Symbolic Parameter Learning in Probabilistic Answer Set Programming0
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming0
Distributed Subweb Specifications for Traversing the Web0
Tau Prolog: A Prolog Interpreter for the Web0
On Program Completion, with an Application to the Sum and Product Puzzle0
Dyadic Existential Rules0
Disjunctive Delimited Control0
Parallel Logic Programming: A Sequel0
Quantifying over Optimum Answer Sets0
Knowledge-Based Support for Adhesive Selection: Will it Stick?0
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs0
Forgetting in Answer Set Programming – A Survey0
Towards Constraint Temporal Answer Set Programming0
IASCAR: Incremental Answer Set Counting by Anytime Refinement0
From Logic to Functional Logic Programs0
0.018193006515503