Theory and Practice of Logic Programming

Article	Citations
The Stable Model Semantics of Datalog with Metric Temporal Operators	18
Towards Industrial-Scale Product Configuration	12
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation	9
Accelerating NeurASP with Vectorization and Caching	8
A CASP-Based Solution for Traffic Signal Optimisation	7
Winning Snake: Design Choices in Multi-Shot ASP	7
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning	7
Smart Expansion Techniques for ASP-Based Interactive Configuration	7
Logic-Guided Data Extraction with Answer Set Programming and Large Language Models	6
Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering	6
Introduction to the 38th International Conference on Logic Programming Special Issue II	5
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)	5
Explaining Neural Networks in Preference Learning: A Post Hoc Inductive Logic Programming Approach	5
From Reasoning to Code: GRPO Optimization for Underrepresented Languages	5
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables	4
An ASP Framework for the Refinement of Authorization and Obligation Policies	4
Introduction to the 39th International Conference on Logic Programming Special Issue	4
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs	4
Interactive Model Expansion in an Observable Environment	4
Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference	3
Implementing Backjumping by Means of Exception Handling	3
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II	3
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties	3
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL	3
Optimal Matching for Sharing and Linearity Analysis	3

“What if?” in Probabilistic Logic Programming	3
The Semantics of Metaprogramming in Prolog	3
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels	3
Parametric Modular Answer Set Programs Made Declarative	3
Meta-Programming for Linear-Time Temporal Answer Set Programming	2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems	2
Unifying Framework for Optimizations in Non-Boolean Formalisms	2
On the Equivalence between Logic Programming and SETAF	2
Toward A Logical Theory Of Fairness and Bias	2
2-ASP(Q) Programs with Weak Constraints: Complexity and Efficient Implementation	2
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs	2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications	2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP	2
Inductive Learning for Possibilistic Logic Programs Under Stable Models	2
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs	2
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12	2
Selected Papers from Datalog 2.0 2022	2
Practical Reasoning in DatalogMTL	2
Event Calculus Meets Hybrid ASP	2
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming	2
On Establishing Robust Consistency in Answer Set Programs	2
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)	2
Compositional Verification in Rewriting Logic	2
The Temporal Vadalog System: Temporal Datalog-Based Reasoning	1
Non-Termination of Logic Programs Using Patterns	1
Reasoning About Study Regulations in Answer Set Programming	1
CNL2ASP: Converting Controlled Natural Language Sentences into ASP	1
On Systematic Construction of Correct Logic Programs	1
Knowledge Authoring for Rules and Actions	1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming	1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability	1
On Lower Bounding Minimal Model Count	1
StartSet l o g EndSet	1
Integrating Logic Rules with Everything Else, Seamlessly	1
Quantifying over Optimum Answer Sets	1
Plingo: A System for Probabilistic Reasoning in Answer Set Programming	1
Solving Decision Theory Problems with Probabilistic Answer Set Programming	1
Model Explanation via Support Graphs	1
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP	1
Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems	1
Impact and Performance of Randomized Test Generation Using Prolog	1
Abstract Environment Trimming	1
Dominating Set Reconfiguration with Answer Set Programming	1
Provenance Guided Rollback Suggestions	1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping	1
Argumentative Characterizations of (Extended) Disjunctive Logic Programs	1
Epistemic Logic Programs: A Study of Some Properties	1
Integrating Belief Domains into Probabilistic Logic Programs	1
The Power of Negation in Higher-Order Datalog	1
Property-Based Testing by Elaborating Proof Outlines	1

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming	1
A Monadic Implementation of Functional Logic Programs	1
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction	1
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases	0
Direct Encoding of Declare Constraints in ASP	0
Positive Dependency Graphs Revisited	0
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification	0
ASP Chef Grows Mustache to Look Better	0
Locally Tight Programs	0
ASP-FZN: A Translation-Based Constraint Answer Set Solver	0
Existential Notation3 Logic	0
Querying Data Exchange Settings Beyond Positive Queries	0
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP	0
CON-FOLD Explainable Machine Learning with Confidence	0
Deductive Systems for Logic Programs with Counting	0
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains	0
Learnability with PAC Semantics for Multi-agent Beliefs	0
Strong Equivalence in Answer Set Programming with Constraints	0
flingo – Instilling ASP Expressiveness into Linear Integer Constraints	0
Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers	0
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming	0
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach	0
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming	0
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks	0
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels	0
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs	0
On Program Completion, with an Application to the Sum and Product Puzzle	0
Human Conditional Reasoning in Answer Set Programming	0
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork	0
Distributed Subweb Specifications for Traversing the Web	0
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)	0
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program	0
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates	0
From Time to Space: The Impact of Linearity in Higher-Order Datalog	0
GPU Accelerated Compact-Table Propagation	0
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs	0
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation	0
Knowledge-Based Support for Adhesive Selection: Will it Stick?	0
Experimental Evaluation of Optimal Abstract Operators for Sharing and Linearity Analysis	0
Human Emotion Verification by Action Languages via Answer Set Programming	0
ProDebug : An Automated Debugging System for Prolog	0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM	0
Introduction to the 40th International Conference On Logic Programming Special Issue	0
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding	0
Answer-Set-Programming-Based Abstractions for Reinforcement Learning	0
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP	0
ANTHEM 2.0: Automated Reasoning for Answer Set Programming	0
Disjunctive Delimited Control	0
Complexity of Faceted Explanations in Propositional Abduction	0
Counting Answer Sets of Disjunctive Answer Set Programs	0
Question Answering with LLMs and Learning from Answer Sets	0
Reducing Arbitrary Metric Temporal Formulas into Logic Programs Under Answer Set Semantics	0
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics	0
Improving ASP-Based ORS Schedules through Machine Learning Predictions	0
Splitting a Disjunctive Logic Program	0
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory	0
Introduction to the 42 nd International Conference on Logic Programming Special Issue	0
Automatic Differentiation in Prolog	0
Multi-Shot Answer Set Programming for Flexible Payroll Management	0
Dyadic Existential Rules	0
Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue	0
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs	0
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games	0
The Stable Model Semantics for Higher-Order Logic Programming	0
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach	0
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment	0
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming	0
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics	0
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings	0
External Behavior of a Logic Program and Verification of Refactoring	0
Towards Mass Spectrum Analysis with ASP	0
An Efficient Solver for ASP(Q)	0
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings	0
A Datalog Framework for Conflict-Free Replicated Data Types	0
Metric Temporal Equilibrium Logic over Timed Traces	0
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling	0
Towards Constraint Temporal Answer Set Programming	0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling	0
Checkification: A Practical Approach for Testing Static Analysis Truths	0
IASCAR: Incremental Answer Set Counting by Anytime Refinement	0

Application Placement with Constraint Relaxation	0
Tau Prolog: A Prolog Interpreter for the Web	0
Symbolic Parameter Learning in Probabilistic Answer Set Programming	0
Long-Term Power Grid Planning via Answer Set Programming	0
Clingraph: A System for ASP-based Visualization	0
Generating Satisfiable Benchmark Instances for Stable Roommates Problems with Optimization	0