| Publication | Date of Publication | Type |
|---|
Nonmonotonic reasoning with multiple belief sets
Practical Reasoning | 2019-04-29 | Paper |
A Versioning and Evolution Framework for RDF Knowledge Bases
Perspectives of Systems Informatics | 2010-02-02 | Paper |
| Formal semantics and ontologies | 2009-03-24 | Paper |
| scientific article; zbMATH DE number 1947738 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1761407 (Why is no real title available?) | 2002-06-30 | Paper |
| Partial logics with two kinds of negation as a foundation for knowledge-based reasoning | 2002-03-19 | Paper |
| scientific article; zbMATH DE number 1696793 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1407675 (Why is no real title available?) | 2000-02-28 | Paper |
Stable generated models, partial temporal logic and disjunctive defaults
The Journal of Logic Programming | 2000-01-04 | Paper |
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1163934 (Why is no real title available?) | 1999-02-02 | Paper |
| scientific article; zbMATH DE number 1163944 (Why is no real title available?) | 1998-08-04 | Paper |
Stable models are generated by a stable chain
The Journal of Logic Programming | 1998-06-02 | Paper |
Generalized compactness of nonmonotonic inference operations
Journal of Applied Non-Classical Logics | 1996-05-27 | Paper |
| scientific article; zbMATH DE number 841929 (Why is no real title available?) | 1996-02-06 | Paper |
| scientific article; zbMATH DE number 517025 (Why is no real title available?) | 1994-03-17 | Paper |
The Härtig quantifier: a survey
Journal of Symbolic Logic | 1992-06-27 | Paper |
Superstable graphs
Fundamenta Mathematicae | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825777 (Why is no real title available?) | 1981-01-01 | Paper |
UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN
Mathematical Logic Quarterly | 1981-01-01 | Paper |
Modelltheoretische Eigenschaften Endlichvalenter Graphen
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3732001 (Why is no real title available?) | 1980-01-01 | Paper |
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
Mathematical Logic Quarterly | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3623533 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3623534 (Why is no real title available?) | 1979-01-01 | Paper |
Entscheidbarkeit der Theorie der Linearen Ordnung in <i>L</i> für Reguläres ω<sub><i>x</i></sub>
Mathematical Logic Quarterly | 1978-01-01 | Paper |
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
Mathematical Logic Quarterly | 1978-01-01 | Paper |
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L
Mathematical Logic Quarterly | 1977-01-01 | Paper |
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3508485 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3438890 (Why is no real title available?) | 1973-01-01 | Paper |
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Die Entscheidbarkeit der Elementaren Theorie der <i>n</i>‐Separierten Symmetrischen Graphen Endlicher Valenz
Mathematical Logic Quarterly | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3397537 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3404212 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3415840 (Why is no real title available?) | 1972-01-01 | Paper |
Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation
Mathematical Logic Quarterly | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3432248 (Why is no real title available?) | 1970-01-01 | Paper |
