| Publication | Date of Publication | Type |
|---|
| On Signings and the Well-Founded Semantics | 2023-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039145 | 2022-10-12 | Paper |
| Rethinking Defeasible Reasoning: A Scalable Approach | 2021-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631188 | 2019-04-24 | Paper |
| Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation | 2018-01-05 | Paper |
| Contractibility for open global constraints | 2017-11-09 | Paper |
| Annotated defeasible logic | 2017-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283026 | 2017-07-18 | Paper |
| An inclusion theorem for defeasible logics | 2015-09-17 | Paper |
| Replay, recovery, replication, and snapshots of nondeterministic concurrent programs | 2015-06-19 | Paper |
| Relative expressiveness of defeasible logics II | 2014-02-27 | Paper |
| Relative expressiveness of defeasible logics | 2013-03-13 | Paper |
| Contractibility and contractible approximations of soft global constraints | 2012-05-11 | Paper |
| Human and Unhuman Commonsense Reasoning | 2010-10-12 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Local consistency for extended CSPs | 2009-11-04 | Paper |
| Representation results for defeasible logic | 2009-10-21 | Paper |
| Open Constraints in a Boundable World | 2009-06-03 | Paper |
| On Computing Constraint Abduction Answers | 2009-01-27 | Paper |
| Embedding defeasible logic into logic programming | 2007-02-13 | Paper |
| Oracle semantics for Prolog | 2006-10-10 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Rewriting union queries using views | 2006-02-23 | Paper |
| Argumentation Semantics for Defeasible Logic | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809162 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812974 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044368 | 2004-08-11 | Paper |
| Propositional defeasible logic has linear complexity | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535547 | 2002-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767055 | 2002-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702573 | 2002-02-21 | Paper |
| Defeasible logic versus Logic Programming without Negation as Failure | 2001-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494325 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944873 | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955346 | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247209 | 2000-01-12 | Paper |
| The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 | 1999-05-31 | Paper |
| Constrained dependencies | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391452 | 1998-06-03 | Paper |
| Toward practical query evaluation for constraint databases | 1998-02-11 | Paper |
| On inductive inference of cyclic structures | 1996-10-20 | Paper |
| On Fourier's algorithm for linear arithmetic constraints | 1994-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035222 | 1993-05-18 | Paper |
| A transformation system for deductive database modules with perfect model semantics | 1993-05-16 | Paper |
| Projecting CLP(\({\mathcal R}\)) constraints | 1993-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3355225 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789064 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725521 | 1986-01-01 | Paper |
| Comments on “general failure of logic programs” | 1986-01-01 | Paper |
| Optimal fixedpoints of logic programs | 1985-01-01 | Paper |
| A theory of complete logic programs with equality | 1984-01-01 | Paper |
| Closures and fairness in the semantics of programming logic | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318096 | 1983-01-01 | Paper |
| The Transient Behaviour of a Cyclic Queue | 1973-01-01 | Paper |
| A generalised incomplete beta function and its application to multi-line stock control | 1973-01-01 | Paper |
