- Pubblicazioni
- Per anno
- A view to a KILL: Knowledge Injection via Lambda Layer (articolo in atti) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- On Correctness and Completeness of an n Queens Program (articolo in rivista) — Włodzimierz Drabent
- CILC 2022 – Italian Conference on Computational Logic (curatela) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- How to model contrary-to-duty with GCP-nets (articolo in rivista) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Modular logic argumentation in Arg-tuProlog (articolo in atti) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Towards Human-centric AutoML via Logic and Argumentation (articolo in atti) — Joseph Giovanelli, Giuseppe Pisano
- Web of Digital Twins (articolo in rivista) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (articolo in rivista) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- KINS: Knowledge Injection via Network Structuring (articolo in atti) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (articolo in atti) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
- Integration of Logical English and s(CASP) (articolo in atti) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- Arg2P: An argumentation framework for explainable intelligent systems (articolo in rivista) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (libro) — Adrian A. Hopgood
- Burden of Persuasion in Meta-argumentation (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (curatela) — 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 (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (articolo in atti) — Andrea Agiollo, Andrea Omicini
- Fifty Years of Prolog and Beyond (articolo in rivista) — 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 (articolo in atti) — 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) (numero speciale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (articolo in atti) — Federico Sabbatini, Roberta Calegari
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Pervasive and Connected Digital Twins - A Vision for Digital Health (articolo in rivista) — Alessandro Ricci, Angelo Croatti, Sara Montagna
- Coordination of Autonomous Vehicles: Taxonomy and Survey (articolo in rivista) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (articolo in atti) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (articolo in atti) — Federico Sabbatini, Roberta Calegari
- Clustering-Based Approaches for Symbolic Knowledge Extraction (articolo in atti) — Federico Sabbatini, Roberta Calegari
- Probabilistic logic programming in 2P-Kt (articolo in atti) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- Logic Programming library for Machine Learning: API design and prototype (articolo in atti) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
33
pubblicazioni
/
2022
•
in cima •
indice •
in fondo