Per Year
- 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
- 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
- Towards Human-centric AutoML via Logic and Argumentation (paper in proceedings) — Joseph Giovanelli, Giuseppe Pisano
- Web of Digital Twins (article in journal) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, 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
- 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
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- 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
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- 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
- 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
publications
without
DBLP Key
/
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