PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Steigmiller, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extended Caching, Backjumping and Merging for Expressive Description Logics.

, , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 514-529. Springer, (2012)

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.

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)

Andreas Baumann University of Stuttgart

Hybrid Digital Twins Using FMUs to Increase the Validity and Domain of Virtual Commissioning Simulations, , , , und . Advances in Automotive Production Technology – Towards Software-Defined Manufacturing and Resilient Supply Chains, Seite 200-209. Cham, Springer, (2023)

PD Dr. Andreas Heßelmann University of Stuttgart

Andreas Ganzenmüller University of Stuttgart

Hon. -Prof. Dr. Andreas Schrell University of Stuttgart

 

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)Optimisation of tableau-based reasoning systems for expressive description logics.. University of Ulm, Germany, (2016)The OWL Reasoner Evaluation (ORE) 2015 Competition Report., , , , und . SSWS@ISWC, Volume 1457 von CEUR Workshop Proceedings, Seite 2-15. CEUR-WS.org, (2015)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)Absorption-Based Query Entailment Checking for Expressive Description Logics., und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)