PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Steigmiller, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Extended Caching and Backjumping for Expressive Description Logics.

, , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. Andreas Hotho

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

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

Hon. -Prof. Dr. -Ing. Andreas Pott University of Stuttgart

 

Other publications of authors with the same name

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures., , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 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., , , , and . SSWS@ISWC, volume 1457 of CEUR Workshop Proceedings, page 2-15. CEUR-WS.org, (2015)Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken.. Ausgezeichnete Informatikdissertationen, volume D-17 of LNI, GI, (2016)Extending Absorption to Nominal Schemas., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 428-450. CEUR-WS.org, (2013)Extended Caching and Backjumping for Expressive Description Logics., , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Extended Caching, Backjumping and Merging for Expressive Description Logics., , and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 514-529. Springer, (2012)Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures., and . J. Artif. Intell. Res., (2015)The OWL Reasoner Evaluation (ORE) 2015 Competition Report., , , , and . J. Autom. Reasoning, 59 (4): 455-482 (2017)Absorption-Based Query Entailment Checking for Expressive Description Logics., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)