| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Heinrich Herre 19 Giancarlo Guizzardi , Heinrich Herre, Gerd Wagner : Towards Ontological Foundations for UML Conceptual Models. CoopIS/DOA/ODBASE 2002 : 1100-1117 18 Giancarlo Guizzardi , Heinrich Herre, Gerd Wagner : On the General Ontological Foundations of Conceptual Modeling. ER 2002 : 65-78 17 Wolfgang Degen , Barbara Heller , Heinrich Herre, Barry Smith : GOL: toward an axiomatized upper-level ontology. FOIS 2001 : 34-46 16 José Júlio Alferes , Heinrich Herre, Luís Moniz Pereira : Partial Models of Extended Generalized Logic Programs. Computational Logic 2000 : 149-163 15 Joeri Engelfriet , Heinrich Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. JLP 41 (1): 1-25 (1999) 14 Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Reasoning with Multiple Belief Sets. Annals of Mathematics and Artificial Intelligence 24 (1-4): 225-248 (1998) 13 Joeri Engelfriet , Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997 : 85-99 12 Heinrich Herre, Gerd Wagner : Stable Models Are Generated by a Stabel Chain. JLP 30 (2): 165-177 (1997) 11 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 10 Heinrich Herre, Gerd Wagner : Stable Semantics of Temporal Deductive Databases. DDLP 1996 : 95-106 9 Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996 : 331-344 8 Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995 : 189-196 7 Heinrich Herre: Compactness Properties of Nonmonotonic Inference Operations. JELIA 1994 : 19-33 6 Heinrich Herre: Semantical Completeness of Model-Based Diagnosis. EUROVAV 1993 : 217-229 5 Heinrich Herre, David Pearce : Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992 : 391-410 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. The Journal of Symbolic Logic 56 (4): 1153-1183 (1991) 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  DiSC'03 © 2003 Association for Computing Machinery |
