University of Leipzig  /  Faculty of Mathematics & Computer Science  /  Department of Computer Science foto

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)
 
Research Group Formal Concepts              Research Group Ontologies in Medicine and Life Science
Institute for Informatics Institute for Medical Informatics, Statistics and Epidemiology
University of Leipzig University of Leipzig
Augustuplatz 10   [Neues Augusteum] Härtelstrasse 16-18
04109 Leipzig 04107 Leipzig
Germany
 
Phone: +49-341-9732213 Phone: +49-341-9716161
Fax:      +49-341-9732207 / 9732299 Fax:      +49-341-9716130
Room:  P 610   [Neues Paulinum] Room:  230
E-mail: herre@informatik.uni-leipzig.de E-mail: heinrich.herre@imise.uni-leipzig.de
Web: www.informatik.uni-leipzig.de/fk/ Web: www.onto-med.de
Sprechzeit: nach Vereinbarung

News

Forschungsschwerpunkte

Deduktionssystem und Semantik von Logikprogrammen
Ontologische Grundlagen der Wissensrepräsentation
Metatheorie formalisierter Theorien

Publikationen der Arbeitsgruppe ( Auswahl)

1. Deduktionssystem und Semantik von Logikprogrammen:

[back to top] back to top

2. Ontologische Grundlagen der Wissensrepräsentation:

[back to top] back to top

3. Metatheorie formalisierter Theorien:

      last modified: September 12, 2012