| Publication | Date of Publication | Type |
|---|
| Integrating competencies into preventive maintenance scheduling with answer set optimization | 2024-10-30 | Paper |
| Short Boolean formulas as explanations in practice | 2024-05-29 | Paper |
| Solution Enumeration by Optimality in Answer Set Programming | 2023-12-12 | Paper |
| Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination | 2023-04-04 | Paper |
| On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning | 2023-02-03 | Paper |
| Applying Visible Strong Equivalence in Answer-Set Program Transformations | 2022-02-24 | Paper |
| On syntactic forgetting under uniform equivalence | 2021-12-01 | Paper |
| On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning | 2021-09-21 | Paper |
| Boosting Answer Set Optimization with Weighted Comparator Networks | 2021-09-03 | Paper |
| Declarative encodings of acyclicity properties | 2020-08-05 | Paper |
| Rewriting optimization statements in answer-set programs | 2019-10-24 | Paper |
| The return of \textit{xorro} | 2019-10-10 | Paper |
| Stable-unstable semantics: Beyond NP with normal logic programs | 2017-11-09 | Paper |
| Optimizing phylogenetic supertrees using answer set programming | 2017-11-09 | Paper |
| Answer Set Programming Modulo Acyclicity* | 2017-11-09 | Paper |
| Clingo goes linear constraints over reals and integers | 2017-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282991 | 2017-07-18 | Paper |
| Unfolding partiality and disjunctions in stable model semantics | 2017-07-12 | Paper |
| Learning discrete decomposable graphical models via constraint optimization | 2017-03-23 | Paper |
| Writing Declarative Specifications for Clauses | 2016-11-30 | Paper |
| Answer Set Programming Modulo Acyclicity | 2015-11-04 | Paper |
| ASP Solving for Expanding Universes | 2015-11-04 | Paper |
| Cumulativity Tailored for Nonmonotonic Reasoning | 2015-02-04 | Paper |
| Improving the Normalization of Weight Rules in Answer Set Programs | 2015-01-14 | Paper |
| SAT Modulo Graphs: Acyclicity | 2015-01-14 | Paper |
| Normalizing Cardinality Rules Using Merging and Sorting Constructions | 2013-10-10 | Paper |
| Applying Visible Strong Equivalence in Answer-Set Program Transformations | 2012-07-23 | Paper |
| Sampler programs: the stable model semantics of abstract constraint programs revisited | 2012-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3089145 | 2011-08-24 | Paper |
| Strong Equivalence of Logic Programs with Abstract Constraint Atoms | 2011-05-26 | Paper |
| Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses | 2011-05-19 | Paper |
| On Testing Answer-Set Programs | 2011-05-11 | Paper |
| Modularity Aspects of Disjunctive Stable Models | 2009-12-10 | Paper |
| Some (in)translatability results for normal logic programs and propositional theories | 2009-11-30 | Paper |
| A Module-Based Framework for Multi-language Constraint Modeling | 2009-11-10 | Paper |
| Computing Stable Models via Reductions to Difference Logic | 2009-11-10 | Paper |
| A Translation-based Approach to the Verification of Modular Equivalence | 2009-08-24 | Paper |
| Removing Redundancy from Answer Set Programs | 2009-01-22 | Paper |
| Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs | 2008-12-18 | Paper |
| Implementing Prioritized Circumscription by Computing Disjunctive Stable Models | 2008-11-04 | Paper |
| Automated Verification of Weak Equivalence within the<scp>smodels</scp>System | 2007-12-10 | Paper |
| Modularity Aspects of Disjunctive Stable Models | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Evaluating the effect of semi-normality on the expressiveness of defaults | 2006-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708942 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798001 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536320 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767110 | 2002-01-28 | Paper |
| On the intertranslatability of non-monotonic logics | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955326 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246971 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4216774 | 1998-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282608 | 1994-08-21 | Paper |
