| Publication | Date of Publication | Type |
|---|
Positive dependency graphs revisited
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
External behavior of a logic program and verification of refactoring
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Embracing background knowledge in the analysis of actual causality: an answer set programming approach
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Abstract argumentation and answer set programming: two faces of Nelson's logic
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| Probabilistic autoepistemic equilibrium logic | 2024-10-24 | Paper |
| On Heuer's procedure for verifying strong equivalence | 2024-05-29 | Paper |
Thirty years of Epistemic Specifications
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Answer set programming made easy
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
| Arguing correctness of ASP programs with aggregates | 2023-04-04 | Paper |
scientific article; zbMATH DE number 7455713 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455713 (Why is no real title available?) | 2022-01-11 | Paper |
Planning with Incomplete Information in Quantified Answer Set Programming
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7453121 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453121 (Why is no real title available?) | 2022-01-06 | Paper |
Splitting epistemic logic programs
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Autoepistemic answer set programming
Artificial Intelligence | 2021-08-16 | Paper |
| Explicit negation in linear-dynamic equilibrium logic | 2021-07-06 | Paper |
Valid attacks in argumentation frameworks with recursive attacks
Annals of Mathematics and Artificial Intelligence | 2021-06-04 | Paper |
Verifying Tight Logic Programs with anthem and vampire
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Modular answer set programming as a formal specification language
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
\texttt{eclingo}: a solver for epistemic logic programs
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| scientific article; zbMATH DE number 7238897 (Why is no real title available?) | 2020-08-25 | Paper |
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Lower bound founded logic of here-and-there | 2020-02-18 | Paper |
| Structure-based semantics of argumentation frameworks with higher-order attacks and supports | 2020-02-12 | Paper |
| On the Expressive Power of Collective Attacks | 2020-02-12 | Paper |
| Splitting epistemic logic programs | 2019-10-10 | Paper |
Founded world views with autoepistemic equilibrium logic
(available as arXiv preprint) | 2019-10-10 | Paper |
| Founded world views with autoepistemic equilibrium logic | 2019-10-10 | Paper |
Answering the ``why'' in answer set programming -- a survey of explanation approaches
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Artificial Intelligence | 2019-08-28 | Paper |
| Argumentation frameworks with recursive attacks and evidence-based supports | 2018-06-26 | Paper |
Towards deriving conclusions from cause-effect relations
Fundamenta Informaticae | 2017-11-09 | Paper |
Justifications for programs with disjunctive and causal-choice rules
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Deriving conclusions from non-monotonic cause-effect relations
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Enablers and inhibitors in causal justifications of logic programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Logic Programming and Nonmonotonic Reasoning | 2017-09-05 | Paper |
Enablers and inhibitors in causal justifications of logic programs
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Causal graph justifications of logic programs
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
