Andreas Steigmiller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The OWL reasoner evaluation (ORE) 2015 competition report Journal of Automated Reasoning	2018-02-02	Paper
Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures Journal of Artificial Intelligence Research	2016-01-07	Paper
Reasoning with nominal schemas through absorption Journal of Automated Reasoning	2015-07-02	Paper
Coupling tableau algorithms for expressive description logics with completion-based saturation procedures Automated Reasoning	2014-09-26	Paper
Extended caching, backjumping and merging for expressive description logics Automated Reasoning	2012-09-05	Paper

Research outcomes over time

This page was built for person: Andreas Steigmiller