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-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
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL9
Fifty Years of Prolog and Beyond9
Probabilistic QoS-aware Placement of VNF Chains at the Edge9
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling8
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More7
White-box Induction From SVM Models: Explainable AI with Logic Programming7
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications7
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach7
Linear-Time Temporal Answer Set Programming7
Modular Answer Set Programming as a Formal Specification Language7
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming7
eclingo : A Solver for Epistemic Logic Programs7
Towards Metric Temporal Answer Set Programming7
Managing caching strategies for stream reasoning with reinforcement learning7
MAP Inference for Probabilistic Logic Programming6
Declarative Approaches to Counterfactual Explanations for Classification6
Incremental and Modular Context-sensitive Analysis6
Modelling Multi-Agent Epistemic Planning in ASP6
Operating Room (Re)Scheduling with Bed Management via ASP5
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases5
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses5
Planning with Incomplete Information in Quantified Answer Set Programming5
I-DLV-sr: A Stream Reasoning System based on I-DLV5
Flexible coinductive logic programming5
Omission-Based Abstraction for Answer Set Programs4
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming4
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System4
Conflict-Driven Inductive Logic Programming4
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures4
Incremental maintenance of overgrounded logic programs with tailored simplifications4
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming4
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming4
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data4
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
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework4
Strong Equivalence of Logic Programs with Counting4
A Neuro-Symbolic ASP Pipeline for Visual Question Answering4
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming4
Efficient Knowledge Compilation Beyond Weighted Model Counting3
Parallel Logic Programming: A Sequel3
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions3
Solution Enumeration by Optimality in Answer Set Programming3
Thirty years of Epistemic Specifications3
Exploiting Database Management Systems and Treewidth for Counting3
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction3
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation3
ASP (): Answer Set Programming with Algebraic Constraints3
Aggregate Semantics for Propositional Answer Set Programs3
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them3
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches3
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory3
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries3
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints3
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification3
Splitting Epistemic Logic Programs3
Answer Set Planning: A Survey3
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT3
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems3
Concolic Testing in CLP2
VeriFly: On-the-fly Assertion Checking via Incrementality2
Forgetting in Answer Set Programming – A Survey2
Integrating Logic Rules with Everything Else, Seamlessly2
A General Framework for Stable Roommates Problems using Answer Set Programming2
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario2
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming2
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs2
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning2
The Probabilistic Description Logic2
On Correctness and Completeness of an n Queens Program2
Optimizing Probabilities in Probabilistic Logic Programs2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems2
An ASP-based Approach to Answering Natural Language Questions for Texts2
Interactive Text Graph Mining with a Prolog-Based Dialog Engine2
External Behavior of a Logic Program and Verification of Refactoring2
Backjumping is Exception Handling2
On Nested Justification Systems2
Exploiting Game Theory for Analysing Justifications2
Here and There with Arithmetic2
Exploring the Jungle of Intuitionistic Temporal Logics2
Integrating Cardinality Constraints into Constraint Logic Programming with Sets2
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs1
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective1
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling1
A Brief History of Updates of Answer-Set Programs1
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation1
Completing the Picture: Complexity of Graded Modal Logics with Converse1
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations1
On Establishing Robust Consistency in Answer Set Programs1
An ASP Framework for the Refinement of Authorization and Obligation Policies1
A Survey of the Proof-Theoretic Foundations of Logic Programming1
Building Information Modeling Using Constraint Logic Programming1
ValAsp: A Tool for Data Validation in Answer Set Programming1
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling1
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture1
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog1
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints1
Modal Logic S5 Satisfiability in Answer Set Programming1
Tau Prolog: A Prolog Interpreter for the Web1
Defeasible Reasoning via Datalog¬1
Unifying Framework for Optimizations in Non-Boolean Formalisms1
Transformation-Enabled Precondition Inference1
Modular Constraint Solver Cooperation via Abstract Interpretation1
On Signings and the Well-Founded Semantics1
Making ProB Compatible with SWI-Prolog1
“What if?” in Probabilistic Logic Programming1
From Logic to Functional Logic Programs1
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner1
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming1
On the Foundations of Grounding in Answer Set Programming1
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs1
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork1
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP1
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates1
0.028598070144653