| Publication | Date of Publication | Type |
|---|
| Nonmonotonic reasoning with multiple belief sets | 2019-04-29 | Paper |
| A Versioning and Evolution Framework for RDF Knowledge Bases | 2010-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3616078 | 2009-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411724 | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537427 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2715521 | 2002-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767051 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940930 | 2000-02-28 | Paper |
| Stable generated models, partial temporal logic and disjunctive defaults | 2000-01-04 | Paper |
| Nonmonotonic reasoning with multiple belief sets | 1999-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395558 | 1999-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395568 | 1998-08-04 | Paper |
| Stable models are generated by a stable chain | 1998-06-02 | Paper |
| Generalized compactness of nonmonotonic inference operations | 1996-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4862201 | 1996-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282552 | 1994-03-17 | Paper |
| The Härtig quantifier: a survey | 1992-06-27 | Paper |
| Superstable graphs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671951 | 1981-01-01 | Paper |
| UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN | 1981-01-01 | Paper |
| Modelltheoretische Eigenschaften Endlichvalenter Graphen | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919669 | 1980-01-01 | Paper |
| Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4186297 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4186298 | 1979-01-01 | Paper |
| Entscheidbarkeit der Theorie der Linearen Ordnung in L für Reguläres ωx | 1978-01-01 | Paper |
| Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren | 1978-01-01 | Paper |
| Entscheidbarkeit Der Theorie Der Linearen Ordnung In L | 1977-01-01 | Paper |
| Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088809 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404920 | 1973-01-01 | Paper |
| Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II | 1972-01-01 | Paper |
| Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665190 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670607 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680120 | 1972-01-01 | Paper |
| Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183486 | 1970-01-01 | Paper |
