PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Steigmiller, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending Absorption to Nominal Schemas.

, , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 428-450. CEUR-WS.org, (2013)

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.

PD Dr. Andreas Heßelmann University of Stuttgart

A density-fitting implementation of the density-based basis-set correction method, , , , , und . Journal of computational chemistry, 45 (15): 1247-1253 (2024)

Univ. -Prof. Dr. -Ing. Andreas Strohmayer University of Stuttgart

Editorial: Innovation in aviation and space for opening new horizons, , und . Aircraft engineering and aerospace technology, 96 (1): 1 (2024)

Univ. -Prof. Dr. Andreas Kronenburg University of Stuttgart

Carrier-Phase DNS of Ignition and Combustion of Iron Particles in a Turbulent Mixing Layer, , , , , , , , , und 2 andere Autor(en). Flow turbulence and combustion, 112 (4): 1083–1103 (2024)

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , und . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , und . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Junior-Prof. Dr.-Ing. Andreas Pott

 

Weitere Publikationen von Autoren mit dem selben Namen

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures., , und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 449-463. Springer, (2014)The OWL Reasoner Evaluation (ORE) 2015 Competition Report., , , , und . SSWS@ISWC, Volume 1457 von CEUR Workshop Proceedings, Seite 2-15. CEUR-WS.org, (2015)Optimisation of tableau-based reasoning systems for expressive description logics.. University of Ulm, Germany, (2016)Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken.. Ausgezeichnete Informatikdissertationen, Volume D-17 von LNI, GI, (2016)Extended Caching, Backjumping and Merging for Expressive Description Logics., , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 514-529. Springer, (2012)Extending Absorption to Nominal Schemas., , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 428-450. CEUR-WS.org, (2013)Extended Caching and Backjumping for Expressive Description Logics., , und . Description Logics, Volume 846 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures., und . J. Artif. Intell. Res., (2015)The OWL Reasoner Evaluation (ORE) 2015 Competition Report., , , , und . J. Autom. Reasoning, 59 (4): 455-482 (2017)Completion Graph Caching for Expressive Description Logics., , und . Description Logics, Volume 1350 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)