Homepage of Heinrich Herre

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

[back to top]

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,

[back to top]

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

[back to top]