Jérôme Mengin

• Logics in Artificial Intelligence