( en | de | ru )

 

Disambiguierung von "Herre, Heinrich"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compactness Properties of Nonmonotonic Inference Operations.

. JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heinrich Herre

Heinrich Herre

Heinrich Herre

Heinrich Herre

Veronika Herre

 

Weitere Publikationen von Autoren mit dem selben Namen

Disjunctive Logic Programming, Constructivity and Strong Negation., und . JELIA, Volume 633 von Lecture Notes in Computer Science, Seite 391-410. Springer, (1992)Semantical Completeness of Model-Based Diagnosis.. EUROVAV, Seite 217-229. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Generated Preferred Models and Extensions of Nonmonotonic Systems., und . ILPS, Seite 85-99. MIT Press, (1997)GOL: toward an axiomatized upper-level ontology., , , und . FOIS, Seite 34-46. ACM, (2001)Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)., , und . ECSQARU, Volume 946 von Lecture Notes in Computer Science, Seite 189-196. Springer, (1995)Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects., , und . JOWO, Volume 2969 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Stable Models Are Generated by a Stabel Chain., und . J. Log. Program., 30 (2): 165-177 (1997)Semantics of Nonmonotonic Reasoning in Logic Programming.. Nonclassical Logics and Information Processing, Volume 619 von Lecture Notes in Computer Science, Seite 104-124. Springer, (1990)Towards GFO 2.0: Architecture, Modules and Applications., , und . FOIS, Volume 330 von Frontiers in Artificial Intelligence and Applications, Seite 32-45. IOS Press, (2020)Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas., , , , , , , , , und 1 andere Autor(en). GMDS, Volume 278 von Studies in Health Technology and Informatics, Seite 66-74. IOS Press, (2020)