Title: Formal methods in artificial intelligence
Subjects: Artificial intelligence, Methodology, Reasoning, Symbolic and mathematical Logic, Mathematische Logik, Formele logica, Raisonnement, Kunstmatige intelligentie, Methodologie, Methode, Kunstliche Intelligenz, Logique symbolique et mathematique, Intelligence artificielle, Logik, Méthodologie, Logique symbolique et mathématique, Künstliche Intelligenz