Theory and Practice of Logic Programming

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 2020-10-01 to 2024-10-01.)
ArticleCitations
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem24
Analysis and Transformation of Constrained Horn Clauses for Program Verification20
How to Build Your Own ASP-based System?!16
Fifty Years of Prolog and Beyond13
Probabilistic QoS-aware Placement of VNF Chains at the Edge12
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications10
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming9
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling9
Linear-Time Temporal Answer Set Programming8
Declarative Approaches to Counterfactual Explanations for Classification8
Incremental and Modular Context-sensitive Analysis7
I-DLV-sr: A Stream Reasoning System based on I-DLV7
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases7
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses6
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System6
Answer Set Planning: A Survey6
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions6
Forgetting in Answer Set Programming – A Survey5
Operating Room (Re)Scheduling with Bed Management via ASP5
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming5
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data5
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework5
Planning with Incomplete Information in Quantified Answer Set Programming5
Conflict-Driven Inductive Logic Programming5
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures5
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming5
Strong Equivalence of Logic Programs with Counting5
A Neuro-Symbolic ASP Pipeline for Visual Question Answering5
Aggregate Semantics for Propositional Answer Set Programs4
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches4
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory4
Building Information Modeling Using Constraint Logic Programming4
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction4
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints4
Integrating Cardinality Constraints into Constraint Logic Programming with Sets4
Exploiting Database Management Systems and Treewidth for Counting4
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling3
Thirty years of Epistemic Specifications3
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems3
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation3
From Logic to Functional Logic Programs3
Integrating Logic Rules with Everything Else, Seamlessly3
Efficient Knowledge Compilation Beyond Weighted Model Counting3
Optimizing Probabilities in Probabilistic Logic Programs3
External Behavior of a Logic Program and Verification of Refactoring3
On Nested Justification Systems3
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT3
Parallel Logic Programming: A Sequel3
Solution Enumeration by Optimality in Answer Set Programming3
0.027521133422852