Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II - Antonis C. Kakas, Fariba Sadri ((Lecture Notes in Computer Science))