| Publication | Date of Publication | Type |
|---|
| Deductive databases in four-valued logic: rule semantics and models | 2023-05-16 | Paper |
| Update rules in datalog programs | 2022-08-30 | Paper |
| Passive and active rules in deductive databases | 2022-08-18 | Paper |
| Hypothesis-based semantics of logic programs in multivalued logics | 2017-07-12 | Paper |
| Maximal state independent approximations to minimal real change | 2015-06-17 | Paper |
| Computing Supports of Conjunctive Queries on Relational Tables with Functional Dependencies | 2010-10-01 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Synthesizing Monadic Predicates | 2008-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3507548 | 2008-06-20 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Methods and Applications of Artificial Intelligence | 2007-09-25 | Paper |
| Computing Intensions of Digital Library Collections | 2007-09-03 | Paper |
| Knowledge Discovery in Inductive Databases | 2007-05-02 | Paper |
| Foundations of Information and Knowledge Systems | 2007-02-12 | Paper |
| Constraint-Based Mining and Inductive Databases | 2006-11-13 | Paper |
| Journal on Data Semantics II | 2005-08-17 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| Parametrized semantics of logic programs -- a unifying framework | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045547 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044374 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737983 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708597 | 2003-06-18 | Paper |
| Monotonic complements for independent data warehouses | 2002-09-03 | Paper |
| A theory of contexts in information bases | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536447 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2708312 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494334 | 2001-05-20 | Paper |
| Enforcement of integrity constraints by means of minimal sufficient changes | 2001-04-26 | Paper |
| Deterministic enforcement of constraints | 2001-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4504004 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955334 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944880 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941889 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939286 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264102 | 1999-09-16 | Paper |
| Update rules in datalog programs | 1999-02-02 | Paper |
| Deriving semantic information through property covering and inheritance | 1999-01-12 | Paper |
| Specialization by restriction and scheme derivations | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218853 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4302937 | 1994-08-21 | Paper |
| Introducing negative information in relational databases | 1988-01-01 | Paper |
| Update semantics of relational views | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051422 | 1978-01-01 | Paper |
| A fast algorithm for reliability calculations in sparse networks | 1977-01-01 | Paper |
| A Method for Calculation of Network Reliability | 1976-01-01 | Paper |
