CILC 2022
Italian Conference on Computational Logic

Table of Contents

• Preface

Summary: There were 32 papers submitted for peer-review to this workshop. Out of these, 24 papers were accepted for this volume, 23 as regular papers and 1 as extended abstract, whereas 6 papers were only presented during the conference, having already been published elsewhere.

Keynote

• Prolog at 50
  Manuel Hermenegildo

Accepted Papers

• Taking stock of available technologies for compliance checking on first-order knowledge 1–16
  Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
• GPU parallelism for SAT solving heuristics 17–31
  Michele Collevati, Agostino Dovier, Andrea Formisano
• Epistemic Multiagent Reasoning with Collaborative Robots 32–46
  Davide Soldà, Francesco Fabiano, Agostino Dovier
• CARING for xAI 47–60
  Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti
• Constraints propagation on GPU: A case study for AllDifferent 61–74
  Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
• A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic 75–89
  Carmelo Fabio Longo, Corrado Santoro
• Abduction in (Probabilistic) Answer Set Programming 90–103
  Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
• Logic Programming library for Machine Learning: API design and prototype 104–118
  Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
• Temporalizing Epistemic Logic L-DINF 119–133
  Stefania Costantini, Andrea Formisano, Valentina Pitoni
• An Application of ASP for Procedural Content Generation in Video Games 134–140
  Andrea De Seta, Mario Alviano
• An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence 141–153
  Lorenzo De Lauretis, Fabio Persia, Stefania Costantini
• Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 154–170
  Davide Ancona, Angelo Ferrando, Viviana Mascardi
• Forward refutation for Gödel-Dummett Logics 171–185
  Camillo Fiorentini, Mauro Ferrari
• Epistemic Logic Programs: an approach to Semantic Comparison 186–200
  Stefania Costantini, Andrea Formisano
• Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. 201–216
  Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
• Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle 217–231
  Nikola Panic, Gian Luca Pozzato
• Declarative Pattern Mining in Digital Forensics: Preliminary Results 232–246
  Francesca Alessandra Lisi, Gioacchino Sterlicchio
• A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels 247–253
  Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
• KINS: Knowledge Injection via Network Structuring 254–267
  Matteo Magnini, Giovanni Ciatto, Andrea Omicini
• Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking 268–278
  Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini
• A Four-State Labelling Semantics for Weighted Argumentation Frameworks 279–293
  Stefano Bistarelli, Carlo Taticchi
• Modeling and Solving the Rush Hour puzzle 294–306
  Lorenzo Cian, Talissa Dreossi, Agostino Dovier
• From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract) 307–312
  Laura Giordano
• An ASP-based Approach to Master Surgical Scheduling 313–328
  Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten

Presented papers, published elsewhere

• A decomposition approach to the Clinical Pathway Deployment for chronic outpatients with comorbidity
  Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
• Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
  Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
• Verification of Program Contracts using Constrained Horn Clauses
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
• A Semantics for Hybrid Probabilistic Logic Programs with Function Symbols
  Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
• Heisenberg in Quantum Automata
  Riccardo Romanello, Carla Piazza
• An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols (Technical Communication at ICLP 2022)
  Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
• 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é