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é