CILC 2020
Proceedings of CILC 2020

Table of Contents

• Preface
  Summary: There were 37 papers submitted for peer-review to the conference. Out of these, 25 papers were accepted for this volume, 23 as regular papers and 2 as short papers. In addition, 4 more papers were part of the technical program of CILC 2020 but are not included in this volume, as they were non-original works (i.e., already published or submitted elsewhere).

Abstract of Invited Talks

• Reversibility of Actions and Plans (invited talk) 1-1
  Wolfgang Faber
• Computational Argumentation - Formal Models and Complexity Results (invited talk) 2-2
  Stefan Woltran
• On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk) 3-3
  Marc Denecker
• Introduction to Probabilistic Ontologies (tutorial) 4-4
  Rafael Penaloza

Papers

• 3coSoKu and its Logic Programming Modeling 5-20
  Nicola Rizzo, Agostino Dovier
• Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust 21-35
  Francesco Fabiano
• Disentangling Deontic Positions and Abilities: a Modal Analysis 36-50
  Giovanni Sileno, Matteo Pascucci
• Arg-tuProlog: a tuProlog-based Argumentation Framework 51-66
  Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
• Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 67-81
  Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
• Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs (short paper) 82-90
  Loris Bozzato, Christoph G. Schuetz
• A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms 91-104
  Camillo Fiorentini, Mauro Ferrari
• MutantChick: Type-Preserving Mutation Analysis for Coq (short paper) 105-112
  Matteo Cavada, Andrea Colò, Alberto Momigliano
• On (Maximal, Tractable) Fragments of the Branching Algebra 113-126
  Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
• On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps 127-140
  Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
• Reasoning on Information Term Semantics with ASP for Constructive ELꓕ 141-156
  Loris Bozzato, Camillo Fiorentini
• An Ontology for the Iconographic Sources of La Divina Commedia 157-168
  Andrea De Domenico, Domenico Cantone, Marianna Nicolosi-Asmundo
• Logic-based Machine Learning for Transparent Ethical Agents 169-183
  Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri
• Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents 184-198
  Stefania Costantini
• Theorem Proving for Lewis Logics of Counterfactual Reasoning 199-213
  Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
• A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF 214-230
  Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
• A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals 231-247
  Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
• A Ceteris Paribus Deontic Logic 248-262
  Andrea Loreggia, Emiliano Lorini, Giovanni Sartor
• A Labelling Semantics for Weighted Argumentation Frameworks 263-277
  Stefano Bistarelli, Carlo Taticchi
• Compilation of Aggregates in ASP: Preliminary Results 278-296
  Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
• Towards a Declarative Approach to Object Comparison 297-311
  Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha
• An ASP Approach for Arteries Classification in CT-scans 312-326
  Francesco Fabiano, Alessandro Dal Palù
• Tautology Checkers in Isabelle and Haskell 327-341
  Jørgen Villadsen
• Chemotherapy Treatment Scheduling via Answer Set Programming 342-356
  Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
• A Formally Verified SMT Approach to True Concurrency 357-371
  Juliana K. F. Bowles, Marco B. Caminati

Non-original papers presented to CILC 2020:

• 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