The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Heinrich Herre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Heinrich Herre, Barbara Heller
    Ontology of Time and Situoids in Medical Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:266-275 [Conf]
  2. Heinrich Herre
    Semantics of Nonmonotonic Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Nonclassical Logics and Information Processing, 1990, pp:104-124 [Conf]
  3. José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
    Partial Models of Extended Generalized Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:149-163 [Conf]
  4. Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
    Towards Ontological Foundations for UML Conceptual Models. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2002, pp:1100-1117 [Conf]
  5. Heinrich Herre, Gerd Wagner
    Stable Semantics of Temporal Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DDLP, 1996, pp:95-106 [Conf]
  6. Barbara Heller, Heinrich Herre, Kristin Lippoldt
    Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. [Citation Graph (0, 0)][DBLP]
    DILS, 2004, pp:47-62 [Conf]
  7. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:189-196 [Conf]
  8. Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
    On the Foundations of UML as an Ontology Representation Language. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:47-62 [Conf]
  9. Barbara Heller, Heinrich Herre, Kristin Lippoldt
    The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:1-14 [Conf]
  10. Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
    On the General Ontological Foundations of Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
    ER, 2002, pp:65-78 [Conf]
  11. Heinrich Herre
    Semantical Completeness of Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:217-229 [Conf]
  12. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:331-344 [Conf]
  13. Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
    GOL: toward an axiomatized upper-level ontology. [Citation Graph (0, 0)][DBLP]
    FOIS, 2001, pp:34-46 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ISMB (Supplement of Bioinformatics), 2006, pp:66-73 [Conf]
  15. Heinrich Herre
    Compactness Properties of Nonmonotonic Inference Operations. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:19-33 [Conf]
  16. Heinrich Herre, David Pearce
    Disjunctive Logic Programming, Constructivity and Strong Negation. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:391-410 [Conf]
  17. Heinrich Herre
    Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. [Citation Graph (0, 0)][DBLP]
    GWAI, 1991, pp:43-48 [Conf]
  18. Heinrich Herre
    Nonmonotonic Reasoning and Logic Programs. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1990, pp:38-58 [Conf]
  19. Heinrich Herre, Frank Loebe
    A Meta-ontological Architecture for Foundational Ontologies. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1398-1415 [Conf]
  20. Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie
    A Proposal for a Gene Functions Wiki. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:669-678 [Conf]
  21. Joeri Engelfriet, Heinrich Herre
    Generated Preferred Models and Extensions of Nonmonotonic Systems. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:85-99 [Conf]
  22. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:225-248 [Journal]
  23. Heinrich Herre
    Generalized Compactness of Nonmonotonic Inference Operations. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
  24. Joeri Engelfriet, Heinrich Herre
    Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:1-25 [Journal]
  25. Heinrich Herre, Gerd Wagner
    Stable Models Are Generated by a Stabel Chain. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:2, pp:165-177 [Journal]
  26. Heinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen
    The Härtig Quantifier: A Survey. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:4, pp:1153-1183 [Journal]
  27. Heinrich Herre, Barbara Heller
    Semantic foundations of medical information systems based on top-level ontologies. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2006, v:19, n:2, pp:107-115 [Journal]
  28. Sören Auer, Heinrich Herre
    RapidOWL - An Agile Knowledge Engineering Methodology. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:424-430 [Conf]
  29. Sören Auer, Heinrich Herre
    A Versioning and Evolution Framework for RDF Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:55-69 [Conf]

  30. Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. [Citation Graph (, )][DBLP]


  31. BOWiki - a Collaborative Annotation and Ontology Curation Framework. [Citation Graph (, )][DBLP]


  32. A Platform for Collaborative Management of Semantic Grid Metadata. [Citation Graph (, )][DBLP]


  33. Developing Consistent and Modular Software Models with Ontologies. [Citation Graph (, )][DBLP]


  34. Ontological Analysis of Functional Decomposition. [Citation Graph (, )][DBLP]


  35. Foundations of a Metadata Repository for Databases of Registers and Trials. [Citation Graph (, )][DBLP]


  36. Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. [Citation Graph (, )][DBLP]


  37. BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. [Citation Graph (, )][DBLP]


  38. The ontology of biological sequences. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002