Book

Logics in Artificial Intelligence

by Loizos Michael, Antonis Kakas