Kiyoshi Akama, Ekawit Nantajeewarawat. Integration of and a Solution for Proof Problems and Query-Answering Problems. In Ana L. N. Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe, editors, Knowledge Discovery, Knowledge Engineering and Knowledge Management - 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers. Volume 454 of Communications in Computer and Information Science, pages 215-229, Springer, 2013. [doi]
Abstract is missing.