Per Year
- Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques
(paper in proceedings) — Federico Sabbatini, Roberta Calegari - 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
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Efficient compliance checking of RDF data (article in journal) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Explainable Clustering with CREAM (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Multi-Agent Cooperative Argumentation in Arg2P (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- The PSyKE Technology for Trustworthy Artificial Intelligence (paper in proceedings) — 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 (article in journal) — 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
- Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (paper in proceedings) — 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
- 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
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Arg2P: An argumentation framework for explainable intelligent systems (article in journal) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Burden of Persuasion in Meta-argumentation (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (paper in proceedings) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Argumentation and Defeasible Reasoning in the Law (article in journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- The Burden of Persuasion in Structured Argumentation (paper in proceedings) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (article in journal) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- A Model for the Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (article in journal) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Arg-tuProlog: a modular logic argumentation tool for PIL (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (article in journal) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (article in journal) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (paper in proceedings) — Andrea Omicini, Roberta Calegari
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Logic Programming as a Service (article in journal) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Extending Logic Programming with Labelled Variables: Model and Semantics (article in journal) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (paper in proceedings) — Roberta Calegari, Enrico Denti
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings) — Roberta Calegari, Enrico Denti
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (paper in proceedings) — Enrico Denti, 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