Steigmiller, Andreas

2 publications

JAIR 2015 Pay-as-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures Andreas Steigmiller, Birte Glimm

IJCAI 2013 Nominal Schema Absorption Andreas Steigmiller, Birte Glimm, Thorsten Liebig