Logics in artificial intelligencede Michael Fisher, Alexei LisitsaMateriasInformatiqueMathematical Logic and Formal LanguagesProgramming TechniquesSymbolic and mathematical LogicCongressesArtificial Intelligence (incl. Robotics)CongresIntelligence artificielleArtificial intelligence