| Publication | Date of Publication | Type |
|---|
| Metric dynamic equilibrium logic | 2023-10-30 | Paper |
| Temporal ASP: from logical foundations to practical use with \texttt{telingo} | 2023-08-03 | Paper |
| Metric temporal answer set programming over timed traces | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020971 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020566 | 2022-01-06 | Paper |
| Splitting Epistemic Logic Programs | 2021-09-03 | Paper |
| Autoepistemic answer set programming | 2021-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999252 | 2021-07-06 | Paper |
| Modular Answer Set Programming as a Formal Specification Language | 2020-12-13 | Paper |
| Towards Metric Temporal Answer Set Programming | 2020-12-13 | Paper |
| eclingo : A Solver for Epistemic Logic Programs | 2020-12-13 | Paper |
| Temporal logic programs with temporal description logic axioms | 2020-06-04 | Paper |
| Lower bound founded logic of here-and-there | 2020-02-18 | Paper |
| Splitting epistemic logic programs | 2019-10-10 | Paper |
| Founded world views with autoepistemic equilibrium logic | 2019-10-10 | Paper |
| Towards dynamic answer set programming over finite traces | 2019-10-10 | Paper |
| \textit{telingo} = ASP + time | 2019-10-10 | Paper |
| Gelfond-Zhang aggregates as propositional formulas | 2019-08-28 | Paper |
| Multi-context systems in dynamic environments | 2019-08-13 | Paper |
| Verification for ASP denotational semantics: a case study using the PVS theorem prover | 2019-01-08 | Paper |
| Temporal Answer Set Programming on Finite Traces | 2018-12-04 | Paper |
| Temporal Equilibrium Logic with past operators | 2018-09-12 | Paper |
| Temporal equilibrium logic: a survey | 2018-08-28 | Paper |
| Enablers and Inhibitors in Causal Justifications of Logic Programs | 2017-11-09 | Paper |
| An infinitary encoding of temporal equilibrium logic | 2017-11-09 | Paper |
| Justifications for programs with disjunctive and causal-choice rules | 2017-11-09 | Paper |
| Temporal logic programs with variables | 2017-11-09 | Paper |
| Gelfond-Zhang aggregates as propositional formulas | 2017-09-05 | Paper |
| A qualitative spatial representation of string loops as holes | 2016-09-07 | Paper |
| Stable Models for Temporal Theories | 2015-11-04 | Paper |
| Enablers and Inhibitors in Causal Justifications of Logic Programs | 2015-11-04 | Paper |
| Explaining Preferences and Preferring Explanations | 2015-02-04 | Paper |
| A Complexity Assessment for Queries Involving Sufficient and Necessary Causes | 2015-01-14 | Paper |
| Causal Graph Justifications of Logic Programs | 2014-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398067 | 2014-02-25 | Paper |
| Automata-Based Computation of Temporal Equilibrium Models | 2013-03-13 | Paper |
| Causal Logic Programming | 2012-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011299 | 2011-06-28 | Paper |
| Formalising the Fisherman's Folly puzzle | 2011-06-17 | Paper |
| Functional answer set programming | 2011-06-15 | Paper |
| Loop Formulas for Splitable Temporal Logic Programs | 2011-05-26 | Paper |
| Answer Set; Programming? | 2011-05-19 | Paper |
| A Normal Form for Linear Temporal Equilibrium Logic | 2010-10-01 | Paper |
| Partial Functions and Equality in Answer Set Programming | 2009-01-22 | Paper |
| Strongly Equivalent Temporal Logic Programs | 2008-10-27 | Paper |
| Strings and Holes: An Exercise on Spatial Reasoning | 2008-10-16 | Paper |
| Temporal Equilibrium Logic: A First Approach | 2008-09-02 | Paper |
| Propositional theories are strongly equivalent to logic programs | 2007-12-10 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812973 | 2004-08-12 | Paper |
