CILC 2022 – Italian Conference on Computational Logic

   page       BibTeX_logo.png       attach   
CEUR Workshop Proceedings (AI*IA Series) 3204
CEUR-WS
2022

Synopsis based on the public preface: These proceedings collect work presented at the 37th Italian Conference on Computational Logic, held in Bologna from 29 June to 1 July 2022. The accepted contributions range from foundational results to applications and case studies in agents and multi-agent systems, constraint and logic programming, argumentation, and explainable AI; the programme also included a Prolog-at-50 keynote and a logic-technology contest.

origin event
journal or series
book CEUR Workshop Proceedings (CEUR-WS.org)
works as
container publication for
page_white_acrobat KINS: Knowledge Injection via Network Structuring (paper in proceedings, 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
page_white_acrobat Taking stock of available technologies for compliance checking on first-order knowledge (paper in proceedings, 2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis