Program and Accepted Papers

October 13th

Keynote: Wolfgang Faber - October 13th, 09:00 AM

• Wolfgang Faber: Reversibility of Actions and Plans

  • • Session Chair: Stefania Costantini

    • TO ATTEND: click here

Languages, Tools and Applications (1) - October 13th, 10:40 AM

1. Giuseppe Pisano, Roberta Calegari, Andrea Omicini and Giovanni Sartor: Arg-tuProlog: a tuProlog-based argumentation framework

2. Jørgen Villadsen: Tautology Checkers in Isabelle and Haskell

3. Francesco Fabiano: Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust

4. Bruno Sofiato, Fábio Levy Siqueira and Ricardo Luis de Azevedo da Rocha: Towards a Declarative Approach to Object Comparison

   1. • Session Chair: Alberto Pettorossi

      • TO ATTEND: click here

Formal Methods (1) - October 13th, 11:30 AM

1. Juliana Küster Filipe Bowles and Marco B. Caminati: A formally verified SMT Approach to True Concurrency

2. Domenico Cantone, Andrea De Domenico, Pietro Maugeri and Eugenio Omodeo: A quadratic reduction of constraints over nested sets to purely Boolean formulae in CNF

3. Silvio Ghilardi, Alessandro Gianola and Deepak Kapur: Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations

   1. • Session Chair: Gianluca Pozzato

      • TO ATTEND: click here

Theory and Foundations (1) - October 13th, 12:10 PM

1. Andrea Loreggia, Emiliano Lorini and Giovanni Sartor: A Ceteris Paribus Deontic Logic

2. Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio Omodeo and Gaetano Spartà: A decidable theory of differentiable functions with convexities and concavities on real intervals

3. Camillo Fiorentini and Mauro Ferrari: A natural deduction calculus for Gödel-Dummett Logic internalizing proof-search control mechanisms

   1. • Session Chair: Laura Giordano

      • TO ATTEND: click here

Answer Set Programming (1) - October 13th, 12:50 PM

1. Elena Mastria, Jessica Zangari, Simona Perri and Francesco Calimeri: A Machine Learning guided Rewriting Approach for ASP Logic Programs

2. Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro and Francesco Ricca: Compilation of Aggregates in ASP: Preliminary Results

3. Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi and Ivan Letteri: Logic-based Machine Learning for Transparent Ethical Agents

   1. • Session Chair: Marco Maratea

      • TO ATTEND: click here

October 14th

Keynote: Stefan Woltran - October 14th, 09:00 AM

• Stefan Woltran: Computational Argumentation — Formal Models and Complexity Results

  1. • Session Chair: Stefano Bistarelli

     • TO ATTEND: click here

Languages, Tools and Applications (2) - October 14th, 10:40 AM

1. Stefano Forti and Antonio Brogi: Continuous Reasoning for Managing Next-Gen Distributed Applications

2. Stefania Costantini: Ensuring Trustworthy Behavior in Intelligent Logical Agents

3. Loris Bozzato and Christoph G. Schuetz: Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs

4. Matteo Cavada, Andrea Colò and Alberto Momigliano: Type-Preserving Mutation Analysis for Coq

   1. • Session Chair: Marco Gavanelli

      • TO ATTEND: click here

Formal Methods (2) - October 14th, 11:30 AM

1. Giovanni Sileno and Matteo Pascucci: Disentangling deontic positions and abilities: a modal analysis

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

3. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato: Theorem proving for Lewis’ Logics of Counterfactual Reasoning

   1. • Session Chair: Eugenio Omodeo

      • TO ATTEND: click here

Theory and Foundations (2) - October 14th, 12:10 PM

1. Stefano Bistarelli and Carlo Taticchi: A Labelling Semantics for Weighted Argumentation Frameworks

2. Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco and Stefano Trevisani: On (Maximal) Tractable Fragments of the Branching Algebra

3. Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupré: On a plausible concept-wise multipreference semantics and its relations with self-organising maps

   1. • Session Chair: Maurizio Proietti

      • TO ATTEND: click here

Awards: announcement - October 14th, 12:50 PM

• CILC 2020 awards: 🏆

  • Best Paper award: Nicola Rizzo and Agostino Dovier: 3coSoKu and its logic programming modeling - (see award here)

  • Best Practical Impact award: Francesco Fabiano and Alessandro Dal Palù: An ASP approach for arteries classification in CT scans - (see award here)

    • Session Chair: Mario Alviano

    • TO ATTEND: click here

October 15th

Keynote: Marc Denecker - October 15th, 09:00 AM

• Marc Denecker: On the informal semantics of knowledge representation languages and the case of Logic Programming

  1. • Session Chair: Agostino Dovier

     • TO ATTEND: click here

Languages, Tools and Applications (3) - October 15th, 10:40 AM

1. Andrea De Domenico, Domenico Cantone and Marianna Nicolosi-Asmundo: An ontology for the iconographic sources of the Divine Comedy

2. Nicola Rizzo and Agostino Dovier: 3coSoKu and its logic programming modeling

3. Viviana Mascardi and Domenico Pellegrini: Logical Judges Challenge Human Judges on the Strange Case of B.C.--Valjean

   1. • Session Chair: Wolfgang Faber

      • TO ATTEND: click here

Tutorial: Rafael Penaloza - October 15th, 11:20 AM

• Rafael Penaloza: Introduction to Probabilistic Ontologies

  1. • Session Chair: Fabrizio Riguzzi

     • TO ATTEND: click here

Answer Set Programming (2) - October 15th, 12:50 PM

1. Francesco Fabiano and Alessandro Dal Palù: An ASP approach for arteries classification in CT scans

2. Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi and Ivan Porro: Chemotherapy Treatment Scheduling via Answer Set Programming

3. Loris Bozzato and Camillo Fiorentini: Reasoning on Information Term Semantics with ASP for Constructive EL_bot

   1. • Session Chair: Francesco Ricca

      • TO ATTEND: click here