Program
| Wednesday,29 June 2022 | |
|---|---|
| 14.00-15.40 | Session 1 Chair: Andrea Omicini |
| 14:00 | CARING for xAI Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano and Eleonora Iotti |
| 14:20 | An Application of ASP for Procedural Content Generation in Video Games Andrea De Seta and Mario Alviano |
| 14:40 | Declarative Pattern Mining in Digital Forensics: Preliminary Results Francesca Alessandra Lisi and Gioacchino Sterlicchio |
| 15:00 | An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases: an abridged report Laura Giordano, Daniele Theseider Dupré |
| 15:20 | An ASP-based Approach to Master Surgical Scheduling Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi and Marco Schouten |
| 15:40 | Break |
| 16.00-17.40 | Session 2 Chair: Francesca Alessandra Lisi |
| 16:00 | From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics Laura Giordano |
| 16:20 | Temporalizing Epistemic Logic L-DINF Stefania Costantini, Andrea Formisano and Valentina Pitoni |
| 16:40 | Epistemic Logic Programs: an approach to Semantic Comparison Stefania Costantini and Andrea Formisano |
| 17:00 | Heisenberg in Quantum Automata Riccardo Romanello and Carla Piazza |
| 17:20 | Modeling and Solving the Rush Hour puzzle Lorenzo Cian, Talissa Dreossi and Agostino Dovier |
| Thursday, 30 June 2022 | ||
|---|---|---|
| 09:05 | Welcome Speech Andrea Omicini |
|
| 09:15 |
Keynote Speech Manuel Hermenegildo Prolog at 50 |
|
| 10:45 | Break | |
| 11.00-13.00 | Session 3 Chair: Stefania Monica |
|
| 11:00 | A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logics Carmelo Fabio Longo and Corrado Santoro |
|
| 11:20 | Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma and Fabrizio Riguzzi |
|
| 11:40 | Abduction in (Probabilistic) Answer Set Programming Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi |
|
| 12:00 | A Semantics for Hybrid Probabilistic Logic Programs with Function Symbols Damiano Azzolini, Fabrizio Riguzzi and Evelina Lamma |
|
| 12:20 | Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps Davide Ancona, Angelo Ferrando and Viviana Mascardi |
|
| 12:40 | An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols Marco Alberti, Riccardo Zese, Fabrizio Riguzzi and Evelina Lamma |
|
| 13:00 | Lunch | |
| 14.15-15.55 | Session 4 Chair: Viviana Mascardi |
|
| 14:15 | A decomposition approach to the Clinical Pathway Deployment for chronic outpatients with comorbidity Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma |
|
| 14:35 | GPU parallelism for SAT solving heuristics Michele Collevati, Agostino Dovier and Andrea Formisano |
|
| 14:55 | Constraints propagation on GPU: A case study for AllDifferent Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel and Enrico Pontelli |
|
| 15:15 | An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence Lorenzo De Lauretis, Fabio Persia and Stefania Costantini |
|
| 15:35 | Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri and Sergio Tessaris |
|
| 15:55 | Break | |
| 16:15 | Gulp meeting and Special Session | |
| 20:00 | Social Dinner | |
| Friday, 1 July 2022 | ||
|---|---|---|
| 9.15-10.55 | Session 5 Chair: Giovanni Ciatto |
|
| 9:15 | A Four-State Labelling Semantics for Weighted Argumentation Frameworks Stefano Bistarelli and Carlo Taticchi |
|
| 9:35 | Verification of Program Contracts using Constrained Horn Clauses Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti |
|
| 9:55 | Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle Nikola Panic and Gian Luca Pozzato |
|
| 10:15 | Taking stock of available technologies for compliance checking on first-order knowledge Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh and Ilias Tachmazidis |
|
| 10:35 | Epistemic Multiagent Reasoning with Collaborative Robots Davide Soldà, Francesco Fabiano and Agostino Dovier |
|
| 10:55 | Break | |
| 11.10-12.50 | Session 6 Chair: Agostino Dovier |
|
| 11:10 | Logic Programming library for Machine Learning: API design and prototype Giovanni Ciatto, Matteo Castigliò and Roberta Calegari |
|
| 11:30 | A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca and Ettore Ritacco |
|
| 11:50 | KINS: Knowledge Injection via Network Structuring Matteo Magnini, Giovanni Ciatto and Andrea Omicini |
|
| 12:10 | Forward refutation for Gödel-Dummett Logics Camillo Fiorentini and Mauro Ferrari |
|
| 12:30 | Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking Stefania Costantini, Giovanni De Gasperis and Patrizio Migliarini |
|
| 13:00 | Lunch | |
| 14.15-17.00 | Technical Contest Chair: Roberta Calegari (see detailed program here) | |