Theory and Practice of Logic Programming

(The TQCC of Theory and Practice of Logic Programming is 4. 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 2020-06-01 to 2024-06-01.)
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem23
Analysis and Transformation of Constrained Horn Clauses for Program Verification20
Verifying Tight Logic Programs with anthem and vampire17
How to Build Your Own ASP-based System?!15
Fifty Years of Prolog and Beyond11
Probabilistic QoS-aware Placement of VNF Chains at the Edge10
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach10
White-box Induction From SVM Models: Explainable AI with Logic Programming9
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL9
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach9
Linear-Time Temporal Answer Set Programming8
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming8
eclingo : A Solver for Epistemic Logic Programs8
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling8
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More7
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications7
Towards Metric Temporal Answer Set Programming7
Managing caching strategies for stream reasoning with reinforcement learning7
Incremental and Modular Context-sensitive Analysis7
Modular Answer Set Programming as a Formal Specification Language7
Declarative Approaches to Counterfactual Explanations for Classification6
Modelling Multi-Agent Epistemic Planning in ASP6
MAP Inference for Probabilistic Logic Programming6
Operating Room (Re)Scheduling with Bed Management via ASP5
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions5
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases5
Incremental maintenance of overgrounded logic programs with tailored simplifications5
I-DLV-sr: A Stream Reasoning System based on I-DLV5
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming5
Flexible coinductive logic programming5
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses5
Planning with Incomplete Information in Quantified Answer Set Programming5
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data5
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-84
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming4
Exploiting Database Management Systems and Treewidth for Counting4
Strong Equivalence of Logic Programs with Counting4
Conflict-Driven Inductive Logic Programming4
Omission-Based Abstraction for Answer Set Programs4
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework4
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction4
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints4
Aggregate Semantics for Propositional Answer Set Programs4
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures4
Answer Set Planning: A Survey4
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming4
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory4
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System4
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming4
A Neuro-Symbolic ASP Pipeline for Visual Question Answering4