Program

Session 1

Chair: Viviana Mascardi

• Stefano Bistarelli, Maria Chiara Meo, and Carlo Taticchi, Timed Concurrent Language for Argumentation
• Giuseppe Pisano, Roberta Calegari, Andrea Omicini, and Giovanni Sartor, A Mechanism for Reasoning over Defeasible Preferences in Arg-2P
• Alessandro Burigana, Diego Calvanese, Paolo Felli, and Marco Montali, A Possibility-based Epistemic Planning Framework (photo)

Session 2

Chair: Stefano Forti

• Domenico Cantone, Eugenio Omodeo, and Mattia Panettiere, Very Weak, Essentially Undecidabile Set Theories
• Laura Giordano and Daniele Theseider Dupré, A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report)
• Laura Giordano and Daniele Theseider Dupré, Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
• Matteo Pascucci and Giovanni Sileno, Geometry of Hohfeldian relations

Keynote

Chair: Stefania Monica

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

Combining symbolic and sub-symbolic approaches to perform learning and reasoning tasks has long been a major goal for artificial intelligence. Nowadays, due to the success of deep learning, this research area is mostly focusing on the integration of domain knowledge within deep neural networks, with the twofold aim of improving performance and to increase interpretability. In this talk, I will present the application of this kind of techniques to the field of natural language processing, with specific reference to the legal domain and to argument mining.

Session 3

Chair: Marco Gavanelli

• Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, and Marco Montali, Convergence Verication of Declarative Distributed Systems (photo)
• Sylvain Conchon, Giorgio Delzanno, and Arnaud Sangnier, Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction
• Angelo Ferrando and Giorgio Delzanno, Incrementally Predictive Runtime Verification
• Asta Halkjær From, Anders Schlichtkrull, and Jørgen Villadsen, A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL

Session 4

Chair: Francesca Lisi (photo)

• Antonio Ielo and Francesco Ricca, Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
• Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, and Ivan Porro, A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling (photo)
• Alessandro Burigana, Francesco Fabiano, Agostino Dovier, and Enrico Pontelli, Modelling Multi-Agent Epistemic Planning in ASP (photo)
• Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, and Jessica Zangari, I-DLV-sr: A Stream Reasoning System Vased on I-DLV

Session 5

Chair: Roberta Calegari

• Alberto Coffrini, Stefania Monica, and Federico Bergenti, On the Design of an Artificial Player for a Popular Word Game (photo)
• Rocco de Felice, Stefania Monica, and Federico Bergenti, Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming
• Marco Mantovani and Alberto Momigliano, Towards Substructural Property-Based Testing
• Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese, Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints (photo)

Session 6

Chair: Andrea Formisano

• Giuseppe Bisicchia, Stefano Forti, and Antonio Brogi, A Declarative Goal-oriented Framework for Smart Environments with LPaaS
• Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, and Ivan Letteri, Ethical Monitoring and Evaluation of Dialogues with a MAS
• Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, and Fabio Persia A Smart Health Assistant via DALI Logical Agents
• Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, and Andrea Omicini, Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review