The Revival of Structural Subsumption in Tableau-based Reasoners - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf Möller, Volker Haarslev, Sebastian Wandelt. The Revival of Structural Subsumption in Tableau-based Reasoners. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

This author has not been identified. Look up 'Ralf Möller' in GoogleThis author has not been identified. Look up 'Volker Haarslev' in GoogleThis author has not been identified. Look up 'Sebastian Wandelt' in Google

runs on WebDSL