Andreas Steigmiller

From MaRDI portal
Person:1694572

Available identifiers

zbMath Open steigmiller.andreasMaRDI QIDQ1694572

List of research outcomes





PublicationDate of PublicationType
The OWL reasoner evaluation (ORE) 2015 competition report2018-02-02Paper
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures2016-01-07Paper
Reasoning with nominal schemas through absorption2015-07-02Paper
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures2014-09-26Paper
Extended Caching, Backjumping and Merging for Expressive Description Logics2012-09-05Paper

Research outcomes over time

This page was built for person: Andreas Steigmiller

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1694572&oldid=6349184"
Powered by MediaWiki