Searching for authors named "Heinrich Herre" – sorted by Relevance.
-
Ontology of Time and Situoids in Medical Conceptual Modeling
- Ontology of Time and Situoids in Medical Conceptual Modeling Heinrich Herre and Barbara Heller
- Add To MetaCart
-
A Versioning and Evolution Framework for RDF Knowledge Bases
- A Versioning and Evolution Framework for RDF Knowledge Bases Sören Auer and Heinrich Herre
- Cited by 2 (2 self) – Add To MetaCart
-
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
- Heinrich Herre y Abstract Stable generated models for extended generalized logic programs with two kinds
- Cited by 1 (1 self) – Add To MetaCart
-
Generated Models and Extensions of Nonmonotonic Systems
- @(email omitted); Heinrich Herre Institut fur Informatik University of Leipzig Augustusplatz 10-11 04109 Leipzig, Germany
- Cited by 1 (1 self) – Add To MetaCart
-
Contributions to the Theory of Nonmonotonic Inference Systems
- Contributions to the Theory of Nonmonotonic Inference Systems Jens Dietrich, Heinrich Herre
- Cited by 2 (0 self) – Add To MetaCart
-
Semantical Foundation of Extended Generalized Logic Programs
- Semantical Foundation of Extended Generalized Logic Programs Heinrich Herre Gerd Wagner y
- Cited by 1 (1 self) – Add To MetaCart
-
Stable Models Are Generated by a Stable Chain
- Stable Models Are Generated by a Stable Chain Heinrich Herre Gerd Wagner y Submitted to JLP
- Cited by 23 (13 self) – Add To MetaCart
-
A Unified Framework for Building Ontological Theories with Application and Testing in the Field of Clinical Trials
- : November 8, 2001 Heinrich Herre Department of Formal Concepts Faculty of Mathematics and Computer Science
- Add To MetaCart
-
Nonmonotonic Belief State Frames and Reasoning Frames (Extended Abstract)
- , Heinrich Herre b and Jan Treur a a Free University Amsterdam, Department of Mathematics and Computer
- Cited by 6 (6 self) – Add To MetaCart
-
On the Foundations of UML as an Ontology Representation Language
- Wagner 2 , and Heinrich Herre 3 1 Centre for Telematics and Information Technology, University of Twente
- Cited by 3 (2 self) – Add To MetaCart

