Davide
Calvaresi

Towards XMAS: eXplainability through Multi-Agent Systems (2019)

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)

Giuseppe
Contissa

Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019) | Arg-tuProlog: a modular logic argumentation tool for PIL (2020)

Jason
Dellaluce

Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019)

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)

Agostino
Dovier

Labelled Variables in Logic Programming: Foundations (2016) | Extending Logic Programming with Labelled Variables: Model and Semantics (2018)

Francesca
Lagioia

Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019)

Stefano
Mariani

Towards Logic Programming as a Service: Experiments in tuProlog (2016) | Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) | 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)

Viviana
Mascardi

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021) | Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021)

Cecilia
Mascolo

CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007)

Mirco
Musolesi

CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007)

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)

Giuseppe
Pisano

Arg-tuProlog: A tuProlog-based argumentation framework (2020) | Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) | Arg-tuProlog: a modular logic argumentation tool for PIL (2020)

Marco
Prandini

Extending a Smart Home Multi-Agent System with Role-Based Access Control (2014)

Franco
Raimondi

CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007)

Riveret
Regis

The Burden of Persuasion in Structured Argumentation (2021)

Galileo
Sartor

Arg-tuProlog: a modular logic argumentation tool for PIL (2020)

Giovanni
Sartor

Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019) | Burden of Persuasion in Argumentation (2020) | A Model for the Burden of Persuasion in Argumentation (2020) | Preface (2020) | Arg-tuProlog: A tuProlog-based argumentation framework (2020) | Argumentation and Logic Programming for Explainable and Ethical AI (2020) | Arg-tuProlog: a modular logic argumentation tool for PIL (2020) | Computable Law as Argumentation-based MAS (2020) | Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (2021) | The Burden of Persuasion in Structured Argumentation (2021)

Enrico
Siboni

2P-Kt: logic programming with objects & functions in Kotlin (2020)