| Publication | Date of Publication | Type |
|---|
| Metric temporal equilibrium logic over timed traces | 2025-01-03 | Paper |
| Probabilistic autoepistemic equilibrium logic | 2024-10-24 | Paper |
| Logic, accountability and design (extended abstract) | 2024-05-29 | Paper |
| Deontic equilibrium logic with explicit negation | 2024-05-29 | Paper |
| Past-present temporal programs over finite traces | 2024-05-29 | Paper |
| 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 |
| Explicit negation in linear-dynamic equilibrium logic | 2021-07-06 | Paper |
| \texttt{eclingo}: a solver for epistemic logic programs | 2020-12-13 | Paper |
| Towards metric temporal answer set programming | 2020-12-13 | Paper |
| Modular answer set programming as a formal specification language | 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 |
| Temporal logic programs with variables | 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 |
| Enablers and inhibitors in causal justifications of logic programs | 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 |
| Paving the way for temporal grounding | 2014-02-25 | Paper |
| Automata-Based Computation of Temporal Equilibrium Models | 2013-03-13 | Paper |
| Causal Logic Programming | 2012-07-23 | Paper |
| A logical characterisation of ordered disjunction | 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 |
