Heinrich Herre

Available identifiers

zbMath Open herre.heinrichMaRDI QIDQ1277801

List of research outcomes

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
Formal semantics and ontologies	2009-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q4411724	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4537427	2002-06-30	Paper
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning	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
https://portal.mardi4nfdi.de/entity/Q4186297	1979-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/Q4186298	1979-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 für Reguläres ωx	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
https://portal.mardi4nfdi.de/entity/Q5680120	1972-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
Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5183486	1970-01-01	Paper

Research outcomes over time

This page was built for person: Heinrich Herre