Theory and Practice of Logic Programming

Papers
(The H4-Index of Theory and Practice of Logic Programming is 9. 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-03-01 to 2024-03-01.)
ArticleCitations
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem22
Analysis and Transformation of Constrained Horn Clauses for Program Verification18
Verifying Tight Logic Programs with anthem and vampire16
How to Build Your Own ASP-based System?!12
Train Scheduling with Hybrid Answer Set Programming11
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach10
Fifty Years of Prolog and Beyond9
Probabilistic QoS-aware Placement of VNF Chains at the Edge9
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL9
0.061589002609253