Logics in Artificial Intelligence

Logics in Artificial Intelligence