Negin Arhami, Geoff Sutcliffe. Automated Theorem Proving by Translation to Description Logic. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 1-14, EasyChair, 2015. [doi]
Abstract is missing.