Theory and Practice of Logic Programming

Article	Citations
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation	23
The Stable Model Semantics of Datalog with Metric Temporal Operators	17
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies	16
An ASP-based Approach to Answering Natural Language Questions for Texts	15
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases	12
Smart Expansion Techniques for ASP-Based Interactive Configuration	9
Conflict-Driven Inductive Logic Programming	9
Winning Snake: Design Choices in Multi-Shot ASP	9
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning	9
A CASP-Based Solution for Traffic Signal Optimisation	9
Aggregate Semantics for Propositional Answer Set Programs	9
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)	7
Introduction to the 38th International Conference on Logic Programming Special Issue II	7
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables	6
Interactive Model Expansion in an Observable Environment	6
An ASP Framework for the Refinement of Authorization and Obligation Policies	6
Introduction to the 39th International Conference on Logic Programming Special Issue	5
Optimal Matching for Sharing and Linearity Analysis	5
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory	5
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs	5
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations	4
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework	4
“What if?” in Probabilistic Logic Programming	4
Implementing Backjumping by Means of Exception Handling	4
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels	4

Answer Set Planning: A Survey	3
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data	3
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic	3
Making ProB Compatible with SWI-Prolog	3
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II	3
The Semantics of Metaprogramming in Prolog	3
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL	3
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019	3
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming	3
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs	2
On the Equivalence between Logic Programming and SETAF	2
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP	2
Unifying Framework for Optimizations in Non-Boolean Formalisms	2
Fifty Years of Prolog and Beyond	2
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems	2
On Establishing Robust Consistency in Answer Set Programs	2
Compositional Verification in Rewriting Logic	2
Practical Reasoning in DatalogMTL	2
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications	2
Selected Papers from Datalog 2.0 2022	2
Toward A Logical Theory Of Fairness and Bias	2
Integrating Logic Rules with Everything Else, Seamlessly	1
Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems	1
Integrating Belief Domains into Probabilistic Logic Programs	1
The Temporal Vadalog System: Temporal Datalog-Based Reasoning	1
CNL2ASP: Converting Controlled Natural Language Sentences into ASP	1
Model Explanation via Support Graphs	1
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12	1
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs	1
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling	1
Reasoning About Study Regulations in Answer Set Programming	1
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses	1
Non-Termination of Logic Programs Using Patterns	1
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping	1
Efficient Knowledge Compilation Beyond Weighted Model Counting	1
On Systematic Construction of Correct Logic Programs	1
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP	1
The Power of Negation in Higher-Order Datalog	1
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)	1
Impact and Performance of Randomized Test Generation Using Prolog	1
Solving Decision Theory Problems with Probabilistic Answer Set Programming	1
Dominating Set Reconfiguration with Answer Set Programming	1
Provenance Guided Rollback Suggestions	1
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming	1
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming	1
Epistemic Logic Programs: A Study of Some Properties	1
Argumentative Characterizations of (Extended) Disjunctive Logic Programs	1
Plingo: A System for Probabilistic Reasoning in Answer Set Programming	1
ValAsp: A Tool for Data Validation in Answer Set Programming	1
Knowledge Authoring for Rules and Actions	1

Inductive Learning for Possibilistic Logic Programs Under Stable Models	1
Property-Based Testing by Elaborating Proof Outlines	1
Strong Equivalence of Logic Programs with Counting	1
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction	1
Catamorphic Abstractions for Constrained Horn Clause Satisfiability	1
Clingraph: A System for ASP-based Visualization	0
Symbolic Specialization of Rewriting Logic Theories withPresto	0
Multi-Shot Answer Set Programming for Flexible Payroll Management	0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling	0
Automatic Differentiation in Prolog	0
Human Conditional Reasoning in Answer Set Programming	0
On the Configuration of More and Less Expressive Logic Programs	0
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates	0
Dyadic Existential Rules	0
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs	0
On the Foundations of Grounding in Answer Set Programming	0
The Stable Model Semantics for Higher-Order Logic Programming	0
Knowledge-Based Support for Adhesive Selection: Will it Stick?	0
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP	0
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics	0
GPU Accelerated Compact-Table Propagation	0
Learnability with PAC Semantics for Multi-agent Beliefs	0
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains	0
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling	0
Question Answering with LLMs and Learning from Answer Sets	0
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings	0
Counting Answer Sets of Disjunctive Answer Set Programs	0
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP	0
Complexity of Faceted Explanations in Propositional Abduction	0
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics	0
Towards Constraint Temporal Answer Set Programming	0
Symbolic Parameter Learning in Probabilistic Answer Set Programming	0
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs	0
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach	0
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective	0
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork	0
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games	0
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation	0
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases	0
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory	0
Existential Notation3 Logic	0
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM	0
Positive Dependency Graphs Revisited	0
Quantifying over Optimum Answer Sets	0
Locally Tight Programs	0
ASP-FZN: A Translation-Based Constraint Answer Set Solver	0
Querying Data Exchange Settings Beyond Positive Queries	0
From Logic to Functional Logic Programs	0
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming	0
Parallel Logic Programming: A Sequel	0
CON-FOLD Explainable Machine Learning with Confidence	0
Reactive Answer Set Programming	0
Metric Temporal Equilibrium Logic over Timed Traces	0
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach	0
An Efficient Solver for ASP(Q)	0
On Nested Justification Systems	0
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels	0
Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers	0
Introduction to the 38th International Conference on Logic Programming Special Issue	0
Introduction to the 40th International Conference On Logic Programming Special Issue	0
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings	0
Splitting a Disjunctive Logic Program	0
Improving ASP-Based ORS Schedules through Machine Learning Predictions	0
Direct Encoding of Declare Constraints in ASP	0
Generating Satisfiable Benchmark Instances for Stable Roommates Problems with Optimization	0
Distributed Subweb Specifications for Traversing the Web	0
Tau Prolog: A Prolog Interpreter for the Web	0
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis	0
Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue	0
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program	0
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification	0
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming	0
On Lower Bounding Minimal Model Count	0
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment	0
Abstract Environment Trimming	0
External Behavior of a Logic Program and Verification of Refactoring	0
ANTHEM 2.0: Automated Reasoning for Answer Set Programming	0
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs	0
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding	0
Application Placement with Constraint Relaxation	0

Building Information Modeling Using Constraint Logic Programming	0
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks	0
Checkification: A Practical Approach for Testing Static Analysis Truths	0
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems	0
A Brief History of Updates of Answer-Set Programs	0
A Neuro-Symbolic ASP Pipeline for Visual Question Answering	0
Disjunctive Delimited Control	0
On Program Completion, with an Application to the Sum and Product Puzzle	0
IASCAR: Incremental Answer Set Counting by Anytime Refinement	0
ASP Chef Grows Mustache to Look Better	0
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)	0