Reasoning Web. Declarative Artificial Intelligence 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures Manna, Marco Heftet / 2020 / Engelsk
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings Calimeri Francesco Heftet / 2019 / Engelsk
