| Publication | Date of Publication | Type |
|---|
| Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective | 2022-09-30 | Paper |
| A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014440 | 2021-12-02 | Paper |
| A Fixed Point Theorem on Lexicographic Lattice Structures | 2021-01-21 | Paper |
| The Expressive Power of Higher-Order Datalog | 2020-05-04 | Paper |
| Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs | 2018-12-04 | Paper |
| The infinite-valued semantics: overview, recent results and future directions | 2018-08-28 | Paper |
| Extensional Semantics for Higher-Order Logic Programs with Negation | 2018-08-15 | Paper |
| The intricacies of three-valued extensional semantics for higher-order logic programs | 2017-11-08 | Paper |
| Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming | 2017-08-25 | Paper |
| Minimum model semantics for logic programs with negation-as-failure | 2017-07-12 | Paper |
| Equivalence of two fixed-point semantics for definitional higher-order logic programs | 2017-02-27 | Paper |
| Game semantics for non-monotonic intensional logic programming | 2016-12-02 | Paper |
| Extensional Semantics for Higher-Order Logic Programs with Negation | 2016-11-30 | Paper |
| Extensional Higher-Order Logic Programming | 2015-09-17 | Paper |
| A fixed point theorem for non-monotonic functions | 2015-02-24 | Paper |
| Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars | 2015-01-13 | Paper |
| Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation | 2014-11-25 | Paper |
| Game Semantics for Non-monotonic Intensional Logic Programming | 2013-10-10 | Paper |
| On the expressive power of univariate equations over sets of natural numbers | 2012-05-24 | Paper |
| A game-theoretic characterization of Boolean grammars | 2011-03-14 | Paper |
| Extensional Higher-Order Logic Programming | 2010-10-01 | Paper |
| Strong equivalence of logic programs under the infinite-valued semantics | 2010-08-16 | Paper |
| Well-founded semantics for Boolean grammars | 2009-09-14 | Paper |
| A limit characterization for the number of spanning trees of graphs | 2009-07-21 | Paper |
| A Game-Theoretic Characterization of Boolean Grammars | 2009-07-07 | Paper |
| Well-Founded Semantics for Boolean Grammars | 2009-03-26 | Paper |
| Efficient intensional implementation for lazy functional languages | 2009-02-17 | Paper |
| Locally stratified Boolean grammars | 2008-10-08 | Paper |
| An infinite-game semantics for well-founded negation in logic programming | 2008-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5487109 | 2006-09-18 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Temporal stratification tests for linear and branching-time deductive databases | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808806 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708939 | 2003-06-20 | Paper |
| The branching-time transformation technique for chain datalog programs | 2002-01-22 | Paper |
| Temporal disjunctive logic programming | 2001-04-17 | Paper |
| Branching-time logic programming: the language Cactus and its applications | 2000-01-04 | Paper |
