Per Year

32 publications  /  2022

2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Włodzimierz Drabent
On Correctness and Completeness of an n Queens Program
Theory and Practice of Logic Programming 22(1), 2022
Roberta Calegari, Giovanni Ciatto, Andrea Omicini (eds.)
CILC 2022 – Italian Conference on Computational Logic
CILC 2022. CEUR Workshop Proceedings 3204, 2022
Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
How to model contrary-to-duty with GCP-nets
Intelligenza Artificiale 16(2), December 2022
Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Modular logic argumentation in Arg-tuProlog
AIxIA 2021. Lecture Notes in Computer Science, July 2022
Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021)
Intelligenza Artificiale 16(1), July 2022
Joseph Giovanelli, Giuseppe Pisano
Towards Human-centric AutoML via Logic and Argumentation
DATAPLAT 2022, 2022
Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
Web of Digital Twins
ACM Transactions on Internet Technology 22(4), November 2022
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
Intelligenza Artificiale 16(1), July 2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
KINS: Knowledge Injection via Network Structuring
CILC 2022. CEUR Workshop Proceedings 3204, 2022
Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
CILC 2022. CEUR Workshop Proceedings 3204, 2022
Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Arg2P: An argumentation framework for explainable intelligent systems
Journal of Logic and Computation 32(2), March 2022
Adrian A. Hopgood
Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of Persuasion in Meta-argumentation
AIxIA 2021 – Advances in Artificial Intelligence. Lecture Notes in Computer Science 13196, 2022
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 (eds.)
ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
PLP 2022. CEUR Workshop Proceedings 3193, 31 July – 1 August 2022
Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
Arguing About the Existence of Conflicts
Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 353, 2022
Andrea Agiollo, Andrea Omicini
GNN2GNN: Graph Neural Networks to Generate Neural Networks
UAI 2022. Proceedings of Machine Learning Research 180, August 2022
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
Fifty Years of Prolog and Beyond
Theory and Practice of Logic Programming 22(6), November 2022
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
Taking stock of available technologies for compliance checking on first-order knowledge
CILC 2022. AI*IA Series 3204, 2022
Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari (eds.)
Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021)
Intelligenza Artificiale 16(1), July 2022
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE
EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022
Federico Sabbatini, Roberta Calegari
Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
XAI-FIN-2022 - Second Workshop on Explainable AI in Finance @ICAIF 2022, 2 November 2022
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
IEEE Internet of Things Journal 9(20), 2022
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Alessandro Ricci, Angelo Croatti, Sara Montagna
Pervasive and Connected Digital Twins - A Vision for Digital Health
IEEE Internet Computing 26(05), 2022
Stefano Mariani, Giacomo Cabri, Franco Zambonelli
Coordination of Autonomous Vehicles: Taxonomy and Survey
ACM Computing Surveys 54(1), 2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors
EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022
Federico Sabbatini, Roberta Calegari
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
KR 2022, August 2022
Federico Sabbatini, Roberta Calegari
Clustering-Based Approaches for Symbolic Knowledge Extraction
XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation, July 2022
Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Probabilistic logic programming in 2P-Kt
AIxIA 2021. CEUR Workshop Proceedings 3078, January 2022
Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
Logic Programming library for Machine Learning: API design and prototype
CILC 2022. CEUR Workshop Proceedings 3204, 2022
(32 publications in 2022)  [top]  [bottom]

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY