Per Year
- On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (article in journal) — Federico Sabbatini, Roberta Calegari
- Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (ECAI-2023) — Federico Sabbatini, Roberta Calegari
- ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023@KR 2023) — Federico Sabbatini, Roberta Calegari
- Burden of Persuasion: A Meta-argumentation Approach (Journal of Applied Logics) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Preface - Proceedings 39th International Conference on Logic Programming (editorial/introduction/preface) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
- Preface: Fairness and Bias in AI: Insights from AEQUITAS 2023 (editorial/introduction/preface) — Roberta Calegari, Andrea Aler Tubella, Gabriel Gonzalez, Virginia Dignum, Michela Milano
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023@AAMAS 2023) — Federico Sabbatini, Roberta Calegari
- Efficient compliance checking of RDF data (Journal of Logic and Computation) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- Preface (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- A geometric framework for fairness (paper in proceedings) — Alessandro Maggio, Luca Giuliani, Roberta Calegari, Michele Lombardi, Michela Milano
- Proceedings of the 1st Workshop on Fairness and Bias in AI, AEQUITAS 2023 co-located with 26th European Conference on Artificial Intelligence (ECAI 2023) (edited volume) — Roberta Calegari, Andrea Aler Tubella, Gabriel González Castañe, Virginia Dignum, Michela Milano
- Explainable Clustering with CREAM (KR 2023) — Federico Sabbatini, Roberta Calegari
- FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (paper in proceedings) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
- Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Multi-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- The PSyKE Technology for Trustworthy Artificial Intelligence (AIxIA 2022) — Roberta Calegari, Federico Sabbatini
- Assessing and Enforcing Fairness in the AI Lifecycle (paper in proceedings) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
- Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (Artificial Intelligence and Law) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
- Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023) — Federico Sabbatini, Roberta Calegari
- Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023) — Federico Sabbatini, Roberta Calegari
- EPTCS 385-Proceedings 39th International Conference on Logic Programming (edited volume) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
- CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- How to model contrary-to-duty with GCP-nets (Intelligenza Artificiale) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Modular logic argumentation in Arg-tuProlog (AIxIA 2021) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation) — 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
- Burden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (PLP 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
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Taking stock of available technologies for compliance checking on first-order knowledge (CILC 2022) — 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) (Intelligenza Artificiale) — 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
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022) — Federico Sabbatini, Roberta Calegari
- Clustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Probabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- Logic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
- Preface (WOA 2021 – 22nd Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- WOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Explainability through argumentation in logic programming (paper in proceedings) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Argumentation and Defeasible Reasoning in the Law (J — Multidisciplinary Scientific Journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- The Burden of Persuasion in Structured Argumentation (paper in proceedings) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Towards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- A Model for the Burden of Persuasion in Argumentation (JURIX 2020) — Roberta Calegari, Giovanni Sartor
- Computable Law as Argumentation-based MAS (WOA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- WOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- 2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
- Preface (WOA 2020 – 21st Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Burden of Persuasion in Argumentation (ICLP 2020) — Roberta Calegari, Giovanni Sartor
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018@ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Logic Programming as a Service (Theory and Practice of Logic Programming) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- The Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico Denti
- Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Building Smart Spaces on the Home Manager platform (ALP Newsletter) — Roberta Calegari, Enrico Denti
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
- Extending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco Prandini
- tuProlog: Making Prolog Ubiquitous (ALP Newsletter) — Enrico Denti, Andrea Omicini, Roberta Calegari
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
0000-0003-3794-2942— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers