CILC 2021
Italian Conference on Computational Logic

Table of Contents

• Preface
  Summary: There were 24 papers submitted for peer-review to this conference. Out of these, 14 papers were accepted and included this volume, 13 as regular papers and 1 as short paper. In addition, 9 more papers were part of the technical program of the conference. They are not included in this volume because they were already published or submitted elsewhere.

Keynote

• Neuro-Symbolic Learning and Reasoning for Natural Language Processing Tasks
  Marco Lippi

Papers

• Timed Concurrent Language for Argumentation 1-15
  Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
• A Mechanism for Reasoning over Defeasible Preferences in Arg2P 16-30
  Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
• Very Weak, Essentially Undecidabile Set Theories 31-46
  Domenico Cantone, Eugenio Omodeo, Mattia Panettiere
• A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report) 47-61
  Laura Giordano, Daniele Theseider Dupré
• Convergence Verification of Declarative Distributed Systems 62-76
  Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
• Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 77-91
  Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
• Incrementally Predictive Runtime Verification 92-106
  Angelo Ferrando, Giorgio Delzanno
• A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL 107-121
  Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
• On the Design of an Artificial Player for a Popular Word Game 122-132
  Alberto Coffrini, Stefania Monica, Federico Bergenti
• Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming 133-142
  Rocco de Felice, Stefania Monica, Federico Bergenti
• A Declarative Goal-oriented Framework for Smart Environments with LPaaS 143-157
  Giuseppe Bisicchia, Stefano Forti, Antonio Brogi
• Ethical Monitoring and Evaluation of Dialogues with a MAS 158-172
  Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri
• A Smart Health Assistant via DALI Logical Agents 173-187
  Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia

Short papers

• Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results 188-195
  Antonio Ielo, Francesco Ricca

Presented non-original papers

• A Possibility-based Epistemic Planning Framework
  Alessandro Burigana, Diego Calvanese, Paolo Felli, Marco Montali
• Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
  Laura Giordano, Daniele Theseider Dupré
• Geometry of Hohfeldian Relations
  Matteo Pascucci, Giovanni Sileno
• A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
  Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
• Modelling Multi-Agent Epistemic Planning in ASP
  Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
• I-DLV-sr: A Stream Reasoning System based on I-DLV
  Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
• Towards Substructural Property-Based Testing
  Marco Mantovani, Alberto Momigliano
• Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
  Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
• Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
  Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini