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