A Hybrid Tableau Algorithm for ALCQ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller. A Hybrid Tableau Algorithm for ALCQ. 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 'Jocelyne Faddoul' in GoogleThis author has not been identified. Look up 'Nasim Farsinia' in GoogleThis author has not been identified. Look up 'Volker Haarslev' in GoogleThis author has not been identified. Look up 'Ralf Möller' in Google

runs on WebDSL