1

2

3 “.... The aim of this meeting wasto bring together researchers working in the fields of computational logic...”

4 “...This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational...”