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]
Abstract is missing.