Guilin Qi, Jeff Z. Pan. A Tableau Algorithm for Possibilistic Description Logic . In Diego Calvanese, Georg Lausen, editors, Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Volume 5341 of Lecture Notes in Computer Science, pages 238-239, Springer, 2008. [doi]
Abstract is missing.