Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jaromir Malenko, Petr Stepánek. Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Jaromir Malenko' in GoogleThis author has not been identified. Look up 'Petr Stepánek' in Google

runs on WebDSL