Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings Calimeri Francesco Heftet / 2019 / Engelsk
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings Calimeri Francesco Heftet / 2017 / Engelsk