OOIR: Observatory of International Research

Papers

(The TQCC of Theory and Practice of Logic Programming is 2. 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 2022-06-01 to 2026-06-01.)

Article	Citations
The Stable Model Semantics of Datalog with Metric Temporal Operators	18
Towards Industrial-Scale Product Configuration	17
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation	17
Smart Expansion Techniques for ASP-Based Interactive Configuration	10
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases	10
A CASP-Based Solution for Traffic Signal Optimisation	10
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning	10
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
Winning Snake: Design Choices in Multi-Shot ASP	9
An ASP Framework for the Refinement of Authorization and Obligation Policies	8
Introduction to the 38th International Conference on Logic Programming Special Issue II	8
Interactive Model Expansion in an Observable Environment	7
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory	6
Introduction to the 39^th International Conference on Logic Programming Special Issue	6
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables	6
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations	5
Optimal Matching for Sharing and Linearity Analysis	5
Implementing Backjumping by Means of Exception Handling	5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs	5
“What if?” in Probabilistic Logic Programming	4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II	4
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL	4
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels	4
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties	4
Making ProB Compatible with SWI-Prolog	3

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming	3
Unifying Framework for Optimizations in Non-Boolean Formalisms	3
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs	3
The Semantics of Metaprogramming in Prolog	3
Selected Papers from Datalog 2.0 2022	3
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP	3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data	3
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications	3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems	3
Practical Reasoning in DatalogMTL	3
Epistemic Logic Programs: A Study of Some Properties	2
Knowledge Authoring for Rules and Actions	2
On the Equivalence between Logic Programming and SETAF	2
Toward A Logical Theory Of Fairness and Bias	2
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12	2
Property-Based Testing by Elaborating Proof Outlines	2
Integrating Belief Domains into Probabilistic Logic Programs	2
Solving Decision Theory Problems with Probabilistic Answer Set Programming	2
Model Explanation via Support Graphs	2
Inductive Learning for Possibilistic Logic Programs Under Stable Models	2
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs	2
The Power of Negation in Higher-Order Datalog	2
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP	2
CNL2ASP: Converting Controlled Natural Language Sentences into ASP	2
Impact and Performance of Randomized Test Generation Using Prolog	2
Compositional Verification in Rewriting Logic	2
On Establishing Robust Consistency in Answer Set Programs	2
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
Plingo: A System for Probabilistic Reasoning in Answer Set Programming	2
On Systematic Construction of Correct Logic Programs	2