Kiyoshi Akama, Ekawit Nantajeewarawat. Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. In Joaquim Filipe, Jan L. G. Dietz, editors, KEOD 2013 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013. pages 253-260, SciTePress, 2013. [doi]
Abstract is missing.