Per Year
Per Year
70 publications without Semantic Scholar ID / 2007–2023 / Roberta Calegari
- Burden of Persuasion: A Meta-argumentation Approach
- Multi-Agent Cooperative Argumentation in Arg2P
- The PSyKE Technology for Trustworthy Artificial Intelligence
- Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
- CILC 2022 – Italian Conference on Computational Logic
- How to model contrary-to-duty with GCP-nets
- Modular logic argumentation in Arg-tuProlog
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
- Arg2P: An argumentation framework for explainable intelligent systems
- Burden of Persuasion in Meta-argumentation
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
- Arguing About the Existence of Conflicts
- Taking stock of available technologies for compliance checking on first-order knowledge
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
- Clustering-Based Approaches for Symbolic Knowledge Extraction
- Probabilistic logic programming in 2P-Kt
- Logic Programming library for Machine Learning: API design and prototype
- Preface
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI
- WOA 2021 – 22nd Workshop “From Objects to Agents”
- Explainability through argumentation in logic programming
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
- Argumentation and Defeasible Reasoning in the Law
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P
- The Burden of Persuasion in Structured Argumentation
- Burden of persuasion in argumentation: A meta-argumentation approach
- Burdens of Persuasion and Standards of Proof in Structured Argumentation
- Towards cooperative argumentation for MAS: An actor-based approach
- Arg-tuProlog: A tuProlog-based argumentation framework
- Neuro-symbolic Computation for XAI: Towards a Unified Model
- A Model for the Burden of Persuasion in Argumentation
- Computable Law as Argumentation-based MAS
- WOA 2020 – 21st Workshop “From Objects to Agents”
- 2P-Kt: logic programming with objects & functions in Kotlin
- Preface
- Burden of Persuasion in Argumentation
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
- Arg-tuProlog: a modular logic argumentation tool for PIL
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey
- Argumentation and Logic Programming for Explainable and Ethical AI
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
- Towards XMAS: eXplainability through Multi-Agent Systems
- Defeasible Systems in Legal Reasoning: A Comparative Assessment
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
- Logic Programming as a Service
- Extending Logic Programming with Labelled Variables: Model and Semantics
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS
- From the Blockchain to Logic Programming and Back: Research Perspectives
- Context Reasoning and Prediction in Smart Environments: the Home Manager case
- Logic Programming as a Service (LPaaS): Intelligence for the IoT
- The Butlers Framework for Socio-Technical Smart Spaces
- Towards Logic Programming as a Service: Experiments in tuProlog
- Labelled Variables in Logic Programming: Foundations
- Building Smart Spaces on the Home Manager platform
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
- Labelled Variables in Logic Programming: A First Prototype in tuProlog
0000-0003-3794-2942Mail
AMS-UniBo Mail, Google Mail
Alma Mater
AMS-UniBo Personal Page AMS Campus Page
Addresses
via Galliera 3, 40121 Bologna, Italy
viale del Risorgimento 2, 40136 Bologna, Italy
tel# +39 051 20 93274
— 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