39 publications  /  19 co-authors  /  Roberta Calegari

Davide Calvaresi | Giovanni Ciatto | Giuseppe Contissa | Jason Dellaluce | Enrico Denti | Agostino Dovier | Francesca Lagioia | Stefano Mariani | Viviana Mascardi | Cecilia Mascolo | Mirco Musolesi | Andrea Omicini | Giuseppe Pisano | Marco Prandini | Franco Raimondi | Riveret Regis | Galileo Sartor | Giovanni Sartor | Enrico Siboni 

Davide
Calvaresi

(1) [ top ][ bottom ]

Giovanni
Ciatto

Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) | LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) | From the Blockchain to Logic Programming and Back: Research Perspectives (2018) | Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) | Towards XMAS: eXplainability through Multi-Agent Systems (2019) | Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) | Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) | Preface (2020) | On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020) | Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) | Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) | 2P-Kt: logic programming with objects & functions in Kotlin (2020) | Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021) | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (2021) | Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021)

(15) [ top ][ bottom ]

Giuseppe
Contissa

(2) [ top ][ bottom ]

(1) [ top ][ bottom ]

Enrico
Denti

tuProlog: Making Prolog Ubiquitous (2013) | Extending a Smart Home Multi-Agent System with Role-Based Access Control (2014) | Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) | Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (2015) | Building Smart Spaces on the Home Manager platform (2016) | Towards Logic Programming as a Service: Experiments in tuProlog (2016) | The Butlers Framework for Socio-Technical Smart Spaces (2016) | Labelled Variables in Logic Programming: Foundations (2016) | Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) | Context Reasoning and Prediction in Smart Environments: the Home Manager case (2017) | Extending Logic Programming with Labelled Variables: Model and Semantics (2018) | Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) | Logic Programming as a Service (2018) | LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) | From the Blockchain to Logic Programming and Back: Research Perspectives (2018) | Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) | Logic Programming as a Service in Multi-Agent  Systems for the Internet of Things (2019) | Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) | Preface (2020) | Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) | 2P-Kt: logic programming with objects & functions in Kotlin (2020)

(21) [ top ][ bottom ]

Agostino
Dovier

(2) [ top ][ bottom ]

Francesca
Lagioia

(1) [ top ][ bottom ]

Stefano
Mariani

(8) [ top ][ bottom ]

Viviana
Mascardi

(2) [ top ][ bottom ]

Cecilia
Mascolo

(1) [ top ][ bottom ]

(1) [ top ][ bottom ]

Andrea
Omicini

tuProlog: Making Prolog Ubiquitous (2013) | Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) | Towards Logic Programming as a Service: Experiments in tuProlog (2016) | Labelled Variables in Logic Programming: Foundations (2016) | Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) | Extending Logic Programming with Labelled Variables: Model and Semantics (2018) | Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) | Logic Programming as a Service (2018) | LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) | From the Blockchain to Logic Programming and Back: Research Perspectives (2018) | Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) | Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019) | Towards XMAS: eXplainability through Multi-Agent Systems (2019) | Logic Programming as a Service in Multi-Agent  Systems for the Internet of Things (2019) | Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) | Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) | Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (2019) | Preface (2020) | On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020) | Arg-tuProlog: A tuProlog-based argumentation framework (2020) | Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) | Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) | Argumentation and Logic Programming for Explainable and Ethical AI (2020) | Computable Law as Argumentation-based MAS (2020) | 2P-Kt: logic programming with objects & functions in Kotlin (2020) | Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021) | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (2021) | Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021) | Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (2021)

(29) [ top ][ bottom ]

Giuseppe
Pisano

(3) [ top ][ bottom ]

(1) [ top ][ bottom ]

Franco
Raimondi

(1) [ top ][ bottom ]

Riveret
Regis

(1) [ top ][ bottom ]

Galileo
Sartor

(1) [ top ][ bottom ]

Giovanni
Sartor

(10) [ top ][ bottom ]

Enrico
Siboni

(1) [ top ][ bottom ]


Tags:
    
Avatar

Contacts

Mail 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

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY