Logic for Programming, Artificial Intelligence, and Reasoning (Springer Berlin Heidelberg, 2020)