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 |