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