Theory and Practice of Logic Programming

Papers
(The median citation count of Theory and Practice of Logic Programming is 1. 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-11-01 to 2024-11-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
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling9
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming9
Declarative Approaches to Counterfactual Explanations for Classification8
Linear-Time Temporal Answer Set Programming8
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
Incremental and Modular Context-sensitive Analysis7
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
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses6
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
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
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
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory4
Aggregate Semantics for Propositional Answer Set Programs4
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches4
Exploiting Database Management Systems and Treewidth for Counting4
Building Information Modeling Using Constraint Logic Programming4
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
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling3
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems3
Parallel Logic Programming: A Sequel3
Solution Enumeration by Optimality in Answer Set Programming3
On Nested Justification Systems3
Thirty years of Epistemic Specifications3
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT3
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation3
VeriFly: On-the-fly Assertion Checking via Incrementality2
Backjumping is Exception Handling2
Modal Logic S5 Satisfiability in Answer Set Programming2
Here and There with Arithmetic2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems2
A Qualitative Theory of Cognitive Attitudes and their Change2
On Correctness and Completeness of annQueens Program2
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning2
Defeasible Reasoning via Datalog¬2
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork2
An ASP-based Approach to Answering Natural Language Questions for Texts2
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs2
The Probabilistic Description Logic2
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations2
Transformation-Enabled Precondition Inference2
Exploring the Jungle of Intuitionistic Temporal Logics2
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming2
An Efficient Solver for ASP(Q)1
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP1
Reactive Answer Set Programming1
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective1
Making ProB Compatible with SWI-Prolog1
“What if?” in Probabilistic Logic Programming1
Completing the Picture: Complexity of Graded Modal Logics with Converse1
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture1
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs1
Automatic Differentiation in Prolog1
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis1
Unifying Framework for Optimizations in Non-Boolean Formalisms1
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs1
ValAsp: A Tool for Data Validation in Answer Set Programming1
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling1
Model Explanation via Support Graphs1
Locally Tight Programs1
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner1
On Establishing Robust Consistency in Answer Set Programs1
A Survey of the Proof-Theoretic Foundations of Logic Programming1
An ASP Framework for the Refinement of Authorization and Obligation Policies1
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates1
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels1
On Signings and the Well-Founded Semantics1
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog1
On the Foundations of Grounding in Answer Set Programming1
A Brief History of Updates of Answer-Set Programs1
Tau Prolog: A Prolog Interpreter for the Web1
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation1
Interactive Model Expansion in an Observable Environment1
0.14981389045715