Per Year

34 publications without ACM ID / 2022

2022

A view to a KILL: Knowledge Injection via Lambda Layer (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies (article in journal) — Chiara Bassetti, Enrico Blanzieri, Stefano Borgo, Sofia Marangon
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
Preface - Argumentation for eXplainable AI (editorial/introduction/preface) — Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu Antonio Rago, Leila Amgoud, Pietro Baroni, Nick Bassiliades, Elizabeth Black, Roberta Calegari, Anna Collins, Jérôme Delobelle, Xiuyi Fan
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

34 publications in 2022 without ACM ID • top • index • bottom

publications without ACM ID / 2022 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini