| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Heinrich Herre Barbara Heller , Heinrich Herre, Kristin Lippoldt : Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. DILS 2004 : 47-62 Giancarlo Guizzardi , Heinrich Herre, Gerd Wagner : Towards Ontological Foundations for UML Conceptual Models. CoopIS/DOA/ODBASE 2002 : 1100-1117 Giancarlo Guizzardi , Heinrich Herre, Gerd Wagner : On the General Ontological Foundations of Conceptual Modeling. ER 2002 : 65-78 Wolfgang Degen , Barbara Heller , Heinrich Herre, Barry Smith : GOL: toward an axiomatized upper-level ontology. FOIS 2001 : 34-46 José Júlio Alferes , Heinrich Herre, Luís Moniz Pereira : Partial Models of Extended Generalized Logic Programs. Computational Logic 2000 : 149-163 Joeri Engelfriet , Heinrich Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41 (1): 1-25 (1999) Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24 (1-4): 225-248 (1998) Joeri Engelfriet , Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997 : 85-99 Heinrich Herre, Gerd Wagner : Stable Models Are Generated by a Stabel Chain. J. Log. Program. 30 (2): 165-177 (1997) 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 Heinrich Herre, Gerd Wagner : Stable Semantics of Temporal Deductive Databases. DDLP 1996 : 95-106 Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996 : 331-344 Joeri Engelfriet , Heinrich Herre, Jan Treur : Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995 : 189-196 Heinrich Herre: Generalized Compactness of Nonmonotonic Inference Operations. Journal of Applied Non-Classical Logics 5 (1): (1995) Heinrich Herre: Compactness Properties of Nonmonotonic Inference Operations. JELIA 1994 : 19-33 Heinrich Herre: Semantical Completeness of Model-Based Diagnosis. EUROVAV 1993 : 217-229 Heinrich Herre, David Pearce : Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992 : 391-410 Heinrich Herre: Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. GWAI 1991 : 43-48 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) Heinrich Herre: Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing 1990 : 104-124 Heinrich Herre: Nonmonotonic Reasoning and Logic Programs. Nonmonotonic and Inductive Logic 1990 : 38-58 1 [ 17 ] 2 [ 18 ] 3 [ 12 ] 4 [ 9 ] [ 10 ] [ 14 ] [ 15 ] [ 16 ] 5 [ 19 ] [ 20 ] 6 [ 18 ] [ 21 ] 7 [ 3 ] 8 [ 21 ] 9 [ 5 ] 10 [ 17 ] 11 [ 3 ] 12 [ 12 ] 13 [ 18 ] 14 [ 9 ] [ 10 ] [ 15 ] 15 [ 3 ] 16 [ 11 ] [ 13 ] [ 19 ] [ 20 ]  ©2004 Association for Computing Machinery |
