|  | Vol-3002 urn:nbn:de:0074-3002-3 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# CILC 2021
Italian Conference on Computational Logic

### Proceedings of the 36th Italian Conference on Computational Logic

### Parma, Italy, September 7-9, 2021.

Edited by

### Stefania Monica *
Federico Bergenti **

* Università degli Studi di Modena e Reggio Emilia, Dipartimento di Scienze e Metodi dell'Ingegneria, 42122 Reggio Emilia, Italy
** Università degli Studi di Parma, Dipartimento di Scienze Matematiche, Fisiche e Informatiche, 43124 Parma, Italy

## 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

2021-11-08: submitted by Federico Bergenti, metadata incl. bibliographic data published under Creative Commons CC0
2021-11-10: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|