Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I - Kakas, A.C; Kakas, A.C; Sadri, F.; Sadri, F. (Springer Berlin Heidelberg : Imprint: Springer, 2002)