Title: Logics in Artificial Intelligence
Subjects: Artificial intelligence, Logic, symbolic and mathematical