Proceedings of CILC 2020

Proceedings of CILC 2020 include all accepted original contributions (both full and short), and are published by CEUR-WS.org.

Non-original contributions

• Besides all original papers, CILC 2020 featured the presentation of some additional non-original works, i.e., works appeared or submitted somewhere else:

  • • Continuous Reasoning for Managing Next-Gen Distributed Applications
      Stefano Forti, Antonio Brogi

    • Logical Judges Challenge Human Judges on the Strange Case of B.C.--Valjean
      Viviana Mascardi, Domenico Pellegrini

    • A Machine Learning guided Rewriting Approach for ASP Logic Programs
      Elena Mastria, Jessica Zangari, Francesco Calimeri, Simona Perri

    • Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
      Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti