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-08-01 to 2026-08-01.)

Article	Citations
The Stable Model Semantics of Datalog with Metric Temporal Operators	18
Towards Industrial-Scale Product Configuration	12
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation	9
Accelerating NeurASP with Vectorization and Caching	8
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning	7
Smart Expansion Techniques for ASP-Based Interactive Configuration	7
A CASP-Based Solution for Traffic Signal Optimisation	7
Winning Snake: Design Choices in Multi-Shot ASP	7
Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering	6
Logic-Guided Data Extraction with Answer Set Programming and Large Language Models	6
From Reasoning to Code: GRPO Optimization for Underrepresented Languages	5
Introduction to the 38th International Conference on Logic Programming Special Issue II	5
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)	5
Explaining Neural Networks in Preference Learning: A Post Hoc Inductive Logic Programming Approach	5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs	4
Interactive Model Expansion in an Observable Environment	4
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables	4
An ASP Framework for the Refinement of Authorization and Obligation Policies	4
Introduction to the 39^th International Conference on Logic Programming Special Issue	4
Optimal Matching for Sharing and Linearity Analysis	3
“What if?” in Probabilistic Logic Programming	3
The Semantics of Metaprogramming in Prolog	3
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels	3
Parametric Modular Answer Set Programs Made Declarative	3
Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference	3

Implementing Backjumping by Means of Exception Handling	3
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II	3
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties	3
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL	3
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
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12	2
Selected Papers from Datalog 2.0 2022	2
Practical Reasoning in DatalogMTL	2
Event Calculus Meets Hybrid ASP	2
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming	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
Compositional Verification in Rewriting Logic	2
Meta-Programming for Linear-Time Temporal Answer Set Programming	2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems	2
Unifying Framework for Optimizations in Non-Boolean Formalisms	2
On the Equivalence between Logic Programming and SETAF	2
Toward A Logical Theory Of Fairness and Bias	2
2-ASP(Q) Programs with Weak Constraints: Complexity and Efficient Implementation	2
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs	2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications	2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP	2