Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Tableaux-based Mobile DL Reasoner - An Experience Report.

F. Müller, M. Hanselmann, T. Liebig, und O. Noppens. Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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.

Hon. -Prof. Dr. Volker Liebig University of Stuttgart

Thorsten Herrmann

Thorsten Pape University of Stuttgart

Dr. Thorsten Lutz University of Stuttgart

CFD-based Studies of Propeller Sizing and Operation Settings for High-Lift Applications of Distributed PropulsionM. Firnhaber Beckers, M. Kern, M. Schollenberger, und T. Lutz. AIAA AVIATION 2023 Forum, Seite 3396. American Institute of Aeronautics and Astronautics, (2023)

Thorsten Bieser University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.A. Steigmiller, B. Glimm, und T. Liebig. IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 449-463. Springer, (2014)Towards an Ontology for Substances and Related Actions.B. Höfling, T. Liebig, D. Rösner, und L. Webel. EKAW, Volume 1621 von Lecture Notes in Computer Science, Seite 191-206. Springer, (1999)Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing.A. Cheptsov, A. Tenschert, P. Schmidt, B. Glimm, M. Matthesius, und T. Liebig. WISE Workshops, Volume 8182 von Lecture Notes in Computer Science, Seite 62-74. Springer, (2013)Metadata Aggregation for Personalized Music Playlists - A Multi-layered Architecture for an In-Car Prototype.C. Hahn, S. Turlier, T. Liebig, S. Gebhardt, und C. Roelle. USAB, Volume 6389 von Lecture Notes in Computer Science, Seite 427-442. Springer, (2010)Connecting the Dots in Million-Nodes Knowledge Graphs with SemSpect.T. Liebig, V. Vialard, und M. Opitz. International Semantic Web Conference (Posters, Demos & Industry Tracks), Volume 1963 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Ontologies and Reasoning to Capture Product Complexity in Automation Industry.S. Elmer, F. Jrad, T. Liebig, A. ul Mehdi, M. Opitz, T. Stauß, und D. Weidig. International Semantic Web Conference (Posters, Demos & Industry Tracks), Volume 1963 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Efficient Processing of Huge Ontologies in Logic and Relational Databases.T. Weithöner, T. Liebig, und G. Specht. OTM Workshops, Volume 3292 von Lecture Notes in Computer Science, Seite 28-29. Springer, (2004)SSWS 2007 PC Co-chairs' Message.A. Fokoue, Y. Guo, T. Liebig, und B. Parsia. OTM Workshops (2), Volume 4806 von Lecture Notes in Computer Science, Seite 1103. Springer, (2007)An Overview of the Festo Semantic Platform.K. Evers, T. Liebig, A. Maisenbacher, M. Opitz, J. Seyler, G. Sudra, und J. Wissmann. ESWC (Satellite Events), Volume 11762 von Lecture Notes in Computer Science, Seite 43-46. Springer, (2019)Reasoning with Nominal Schemas through Absorption.A. Steigmiller, B. Glimm, und T. Liebig. J. Autom. Reasoning, 53 (4): 351-405 (2014)