Theory and Practice of Logic Programming

Papers
(The H4-Index of Theory and Practice of Logic Programming is 8. 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-04-01 to 2025-04-01.)
ArticleCitations
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 201924
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies23
Making ProB Compatible with SWI-Prolog20
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic16
Introduction to the 38th International Conference on Logic Programming Special Issue10
On Signings and the Well-Founded Semantics10
Integrating Cardinality Constraints into Constraint Logic Programming with Sets9
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP9
ValAsp: A Tool for Data Validation in Answer Set Programming8
Epistemic Logic Programs: A Study of Some Properties8
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming8
0.10140419006348