University of Leipzig /
Faculty of Mathematics & Computer Science /
Department of Computer Science
Homepage of Heinrich Herre
Prof. Dr. nat. habil. Heinrich Herre
Head of the research groups Formal Concepts (IfI) and Ontologies in Medicine and Life Science (IMISE)
News
- OBML 2011 - 3. Workshop der GI-Fachgruppe Ontologien in Biomedizin und Lebenswissenschaften
Berlin, 06.-07. Oktober 2011 [in zeitlicher Übereinstimmung mit der GI-Jahrestagung INFORMATIK 2011]
- Symposium affiliated to the
14th Congress of Logic, Methodology and Philosophy of Science CLMPS-2011,
Ontology between Philosophy and Computer Science, Nancy, France, July 19-26, 2011
Organizers: Heinrich Herre - Universität Leipzig, Roberto Poli - University of Trento,
- OBML 2010 - 2. Workshop der GI-Fachgruppe Ontologien in Biomedizin und Lebenswissenschaften
Mannheim, 09.-10. September 2010 [im Umfeld der GMDS 2010]
- OBML 2009 - 1. Workshop des Arbeitskreises für Ontologien in Biomedizin und
Lebenswissenschaften
Leipzig - MPI EVA, 25.-26. November 2009
-
Gründung eines Arbeitskreises für Ontologien in Biomedizin und
Lebenswissenschaften (OBML)
Forschungsschwerpunkte
Deduktionssystem und Semantik von Logikprogrammen
Ontologische Grundlagen der Wissensrepräsentation
Metatheorie formalisierter Theorien
Publikationen der Arbeitsgruppe ( Auswahl)
1. Deduktionssystem und Semantik von Logikprogrammen:
- Herre, H., Hummel, A. 2009. Stationary Generated Models of Generalized
Logic Programs. Proceedings of the 23rd Workshop on (Constraint) Logic
Programming (WLP-2009) Potsdam
- Herre, H., Hummel, A. 2009. A Paraconsistent Semantics for Generalized
Logic Programs. Proceedings of the 23rd Workshop on (Constraint) Logic
Programming (WLP-2009) Potsdam
- H. Herre, J. Jaspars, G. Wagner.
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based
Reasoning; in D. M. Gabbay and H. Wansing (eds.) What is Negation?,
p.121-159, 1999, Kluwer Academic Publishers.
-
Gerd Wagner: Knowledge Systems: Artificial Agents, and Computational Dialectics,
Technical Report, Univ. of Leipzig, 1999 Preprint.
- J. Engelfriet, H. Herre, Generated Preferred Models and Extensions of
Nonmonotonic Systems, NAIC'98, Proc. of the 10th Netherlands/Belgium
Conference on Artificial Intelligence,
(eds. H. La Poutre, J.v.den Herik), p.287-288
- Ho Ngoc Duc: Resource-Bounded Reasoning about Knowledge, Dissertation, 1998
-
J. Engelfriet, H. Herre und J. Treur: Nonmonotonic Reasoning with Multiple Belief Sets
-
H. Herre und G. Wagner: Stable Models Are Generated by a
Stable Chain, Journal of Logic Programming, 30(2): 165-177, 1997
- G. Wagner. Handling Inconsistency in Knowledge Systems. Special Issue of the
Journal of Applied Non-Classical Logic 7:1-2 (1997)
- H. Herre, R. Dyckhoff und P. Schroeder-Heister: Extensions
of Logic Programming; 5th International Workshop, ELP'96,
Leipzig; LNAI vol. 1050
- H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Reasoning
with Multiple Belief Sets; FAPR'96 (Eds. D. Gabbay, Ohlbach).
LNAI 1085 (1996), 331-344
-
Jens Dietrich: On the Compactness of Nonmonotonic Logics. Report 1996.
-
J. Engelfriet und H. Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
-
H. Herre und G. Wagner: Semantical Foundation of Extended Generalized Logic Programs
-
J.J.Alferes, H.Herre und L.M. Pereira: Partial Models of Extended Generalized Logic Programs
-
Gerd Wagner: Vivid Agents - How they Deliberate, How They React, How They Are
Verified.
Langfassung von G. Wagner: A Logical And Operational Model of Scalable
Knowledge- And Perception-Based Agents, in W. Van de Velde
and J. Perram (Eds.), Agents Breaking Away, Proc. of MAAMAW'96,
Springer Lecture Notes in Artificial Intelligence 1038, 1996.
- Gerd Wagner: Conceptual Foundation of Artificial Agents, Habilitation Thesis, 1996
-
Gerd Wagner: VIVA Knowledge-Based Agent Programming,
Preprint.
-
Ho Ngoc Duc: Reasoning about Rational, but Not Logically
Omniscience Agents (Extended Abstract). In Dov M. Gabbay and
Hans Jürgen Ohlbach (Eds.), Practical Reasoning, Proc. of the
International Conference on Formal and Applied Practical Reasoning, FAPR'96.
Langfassung zu erscheinen in: Journal of Logic and Computation.
- H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Reasoning
with Multiple Belief Sets; FAPR'96 (Eds. D. Gabbay, Ohlbach).
LNAI 1085 (1996), 331-344
-
Jens Dietrich: On the Compactness of Nonmonotonic Logics. Report 1996.
- J. Engelfriet, H. Herre, Generated Preferred Models and Extensions of
Nonmonotonic Systems, NAIC'98, Proc. of the 10th Netherlands/Belgium
Conference on Artificial Intelligence,
(eds. H. La Poutre, J.v.den Herik), p.287-288
- H. Herre: Generalized Compactness of Nonmonotonic Inference
Operations, Journal of Applied Non-classical logic, 1995,
S. 121-135
- H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Belief State Frames and
Reasoning Frames, Proc. of ECSQARU'95, LNAI, vol. 946, 189-196, Springer
- Jens Dietrich: Deductive Bases of Nonmonotonic Inference
Operations .Report 1995
- Jens Dietrich: Inferenzframes. Dissertation 1995.
- H. Herre: Semantical Frames and Generalized Logic Programs
Proc. LMPS'95, Florenz, S. 105
-
Heinrich Herre, Jens Dietrich: Outline of Non-monotonic Model Theory.
Report 1994
-
H. Herre und J. Dietrich: Contributions to the Theory of Nonmonotonic Inference Systems
-
H. Herre und G. Wagner: Declarative Semantics of Deduction Rules with Two Kinds of Negation
- H. Herre: Compactness Properties of Nonmonotonic Inference
Operations; Jelia'94 (York), LNCS vol.838,p.19-33
-
Heinrich Herre: Constructive Proof Systems. Report 1993
- Heinrich Herre, David Pearce: Disjunctive Logic Programming,
Constructivity and Strong Negation. Jelia'92, LNCS 633, p.391-410
- H. Herre: Semantics of Nonmonotonic Reasoning in Logic
Programming, in:
Nonclassical Logic and Information Processing; LNCS 619, 1992,
p. 104-124,
- H. Herre: Non-monotonic Reasoning for Clause Logic Programming
in a general
setting, GWAI'91, 15. Fachtagung für Künstliche Intelligenz,
Informatik-Fachberichte 285 (1991), 43-48,
- H. Herre: Constructive Negation in Logic Programming,
Logic Colloqium 1990, Helsinki, Abstracts: S.38 (and
Journal of Symbolic Logic, S.1127, 1991)
- H. Herre: Das Inferenzproblem in der logischen Programmierung,
in:
Mathematische Grundlagen der Künstlichen Intelligenz (Hrsg.
Grabowski,J.,K.P. Jantke, H. Thiele), Akademie-Verlag, Berlin 1989,
S.161 - 187
- H. Herre: Negation and Constructivity in Logic Programming;
Journal of
New Generation Computer Systems, Heft 4 (1988),S.295-305
- H. Herre: Nonmonotonic Reasoning and Logic Programs; in:
Proceedings of the first Workshop on Nonmonotonic and Inductive
Logic;(Ed. J. Dix et al.); LNCS 543, S. 38-58
2. Ontologische Grundlagen der Wissensrepräsentation:
- Onto-Med
- Herre, H., Hoehndorf, R., Kelso, J., Loebe, F. Schulz, S. 2011. OBML- Ontologies in Biomedicine and Life Sciences. BMC Biomedical Semantics
- Uciteli, A., Gross, S., Herre, H. 2011. An Ontologically founded Architecture for Information Systems in Clinical and Epidemiological Research. BMC Biomedical Semantics.
- Neumuth, D., Loebe, F., Herre, H., Neumuth, T. 2011. Modeling surgical processes: A four-level translational approach. Artificial Intelligence in Medicine Vol. 51(3).
- Hoehndorf, R., Ngonga Ngomo, A.-C., Kelso, J. 2010. Applying the functional abnormality ontology pattern to anatomical functions. Journal of Biomedical Semantics Vol. 1(4).
- Hoehndorf, R., Oellrich, A., Herre, H., Rebholz-Schuhmann, D. 2010. OWLDEF: using OWL reasoning to develop, maintain and enrich OBO ontologies.
- Hartung, M., Loebe, F., Herre, H., Rahm, E. 2010. Management of Evolving Semantic Grid Metadata Within a Collaborative Platform. Information Sciences - Special Issue on Intelligent Distributed Information Systems Vol. 180(10), pp. 1837-1849, Amsterdam:Elsevier
- Hoehndorf, R., Oellrich, A., Dumontier, M., Kelso, J., Rebholz-Schuhmann, D., Herre, H. 2010. Relations as patterns: bridging the gap between OBO and the OWL. BMC - Bioinformatics Vol. 11 (441).
- Herre, H. 2010. The Ontology of Medical Terminological Systems - Towards the Next Generation of Biomedical Ontologies. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer
- Herre, H. 2010. The Ontology of Mereological Systems: A Logical Approach. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 1, Berlin: Springer
- Herre, H. 2010. General Formal Ontology (GFO) : A Foundational Ontology for Conceptual Modelling. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer
- Hoehndorf, R., Prüfer, K. & Kelso, J. 2010. Biomedical Ontologies. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer.
- Hoehndorf, R., Kelso, J., Herre, H. 2009. The ontology of biological
sequences. BMC - Bioinformatics Vol. 10 (377)
- Stausberg, J., Löbe, M., Verplancke, P., Drepper, J., Herre, H.,
Löffler, M. 2009. Foundations of a Metadata Repository for Databases of
Registers and Trials. In: Adlassnig, K.-P. et al (ed.) Medical
Informatics in a United and Healthy Europe (Proceedings of MIE 2009).
Vol. 150 (Studies in Health Technology and Informatics), Amsterdam: IOS
Press
- Hoehndorf, R., Kelso, J., Herre, H. 2009. A Formal Ontology of
Sequences. Nature Precedings 10.1038/npre.2009.35372
- Burek, P., Herre, H., Loebe, F. 2009. Ontological Analysis of Functional
Decompositions. Proceedings of The 8th International Conference on
Software Methodologies, Tools and Techniques (SOMET-2009
- Hoehndorf, R., Loebe, F., Bacher, J., Backhaus, M., Gregorio Jr., S.,
Prüfer, K., Visagie, J., Uciteli, A., Herre, H., Kelso, J. 2009. BOWIKI:
an ontology-based wiki for annotation of data and integration of
knowledge in biology. BMC - Bioinformatics Vol. 10 (5)
- Hoehndorf, R., Ngonga Ngomo, A.-C., Herre, H. 2009. Developing
Consistent and Modular Software Models with Ontologies. Proceedings of
The 8th International Conference on Software Methodologies, Tools and
Techniques (SOMET-2009), to appear 2009.
- Hartung, M., Loebe, F., Herre, H., Rahm, E. 2009. Management of Evolving
Semantic Grid Metadata Within a Collaborative Platform. Information
Sciences -- Special Issue on "Intelligent Distributed Information
Systems", to appear 2009.
- Hoehndorf, R., Loebe, F., Poli, R., Herre, H. & Kelso, J. 2008. GFO-Bio:
A biological core ontology. Applied Ontology Vol. 3(4), pp. 219-227.
- Loebe, F. & Herre, H. 2008. Formal Semantics and Ontologies: Towards an
Ontological Account of Formal Semantics. In: Eschenbach, C. & Gröninger,
M. (ed.) Formal Ontology in Information Systems: Proceedings of the 5th
International Conference, FOIS 2008, Saarbrücken, Germany, Oct 31-Nov 3.
pp. 49-62. Amsterdam: IOS Press.
- Hartung, M., Loebe, F., Herre, H. & Rahm, E. 2008. A Platform for
Collaborative Management of Semantic Grid Metadata. In: Badica, C.,
Mangioni, G., Carchiolo, V. & Burdescu, D.D. (ed.) Intelligent
Distributed Computing, Systems and Applications: Proceedings of the 2nd
International Symposium on Intelligent Distributed Computing, IDC 2008,
Catania, Italy. Studies in Computational Intelligence Vol. 162, pp.
115-125. Berlin: Springer.
- Hoehndorf, R., Bacher, J., Backhaus, M., Gregorio, S.E.J., Loebe, F.,
Prüfer, K., Uciteli, A., Visagie, J., Herre, H. & Kelso, J. 2008.
BOWiki: An ontology-based wiki for annotation of data and integration of
knowledge in biology. In: Lord, P., Shah, N., Sansone, S. & Cockerill,
M. (ed.) Proceedings of the 11th Annual Bio-Ontologies Meetings,
Toronto, Canada, Jul 20.
- Auer, S. & Herre, H. 2007. A Versioning and Evolution Framework for RDF
Knowledge Bases. In: Voronkov, A. & Virbitskaite, I. (ed.) Perspectives
of Systems Informatics: Revised Papers of the Sixth International Andrei
Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, Jun 27-
- Hoehndorf, R., Loebe, F., Kelso, J. & Herre, H. 2007. Representing
default knowledge in biomedical ontologies: Application to the
integration of anatomy and phenotype ontologies. BMC Bioinformatics Vol.
8, pp. 377.1-377.12.
- Backhaus, M., Kelso, J., Bacher, J., Herre, H., Hoehndorf, R., Loebe, F.
& Visagie, J. 2007. BOWiki --- a collaborative annotation and ontology
curation framework [demo description]. In: Noy, N., Alani, H., Stumme,
G., Mika, P., Sure, Y. & Vrandecic, D. (ed.) Proceedings of the Workshop
on Social and Collaborative Construction of Structured Knowledge (CKC
2007) at the 16th International World Wide Web Conference (WWW2007),
Banff, Canada, May 8. CEUR Workshop Proceedings Vol. 273. Aachen,
Germany: CEUR-WS.org.
- Auer, S. & Herre, H. 2007. RapidOWL --- an Agile Knowledge Engineering
Methodology. In: Voronkov, A. & Virbitskaite, I. (ed.) Perspectives of
Systems Informatics: Revised Papers of the Sixth International Andrei
Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, Jun 27-30.
Lecture Notes in Computer Science Vol. 4378, pp. 424-430. Berlin: Springer.
- Hoehndorf, R., Prüfer, K., Backhaus, M., Herre, H., Kelso, J., Loebe, F.
& Visagie, J. 2006. A proposal for a gene functions wiki. In: Meersman,
R., Tari, Z. & Herrero, P. (ed.) On the Move to Meaningful Internet
Systems 2006: OTM 2006 Workshops: Proceedings, Montpellier, France, Oct
29 - Nov 3, Part I [workshop title: Knowledge Systems in Bioinformatics,
KSinBIT 2006]. Lecture Notes in Computer Science Vol. 4277, pp. 669-678.
Berlin: Springer.
- Burek, P., Hoehndorf, R., Loebe, F., Visagie, J., Herre, H. & Kelso, J.
2006. A top-level ontology of functions and its application in the Open
Biomedical Ontologies. Bioinformatics Vol. 22(14), pp. e66-e73.
- Herre, H. & Heller, B. 2006. Semantic Foundations of Medical Information
Systems Based on Top-Level Ontologies. Journal of Knowledge-Based
Systems Vol. 19(2), pp. 107-115.
- B. Heller, H. Herre: Ontological Categories in GOL
- Auer, S. & Herre, H. 2006. RapidOWL -- an Agile Knowledge Engineering Methodology.
In: Proceedings of the Sixth International Andrei Ershov Memorial Conference
"Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
- Herre, H., Heller, B. 2006. Semantic Foundations of Medical Information Systems
Based on Top-Level Ontologies. Journal of Knowledge-Based Systems 19(2):107-112
- Auer, S. Herre, H. 2006. A Versioning and Evolution Framework for RDF Knowledge Bases.
In: Proceedings of the Sixth International Andrei Ershov Memorial Conference
"Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
- Burek, P.; Hoehndorf, R.; Loebe, F.; Visagie, J.; Herre, H. & Kelso, J. 2006.
A top-level ontology of functions and its application in the Open Biomedical Ontologies.
[Accepted for ISMB 2006, to appear in Bioinformatics]
- Herre, H. & Heller, B. 2005. Ontology of Time and Situoids in Medical Conceptual Modeling.
In: Miksch, S.; Hunter, J. & Keravnou, E.T. (ed.) Proceedings of the 10th Conference on
Artificial Intelligence in Medicine (AIME 05), Jul 23 - 27, Aberdeen, Scotland. Lecture Notes
in Computer Science, Vol. 3581, p. 266-275. Berlin: Springer.
- Herre, H. & Loebe, F. 2005. A Meta-ontological Architecture for Foundational Ontologies.
In: Meersman, R. & Tari, Z. (ed.) On the Move to Meaningful Internet Systems 2005:
CoopIS, DOA, and ODBASE: Proceedings of the OTM Confederated International Conferences,
CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, Oct 31 - Nov 4, 2005 (Part II).
Lecture Notes in Computer Science, Vol. 3761, p. 1398-1415. Berlin: Springer.
- Heller, B., Herre, H. & Lippoldt, K. 2004. Domain-Specific Concepts and
Ontological Reduction within a Data Dictionary Framework. In: Rahm, E.
(ed.) Data Integration in the Life Sciences (DILS 2004), 25.-26. März,
Leipzig. Lecture Notes in Bioinformatics, pp. 47-62. Heidelberg: Springer.
- Guizzardi, G., Wagner, G. & Herre, H. 2004. On the Foundations of UML as
an Ontology Representation Language. In: Motta, E., Shadbolt, N., Stutt,
A. & Gibbins, N. (ed.) Engineering Knowledge in the Age of the Semantic
Web: Proceedings of the 14th International Conference (EKAW 2004),
Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science Vol.
3257, pp. 47-62. Berlin: Springer.
- Heller, B. & Herre, H. 2004. Ontological Foundations of Medical
Information Systems. In: Fujita, H. & Gruhn, V. (ed.) New Trends in
Software Methodologies, Tools and Techniques: Proceedings of the Third
SoMeT_W04. Frontiers in Artificial Intelligence and Applications Vol.
111, pp. 3-17. Amsterdam: IOS Press.
- Guizzardi, G., Wagner, G., Herre, H. 2004. On the Foundations of UML as an Ontology
Representation Language. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.)
Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International
Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004.
Lecture Notes in Computer Science, Vol. 3257, p. 47-62. Berlin: Springer.
- Heller, B., Herre, H. 2004. Ontological Foundations of Medical Information Systems,
New Trends in Software Methodologies, Tools and Techniques: Proceedings of the third
SoMeT_W04 eds. Fujita, Hamido and Gruhn, Volker, Frontiers in Artificial Intelligence and Applications,
Vol. 111, p. 3-17. Amsterdam: IOS Press.
- Heller, B., Herre, H., Lippoldt, K. The Theory of Top-Level Ontological Mappings and
its Application to Clinical Trial Protocols. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.)
Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference
(EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 1-14.
Berlin: Springer.
- Heller, B., Herre, H., Lippoldt, K. 2004. Domain-Specific Concepts and Ontological Reduction within
a Data Dictionary Framework. In: Rahm. E. (ed.) Data Integration in the Life Sciences. (DILS 2004),
2004 March 25-26. Leipzig. p. 47-62. Lecture Notes in Bioinformatics, Vol.2994. Heidelberg: Springer.
- Heller, B., Herre, H., Lippoldt, K., Löffler, M. 2004. Standardized Terminology for Clinical
Trial Protocols Based on Ontological Top-Level Categories. In: Kaiser, K., Miksch, S., Tu, S.W. (eds.)
Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on
Computerized Guidelines and Protocols. (CGP 2004), 2004 April 13-14. Prague. p. 46-60.
Studies in Health Technology and Informatics, Vol.101. Amsterdam: IOS-Press
- Heller, B., Herre, H. 2004. Ontological Categories in GOL. Axiomathes 14(1):57-76 Kluwer Academic Publishers
- Burek, P., Herre, H. 2003. Conceptual Modeling based on Upper-Level Ontologies and Meta-Ontological
Foundations. In: Fähnrich, K.-P., Herre, H. (ed.) Content- und Wissensmanagement: Arbeiten aus dem
Forschungsvorhaben PreBIS und Beiträge auf den Leipziger Informatik-Tagen 2003.
Leipziger Beiträge zur Informatik, Vol. 1, p. 153-157. Leipzig: Leipziger Informatik Verbund (LIV).
- Heller, B., Herre, H. 2003 Formal Ontology and the Research Project GOL. In: Fähnrich, K.-P.,
Herre, H. (eds.) Content and Knowledge Management. Leipziger Informatik-Tage (LIT 2003), 2003 Sept 24-26. Leipzig.
- Guizzardi, G., Herre, H., Wagner, G. 2002. On the General Ontological Foundations of Conceptual Modeling.
In: Proceedings of 21th International Conference on Conceptual Modeling, (ER2002), 2002 Okt 07-11;
Tampere, Finland. pp. 97-112. Lecture Notes in Computer Science. Berlin: Springer.
- Guizzardi, G., Herre, H., Wagner, G. 2002. Towards Ontological Foundations for Conceptual
UML Models. In: Meersman R, Tari Z., et al. (eds.) On the Move to Meaningful Internet
Systems 2002: CoopIS, DOA, and ODBASE. Proceedings of the International Conference on Ontologies,
Databases and Applications of Semantics, (ODBASE), 2002 Okt 29-31. Irvine, California. pp. 1100-1117.
Springer.
- B. Heller, H. Herre: GOL: A General Ontological Language, Ontological Spring,
Naumburg, 2002, S.182- 203
- G. Guizzardi, H. Herre, G. Wagner: On the General Ontological Foundatioin of
Conceptual Modeling; ER 2002, LNCS vol. 1937, p.97-112
- G. Guizzardi, H. Herre, G. Wagner: Towards ontological foundations for
conceptual models. ODBASE 2002, LNCS vol. 2519, p.1100-1117
-
W. Degen, B. Heller, H. Herre: Contributions to the Ontological Foundation
of Knowledge Modelling, Report Nr.2 (2001)
-
W. Degen, B. Herre: What is an Upper Level Ontology
-
W. Degen, B. Heller, H. Herre und B. Smith: GOL: Towards an Axiomatized Upper
Level Ontology, 2001
- Heller, B., Herre, H., Smith, B. 2001. GOL: A General Ontological Language.
In: Welty C., Smith B., (eds.) Proceedings of the International Conference on Formal Ontology in
Information Systems, (FOIS 2001), 2001 Oct 17-19. Ogunquit. p. 34-46.
- H. Herre: Theoretical Aspects of Logic-Based Knowledge-Processing;
in Trends in Theoretical Computer Science, Schriftenreihe der
Österreichischen Computer Gesellschaft, Bd. 89, 1996, 9-37
- R. Albrecht, H. Herre: Trends in Theoretical Informatics;
Schriftenreihe der Österreichischen Computer Gesellschaft; Bd. 89,
1996, R. Oldenbourg Wien München 1996
- H. Herre: Semantical Completeness of Model-Based Diagnosis;
Proceedings of the
European Symposium on the Validation and Verification of
Knowledge Based Systems; EUROVAV'93 (24.-25. März, 1993)
(eds. J. Cardenosa, P.Meseguer), 217-130,
- H. Herre: Contributions to Nonmonotonic Model Theory;
in: Non-Classical
Logics in Computer Science (ed. V. Marek, A. Nerode, P.H. Schmitt),
Dagstuhl-Seminar-Report 73 (1993), S. 14,
3. Metatheorie formalisierter Theorien:
- H. Herre: Theory of linear order in extended logics;
in: Quantifiers: Logics, Models and Computation,
(eds.: M. Krynicki, M.
Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 139-192
- H. Herre: Theories of finitely determinate linear orderings
in Stationary
Logic; in: Quantifiers: Logics, Models and Computation,
(eds.: M. Krynicki, M.
Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 89-113
- H. Herre: The Härtig quantifier. A survey
(mit M. Krynicki,
A.Pinus, J. Väänänen): Journal of Symbolic Logic,
vol. 56,(1991), 1153-1183
- H. Herre: Decision Problems for Linear Orderings in
Stationary Logic,
Bulletin of the Section of Logic (Polish Academy of Sciences)
vol. 20 (1991), No.3/4, 102-104
- H. Herre: Superstable Graphs
(mit A. Mekler, Smith,K.W.),
Fund. Math. CXVIII (1983), S. 75-79
- H. Herre: Untersuchungen zur Theorie der linearen Ordnung
in Logiken mit
Mächtigkeitsquantoren (mit H. Wolter), ZML (1981), 73-94
- H. Herre: Modelltheoretische Eigenschaften endlich-valenter
Graphen; ZML (1980), Bd. 26, 51-58
- H. Herre: Concerning the Monadic Theory of the Topology
of Well-Orderings and
Scattered Spaces (mit D.Seese);
Bull. de l' Acad. Pol. d. Sci. vol. XXVIII, N.1-2 (1980)
- H. Herre: Entscheidbarkeit der linearen Ordnung in
Logiken mit
Mächtigkeitsquantoren bzw. Chang-Quantor
(mit H. Wolter), ZML
(1979), 25, 345-358
- H. Herre: Entscheidbarkeit der linearen Ordnung in
L( ) für
reguläres a
(mit H. Wolter); ZML 24 (1978), 73-78
- H. Herre: Zum Entscheidungsproblem für Theorien in Logiken mit
monadischen
verallgemeinerten Quantoren (mit A.Pinus); ZML 24 (1978),
375-384
- H. Herre: Decidability of the theory of linear orderings with
cardinality
quantifier
( arbitrary)
(mit H.Wolter), Notices of the AMS,
vol. (1978)
- H. Herre: Decidability of theories in logics
with additional monadic
quantifiers, in:Proc. of the Symposium on Mathematical Logic in
Oulo '74 and Helsinki; ed. by S. Miettinen and Väänänen,J.,
Reports from Departm. of Philosophy, University of Helsinki 2
(1977), 77-80
- H. Herre, H. Wolter: Entscheidbarkeit der Theorie der linearen Ordnung in
L( )
; ZML 23 (1977), 273-282
- H. Herre: Model theoretic properties of graphs of bounded valency; Logic Colloquium 1977 (ASL),
Wroclaw, Polen; S. 16-17
- H. Herre: Decidability of the theory T<()
of linear orderings with added
quantifier ``there exist at least '' many for regular a
Notices of the AMS vol. 23 (1976), A-449
- H. Herre: Entscheidbarkeit von Theorien von Logiken mit
verallgemeinerten
Quantoren (mit H. Wolter), ZML, Bd. 21 (1975), 229-246
- H. Herre: Decidability of one unary function with
added Quantifier
there exists -many; Notices of the AMS, vol. 22
(1975), A-524
- H. Herre: Nonfinitely axiomatizable theories of graphs,
Bull. de l' Acad. Pol. d.Sci. vol. XXII (1974), n. 12, 1187-1190
- H. Herre: Unentscheidbarkeit in der Graphentheorie,
Bull. de l' Acad. Pol. d. Sci. vol. XXI (1973), 201-208
- H. Herre: Entscheidungsprobleme in der elementaren Theorie
einer zweistelligen
Relation, ZML 18 (1972), 301-318
- H. Herre: Die Entscheidbarkeit der
elementaren Theorie der n-separierten
symmetrischen Graphen endlicher Valenz; ZML 18 (1972), 244-254
- H. Herre: Zur Metatheorie formaler Systeme
(mit J. Hauck , M. Posegga); in: Quantoren, Modalitäten;
Paradoxien (Hrsg. H. Wessel),S. 107-122,
Deutscher Verlag der Wissenschaften, Berlin 1972
- H. Herre: Entscheidbarkeit der monadischen Theorie der
2. Stufe der n-separierten Graphen
(mit K. Hauschild(1), W.Rautenberg);
Wiss.Zeitschrift d. HU, Math.-Nat. Reihe XXI (1972), 507-511
- H. Herre: Entscheidbarkeit der Theorie der
endlichen Bäume und verwandter
Klassen endlicher Strukturen (K. Hauschild, W. Rautenberg);
Wiss. Zeitschr. d. HU, Math.-Nat. R. XXI (1972)
- H. Herre: Interpretierbarkeit und Entscheidbarkeit in der
Graphentheorie II,
(mit K. Hauschild, W. Rautenberg); ZML 18 (1972),
457-480
- H. Herre: Entscheidungsprobleme in der Theorie einer
zweistelligen Relation; Dissertation A, 1971,
Humboldt-Universität, 88 S.
- H. Herre: Das Basistheorem und einige Anwendungen in der
Modelltheorie (mit W. Rautenberg); Wiss. Zeitschrift der HU
Berlin, Math.Nat. R. XIX(1970), 579 - 589
last modified: September 12, 2012