Per anno

48 pubblicazioni con Scopus ID / 1990–2022 / Roberta Calegari

long bib

2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2007

2022

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
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (articolo in rivista) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Arg2P: An argumentation framework for explainable intelligent systems (articolo in rivista) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Preface - Argumentation for eXplainable AI (editoriale/introduzione/prefazione) — 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 (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Arguing About the Existence of Conflicts (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
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
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Probabilistic logic programming in 2P-Kt (articolo in atti) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto

12 pubblicazioni nel 2022 con Scopus ID • in cima • indice • in fondo

2021

Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo in rivista) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (articolo in atti) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of persuasion in argumentation: A meta-argumentation approach (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Towards cooperative argumentation for MAS: An actor-based approach (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

10 pubblicazioni nel 2021 con Scopus ID • in cima • indice • in fondo

2020

Arg-tuProlog: A tuProlog-based argumentation framework (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Neuro-symbolic Computation for XAI: Towards a Unified Model (articolo in atti) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Computable Law as Argumentation-based MAS (articolo in atti) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Argumentation and Logic Programming for Explainable and Ethical AI (articolo in atti) — Roberta Calegari, Andrea Omicini, Giovanni Sartor

8 pubblicazioni nel 2020 con Scopus ID • in cima • indice • in fondo

2019

Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (articolo in rivista) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards XMAS: eXplainability through Multi-Agent Systems (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Defeasible Systems in Legal Reasoning: A Comparative Assessment (articolo in atti) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (articolo in atti) — Andrea Omicini, Roberta Calegari
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

6 pubblicazioni nel 2019 con Scopus ID • in cima • indice • in fondo

2018

Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming as a Service (articolo in rivista) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics (articolo in rivista) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

6 pubblicazioni nel 2018 con Scopus ID • in cima • indice • in fondo

2017

Logic Programming as a Service (LPaaS): Intelligence for the IoT (articolo in atti) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

1 pubblicazione nel 2017 con Scopus ID • in cima • indice • in fondo

2016

Towards Logic Programming as a Service: Experiments in tuProlog (articolo in atti) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Labelled Variables in Logic Programming: Foundations (articolo in atti) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

2 pubblicazioni nel 2016 con Scopus ID • in cima • indice • in fondo

2015

Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (articolo in atti) — Enrico Denti, Roberta Calegari
Labelled Variables in Logic Programming: A First Prototype in tuProlog (articolo in atti) — Roberta Calegari, Enrico Denti, Andrea Omicini

2 pubblicazioni nel 2015 con Scopus ID • in cima • indice • in fondo

2007

CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (articolo in atti) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo

1 pubblicazione nel 2007 con Scopus ID • in cima • indice • in fondo