Computational logic9 / vol. ed. by Jörg H. Siekmann. 2014