Title: Logiques pour l'intelligence artificielle
Subjects: Intelligence artificielle, Logique symbolique et mathématique