| Publication | Date of Publication | Type |
|---|
| Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT | 2024-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6182225 | 2024-01-23 | Paper |
| Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT | 2023-12-12 | Paper |
| Restricted Chase Termination: A Hierarchical Approach and Experimentation | 2023-06-28 | Paper |
| On the extension of logic programming with negation through uniform proofs | 2022-08-30 | Paper |
| Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation | 2021-09-03 | Paper |
| Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies | 2021-02-23 | Paper |
| Three-valued semantics for hybrid MKNF knowledge bases revisited | 2017-11-21 | Paper |
| Well-founded operators for normal hybrid MKNF knowledge bases | 2017-11-08 | Paper |
| Unfolding partiality and disjunctions in stable model semantics | 2017-07-12 | Paper |
| Recycling computed answers in rewrite systems for abduction | 2017-07-12 | Paper |
| A dynamic approach to characterizing termination of general logic programs | 2017-06-13 | Paper |
| Flexible Approximators for Approximating Fixpoint Theory | 2016-06-22 | Paper |
| Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies | 2015-10-02 | Paper |
| Disjunctive logic programs with existential quantification in rule heads | 2014-02-27 | Paper |
| Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs | 2014-02-25 | Paper |
| Embedding Functions into Disjunctive Logic Programs | 2013-10-04 | Paper |
| Relating weight constraint and aggregate programs: Semantics and representation | 2013-08-22 | Paper |
| Well-Supported Semantics for Logic Programs with Generalized Rules | 2012-07-23 | Paper |
| The loop formula based semantics of description logic programs | 2012-03-13 | Paper |
| On the semantics of top-\(k\) ranking for objects with uncertain data | 2012-02-05 | Paper |
| Weight constraint programs with evaluable functions | 2011-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3089164 | 2011-08-24 | Paper |
| Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs | 2011-06-14 | Paper |
| Strong Equivalence of Logic Programs with Abstract Constraint Atoms | 2011-05-26 | Paper |
| Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs | 2011-03-28 | Paper |
| Loop formulas for description logic programs | 2010-08-19 | Paper |
| A polynomial time algorithm for the minimum quartet inconsistency problem with \(O(n)\) quartet errors | 2010-01-29 | Paper |
| A Default Approach to Semantics of Logic Programs with Constraint Atoms | 2009-11-10 | Paper |
| Weight Constraint Programs with Functions | 2009-11-10 | Paper |
| Characterizations of stable model semantics for logic programs with arbitrary constraint atoms | 2009-10-19 | Paper |
| Lparse Programs Revisited: Semantics and Representation of Aggregates | 2009-01-22 | Paper |
| Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Enhancing global SLS-resolution with loop cutting and tabling mechanisms | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739121 | 2004-08-12 | Paper |
| Linear tabulated resolution based on Prolog control strategy | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413060 | 2003-07-17 | Paper |
| SLT-resolution for the well-founded semantics | 2002-10-15 | Paper |
| Abduction in logic programming: A new definition and an abductive procedure based on rewriting | 2002-09-09 | Paper |
| An abductive approach to disjunctive logic programming | 2001-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944874 | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217934 | 1999-05-18 | Paper |
| Iterative belief revision in extended logic programming | 1997-02-27 | Paper |
| On the equivalence of semantics for normal logic programs | 1995-04-06 | Paper |
| A three-valued semantics for deductive databases and logic programs | 1994-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305304 | 1994-10-13 | Paper |
| Autoepistemic circumscription and logic programming | 1994-03-13 | Paper |
| Conflict-free routing for BPC-permutations on synchronous hypercubes | 1993-05-16 | Paper |
| An implementation of a nonlinear skewing scheme | 1993-01-16 | Paper |
| Unification modulo an equality theory for equational logic programming | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358719 | 1990-01-01 | Paper |
| Enumerating outer narrowing derivations for constructor-based term rewriting systems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490956 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795206 | 1988-01-01 | Paper |
| A class of confluent term rewriting systems and unification | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3730013 | 1986-01-01 | Paper |
