Extended Caching, Backjumping and Merging for Expressive Description Logics

Andreas Steigmiller, Thorsten Liebig, Birte Glimm. Extended Caching, Backjumping and Merging for Expressive Description Logics. In Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, pages 514-529, Springer, 2012. [doi]

Abstract

Abstract is missing.