Marc Denecker. On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk). In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 3, CEUR-WS.org, 2020. [doi]
Abstract is missing.