Heinrich Herre Vis

*	2009
39	EE	Jürgen Stausberg, Matthias Löbe, Philippe Verplancke, Johannes Drepper, Heinrich Herre, Markus Löffler: Foundations of a Metadata Repository for Databases of Registers and Trials. MIE 2009: 409-413
38	EE	Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre: Developing Consistent and Modular Software Models with Ontologies. SoMeT 2009: 399-412
37	EE	Patryk Burek, Heinrich Herre, Frank Loebe: Ontological Analysis of Functional Decomposition. SoMeT 2009: 428-439
36	EE	Robert Hoehndorf, Joshua Bacher, Michael Backhaus, Sergio E. Gregorio Jr., Frank Loebe, Kay Prüfer, Alexandr Uciteli, Johann Visagie, Heinrich Herre, Janet Kelso: BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. BMC Bioinformatics 10(S-5): (2009)
	2008
35		Frank Loebe, Heinrich Herre: Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. FOIS 2008: 49-62
34	EE	Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm: A Platform for Collaborative Management of Semantic Grid Metadata. IDC 2008: 115-125
33	EE	Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre, Janet Kelso: GFO-Bio: A biological core ontology. Applied Ontology 3(4): 219-227 (2008)
	2007
32	EE	Michael Backhaus, Janet Kelso, Joshua Bacher, Heinrich Herre, Robert Hoehndorf, Frank Loebe, Johann Visagie: BOWiki - a Collaborative Annotation and Ontology Curation Framework. CKC 2007
31	EE	Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre: Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. BMC Bioinformatics 8: (2007)
	2006
30	EE	Sören Auer, Heinrich Herre: RapidOWL - An Agile Knowledge Engineering Methodology. Ershov Memorial Conference 2006: 424-430
29	EE	Sören Auer, Heinrich Herre: A Versioning and Evolution Framework for RDF Knowledge Bases. Ershov Memorial Conference 2006: 55-69
28	EE	Patryk Burek, Robert Hoehndorf, Frank Loebe, Johann Visagie, Heinrich Herre, Janet Kelso: A top-level ontology of functions and its application in the Open Biomedical Ontologies. ISMB (Supplement of Bioinformatics) 2006: 66-73
27	EE	Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie: A Proposal for a Gene Functions Wiki. OTM Workshops (1) 2006: 669-678
26	EE	Heinrich Herre, Barbara Heller: Semantic foundations of medical information systems based on top-level ontologies. Knowl.-Based Syst. 19(2): 107-115 (2006)
	2005
25	EE	Heinrich Herre, Barbara Heller: Ontology of Time and Situoids in Medical Conceptual Modeling. AIME 2005: 266-275
24	EE	Heinrich Herre, Frank Loebe: A Meta-ontological Architecture for Foundational Ontologies. OTM Conferences (2) 2005: 1398-1415
	2004
23	EE	Barbara Heller, Heinrich Herre, Kristin Lippoldt: Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. DILS 2004: 47-62
22	EE	Barbara Heller, Heinrich Herre, Kristin Lippoldt: The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. EKAW 2004: 1-14
21	EE	Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre: On the Foundations of UML as an Ontology Representation Language. EKAW 2004: 47-62
	2002
20	EE	Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner: Towards Ontological Foundations for UML Conceptual Models. CoopIS/DOA/ODBASE 2002: 1100-1117
19	EE	Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner: On the General Ontological Foundations of Conceptual Modeling. ER 2002: 65-78
	2001
18	EE	Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith: GOL: toward an axiomatized upper-level ontology. FOIS 2001: 34-46
	2000
17	EE	José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
	1999
16		Joeri Engelfriet, Heinrich Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41(1): 1-25 (1999)
	1998
15		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24(1-4): 225-248 (1998)
	1997
14		Joeri Engelfriet, Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997: 85-99
13		Heinrich Herre, Gerd Wagner: Stable Models Are Generated by a Stabel Chain. J. Log. Program. 30(2): 165-177 (1997)
	1996
12		Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings Springer 1996
11		Heinrich Herre, Gerd Wagner: Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106
10		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996: 331-344
	1995
9		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995: 189-196
8		Heinrich Herre: Generalized Compactness of Nonmonotonic Inference Operations. Journal of Applied Non-Classical Logics 5(1): (1995)
	1994
7	EE	Heinrich Herre: Compactness Properties of Nonmonotonic Inference Operations. JELIA 1994: 19-33
	1993
6		Heinrich Herre: Semantical Completeness of Model-Based Diagnosis. EUROVAV 1993: 217-229
	1992
5	EE	Heinrich Herre, David Pearce: Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992: 391-410
	1991
4		Heinrich Herre: Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. GWAI 1991: 43-48
3		Heinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen: The Härtig Quantifier: A Survey. J. Symb. Log. 56(4): 1153-1183 (1991)
	1990
2		Heinrich Herre: Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing 1990: 104-124
1		Heinrich Herre: Nonmonotonic Reasoning and Logic Programs. Nonmonotonic and Inductive Logic 1990: 38-58

Coauthor Index

1	José Júlio Alferes	[17]
2	Sören Auer	[29] [30]
3	Joshua Bacher	[32] [36]
4	Michael Backhaus	[27] [32] [36]
5	Patryk Burek	[28] [37]
6	Wolfgang Degen	[18]
7	Johannes Drepper	[39]
8	Roy Dyckhoff	[12]
9	Joeri Engelfriet	[9] [10] [14] [15] [16]
10	Sergio E. Gregorio Jr.	[36]
11	Giancarlo Guizzardi	[19] [20] [21]
12	Michael Hartung	[34]
13	Barbara Heller	[18] [22] [23] [25] [26]
14	Robert Hoehndorf	[27] [28] [31] [32] [33] [36] [38]
15	Janet Kelso	[27] [28] [31] [32] [33] [36]
16	Michal Krynicki	[3]
17	Kristin Lippoldt	[22] [23]
18	Matthias Löbe	[39]
19	Frank Loebe	[24] [27] [28] [31] [32] [33] [34] [35] [36] [37]
20	Markus Löffler	[39]
21	Axel-Cyrille Ngonga Ngomo	[38]
22	David Pearce	[5]
23	Luís Moniz Pereira (Luíz Moniz Pereira)	[17]
24	Alexander Pinus	[3]
25	Roberto Poli	[33]
26	Kay Prüfer	[27] [36]
27	Erhard Rahm	[34]
28	Peter Schroeder-Heister	[12]
29	Barry Smith	[18]
30	Jürgen Stausberg	[39]
31	Jan Treur	[9] [10] [15]
32	Alexandr Uciteli	[36]
33	Jouko A. Väänänen	[3]
34	Philippe Verplancke	[39]
35	Johann Visagie	[27] [28] [32] [36]
36	Gerd Wagner	[11] [13] [19] [20] [21]

Colors in the list of coauthors