Heinrich Herre

2008
34		Frank Loebe, Heinrich Herre: Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. FOIS 2008: 49-62
33	EE	Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm: A Platform for Collaborative Management of Semantic Grid Metadata. IDC 2008: 115-125
32	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
31	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
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		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		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	[31]
4	Michael Backhaus	[27] [31]
5	Patryk Burek	[28]
6	Wolfgang Degen	[18]
7	Roy Dyckhoff	[12]
8	Joeri Engelfriet	[9] [10] [14] [15] [16]
9	Giancarlo Guizzardi	[19] [20] [21]
10	Michael Hartung	[33]
11	Barbara Heller	[18] [22] [23] [25] [26]
12	Robert Hoehndorf	[27] [28] [31] [32]
13	Janet Kelso	[27] [28] [31] [32]
14	Michal Krynicki	[3]
15	Kristin Lippoldt	[22] [23]
16	Frank Loebe	[24] [27] [28] [31] [32] [33] [34]
17	David Pearce	[5]
18	Luís Moniz Pereira (Luíz Moniz Pereira)	[17]
19	Alexander Pinus	[3]
20	Roberto Poli	[32]
21	Kay Prüfer	[27]
22	Erhard Rahm	[33]
23	Peter Schroeder-Heister	[12]
24	Barry Smith	[18]
25	Jan Treur	[9] [10] [15]
26	Jouko A. Väänänen	[3]
27	Johann Visagie	[27] [28] [31]
28	Gerd Wagner	[11] [13] [19] [20] [21]

Colors in the list of coauthors