33 Infos zu Dominik Luecke

1 Aktuelle Nachrichten

4 Profile in Sozialen Netzwerken

größten beruflichen Netzwerk. 4 Jobs sind im Profil von Dominik Luecke aufgelistet.

Sehen Sie sich das berufliche Profil von Dominik Luecke (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...

上领英，在全球领先职业社交平台查看Dominik Luecke的职业档案。Dominik的职业档案列出了4 个职位。查看Dominik的完整档案，结识职场人脉和查看相似公司的 ...

The Heterogeneous Tool Set. Contribute to spechub/Hets development by creating an account on GitHub.

1 Infos zur Ausbildung

Tutoren: Dominik Luecke . Klaus Hartke . Marcus Ermler . Christian Maeder

1 Projekte

Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Managing Change: An Ontology Version Control System. Timothy Redmond, Michael Smith, Nick

3 Bücher zum Namen

... Henrik Løvengreen Etienne Lozes Dorel Lucanu Dominik Luecke Andreas Lundblad Christoph Lüth Christian Maeder M. Majster-Cederbaum Florian Mangold Claude ...

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in...

... Duc Achim Lewandowski Corrado Loglisci Ilaria Lombardi Dominik Luecke Thomas Lukasiewicz Ines Lynce Marie-Laure Mugnier Annapaola Marconi Corrado Mencar ...

2 Dokumente

... (c) Dominik Luecke Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.

Copyright, Dominik Luecke Uni Bremen License, GPLv2 or higher, see LICENSE.txt or LIZENZ.txt. Maintainer, -bremen.de. Stability ...

6 Wissenschaftliche Publikationen

... (c) Dominik Luecke and Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.

... (c) Dominik Luecke, Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.

Copyright, Dominik Luecke, Uni Bremen License, GPLv2 or higher, see LICENSE.txt or LIZENZ.txt. Maintainer, -bremen.de. Stability ...

13 Webfunde aus dem Netz

Dominik Luecke. Overview · Code · Bugs ... Solved Expired Invalid. No questions commented on by Dominik Luecke found with the requested statuses.

Viewing messages posted by 'Dominik Luecke <luecke () informatik ! uni-bremen ! de>' (4 msg) [2] [Haskell-cafe] Haskell Paralellism haskell-c 2.

1. e4 c5 2. Nf3 Nc6 3. Nc3 e6 4. d4 cxd4 5. Nxd4 a6 6. Be2 Qb6 7. Nb3 Nf6 8. Be3 Qc7 9. f4 d Bf3 Be O-O O-O 12. Qd2 b a4 b Ne2 Na5 15.

Dominik Luecke, Till Mossakowski, and Diedrich Wolter: Qualitative reasoning about convex relations. Louis-Emmanuel Martinet, Jean-Baptiste Passot, Benjamin Fouque, Jean-Arcady Meyer, and Angelo Arleo: Map-based spatial navigation: A cortical column model for …

... Zhihui Hao, Junae Kim 54: A Modular Consistency Proof for DOLCE Oliver Kutz, Dominik Luecke, Till Mossakowski 60: Spectrum-Based Sequential Diagnosis ...

39: Oliver Kutz, Dominik Luecke and Till Mossakowski. Designing and Refining Heterogeneous Ontologies. 47: David Lee, Ines Arana, Hatem Ahriz and Kit-Ying​ ...

AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.

Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann; Managing Change: An Ontology Version Control System Timothy Redmond, Michael Smith, ... › Vol-432

Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Managing Change: An Ontology Version Control System. Timothy ...

Dominik Luecke. After the emergence of Allen s Interval Algebra Qualitative Spatial Reasoning has evolved into a fruitful field of research in artificial ... › figure

The OWL in the CASL - Designing Ontologies Across Logics. Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Owlgres: A Scalable OWL ...

Morphism.hs in thesis located at /02-development/Hets/Propositional

Dominik Luecke luecke at informatik.uni-bremen.de. Thu Oct :43:16 EDT Previous message: [Haskell-cafe] Haskell Paralellism; Next message: ...