Per Year
- A view to a KILL: Knowledge Injection via Lambda Layer (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- On Correctness and Completeness of an n Queens Program (article in journal) — Włodzimierz Drabent
- CILC 2022 – Italian Conference on Computational Logic (edited volume) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- How to model contrary-to-duty with GCP-nets (article in journal) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Modular logic argumentation in Arg-tuProlog (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Towards Human-centric AutoML via Logic and Argumentation (paper in proceedings) — Joseph Giovanelli, Giuseppe Pisano
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- KINS: Knowledge Injection via Network Structuring (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (paper in proceedings) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
- Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- Arg2P: An argumentation framework for explainable intelligent systems (article in journal) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (book) — Adrian A. Hopgood
- Burden of Persuasion in Meta-argumentation (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (edited volume) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (paper in proceedings) — Andrea Agiollo, Andrea Omicini
- Fifty Years of Prolog and Beyond (article in journal) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
- Taking stock of available technologies for compliance checking on first-order knowledge (paper in proceedings) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (special issue) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Pervasive and Connected Digital Twins - A Vision for Digital Health (article in journal) — Alessandro Ricci, Angelo Croatti, Sara Montagna
- Coordination of Autonomous Vehicles: Taxonomy and Survey (article in journal) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Clustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Probabilistic logic programming in 2P-Kt (paper in proceedings) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- Logic Programming library for Machine Learning: API design and prototype (paper in proceedings) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari