This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based...