Book

Logics in Artificial Intelligence

by Tomi Janhunen, Ilkka Niemelä