Title: Logics for artificial intelligence
Subjects: Artificial intelligence, Symbolic and mathematical Logic, Mathematische Logik, Logique symbolique et mathématique, Künstliche Intelligenz, Intelligence artificielle