Emiliano Lorini CNRS Researcher (CR1), IRIT (CNRS-UT3), IAST Logic artificial intelligence game theory multi-agent systems Google Scholar Profile