OOIR: Observatory of International Research

Papers

(The TQCC of Theory and Practice of Logic Programming is 3. 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.)

Article	Citations
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation	27
An ASP-based Approach to Answering Natural Language Questions for Texts	23
Conflict-Driven Inductive Logic Programming	22
The Stable Model Semantics of Datalog with Metric Temporal Operators	17
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies	14
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases	13
Winning Snake: Design Choices in Multi-Shot ASP	11
Aggregate Semantics for Propositional Answer Set Programs	10
How to Build Your Own ASP-based System?!	10
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem	9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning	9
An ASP Framework for the Refinement of Authorization and Obligation Policies	8
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
Introduction to the 38th International Conference on Logic Programming Special Issue II	8
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints	8
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables	8
Interactive Model Expansion in an Observable Environment	7
Operating Room (Re)Scheduling with Bed Management via ASP	7
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs	7
Optimal Matching for Sharing and Linearity Analysis	6
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches	6
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory	6
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming	6
Modal Logic S5 Satisfiability in Answer Set Programming	6
Introduction to the 39^th International Conference on Logic Programming Special Issue	6

Learning Distributional Programs for Relational Autocompletion	6
Analysis and Transformation of Constrained Horn Clauses for Program Verification	5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework	5
Implementing Backjumping by Means of Exception Handling	5
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations	5
On Correctness and Completeness of annQueens Program	4
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II	4
VeriFly: On-the-fly Assertion Checking via Incrementality	4
“What if?” in Probabilistic Logic Programming	4
Answer Set Planning: A Survey	4
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL	4
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions	3
Temporal Minimal-World Query Answering over Sparse ABoxes	3
The Semantics of Metaprogramming in Prolog	3
Practical Reasoning in DatalogMTL	3
On the Equivalence between Logic Programming and SETAF	3
Selected Papers from Datalog 2.0 2022	3
Unifying Framework for Optimizations in Non-Boolean Formalisms	3
Making ProB Compatible with SWI-Prolog	3
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic	3
Fifty Years of Prolog and Beyond	3
Compositional Verification in Rewriting Logic	3
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications	3
Declarative Approaches to Counterfactual Explanations for Classification	3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data	3
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems	3
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019	3
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP	3