Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari

ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops

(edited volume) PLP 2022. CEUR Workshop Proceedings 3193, 31 July – 1 August 2022

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model

(paper in proceedings) WOA 2022. CEUR Workshop Proceedings 3261, November 2022

7 publications in 2022 with DBLP Key • top • index • bottom

2021

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction

(paper in proceedings) WOA 2021. CEUR Workshop Proceedings 2963, October 2021

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

2P-Kt: A Logic-Based Ecosystem for Symbolic AI

(article in journal) SoftwareX 16, December 2021

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

WOA 2021 – 22nd Workshop “From Objects to Agents”

(edited volume) WOA 2021. CEUR Workshop Proceedings 2963, October 2021

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

(paper in proceedings) JELIA 2021. Lecture Notes in Computer Science 12678, 2021

Roberta Calegari, Andrea Omicini, Giovanni Sartor

Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming

(paper in proceedings) AIxIA 2020. Lecture Notes in Computer Science 12414, 2021

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review

(paper in proceedings) AAMAS 2021, May 2021

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

A Mechanism for Reasoning over Defeasible Preferences in Arg2P

(paper in proceedings) CILC 2021. CEUR Workshop Proceedings, November 2021

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

Burden of persuasion in argumentation: A meta-argumentation approach

(paper in proceedings) AIxIA 2021. CEUR Workshop Proceedings 3086, November 2021

Giuseppe Pisano, Roberta Calegari, Andrea Omicini

Towards cooperative argumentation for MAS: An actor-based approach

(paper in proceedings) WOA 2021. CEUR Workshop Proceedings 2963, October 2021

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review

(article in journal) Autonomous Agents and Multi-Agent Systems 35(1), 2021

10 publications in 2021 with DBLP Key • top • index • bottom

2020

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

Arg-tuProlog: A tuProlog-based argumentation framework

(paper in proceedings) CILC 2020. CEUR Workshop Proceedings 2710, 13-15 October 2020

Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Neuro-symbolic Computation for XAI: Towards a Unified Model

(paper in proceedings) WOA 2020. CEUR Workshop Proceedings 2706, October 2020

Roberta Calegari, Andrea Omicini, Giovanni Sartor

Computable Law as Argumentation-based MAS

(paper in proceedings) WOA 2020. CEUR Workshop Proceedings 2706, October 2020

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

WOA 2020 – 21st Workshop “From Objects to Agents”

(edited volume) WOA 2020. CEUR Workshop Proceedings 2706, October 2020

Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

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

(paper in proceedings) WOA 2020. CEUR Workshop Proceedings 2706, October 2020

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives

(article in journal) Information 11(3), March 2020

Roberta Calegari, Giovanni Ciatto, Andrea Omicini

On the integration of symbolic and sub-symbolic techniques for XAI: A survey

(article in journal) Intelligenza Artificiale 14(1), September 2020

Roberta Calegari, Andrea Omicini, Giovanni Sartor

Argumentation and Logic Programming for Explainable and Ethical AI

(paper in proceedings) AIxIA 2020. CEUR Workshop Proceedings 2742, November 2020

8 publications in 2020 with DBLP Key • top • index • bottom

2019

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Logic Programming as a Service in Multi-Agent Systems for the Internet of Things

(article in journal) International Journal of Grid and Utility Computing 10(4), 2019

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi

Towards XMAS: eXplainability through Multi-Agent Systems

(paper in proceedings) AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019

Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor

Defeasible Systems in Legal Reasoning: A Comparative Assessment

(paper in proceedings) JURIX 2019. Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019

Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini

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

(paper in proceedings) WOA 2019. CEUR Workshop Proceedings 2404, July 2019

Andrea Omicini, Roberta Calegari

Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS

(paper in proceedings) MMAS 2018. Lecture Notes in Computer Science 11422, May 2019

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines

(paper in proceedings) IDCS 2019. Lecture Notes in Computer Science 11874, 10–12 October 2019

6 publications in 2019 with DBLP Key • top • index • bottom

2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS

(paper in proceedings) Globe-IoT 2018, 17-20 April 2018

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Logic Programming as a Service

(article in journal) Theory and Practice of Logic Programming 18(5-6), September 2018

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

Extending Logic Programming with Labelled Variables: Model and Semantics

(article in journal) Fundamenta Informaticae 161(1-2), July 2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning

(article in journal) Big Data and Cognitive Computing 2(3), 2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

Logic Programming in Space-Time: The Case of Situatedness in LPaaS

(paper in proceedings) WOA 2018. CEUR Workshop Proceedings 2215, 29–30 June 2018

Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

From the Blockchain to Logic Programming and Back: Research Perspectives

(paper in proceedings) WOA 2018. CEUR Workshop Proceedings 2215, June 2018

6 publications in 2018 with DBLP Key • top • index • bottom

2017

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Logic Programming as a Service (LPaaS): Intelligence for the IoT

(paper in proceedings) ICNSC 2017, May 2017

1 publication in 2017 with DBLP Key • top • index • bottom

2016

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Towards Logic Programming as a Service: Experiments in tuProlog

(paper in proceedings) WOA 2016. CEUR Workshop Proceedings 1664, July 2016

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

Labelled Variables in Logic Programming: Foundations

(paper in proceedings) CILC 2016. CEUR Workshop Proceedings 1645, 20-22 June 2016

2 publications in 2016 with DBLP Key • top • index • bottom

2015

Roberta Calegari, Enrico Denti, Andrea Omicini

Labelled Variables in Logic Programming: A First Prototype in tuProlog

(paper in proceedings) AI*IA 2015 DC . CEUR Workshop Proceedings 1485, September 2015

1 publication in 2015 with DBLP Key • top • index • bottom