Roberta Calegari

Gabriel G. Castañé

Michela Milano

Barry O'Sullivan

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Bottom-Up and Top-Down Workflows for Hypercube- And Clustering-Based Knowledge Extractors.

[BibT_eX]

[DOI]

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Bias, 2023

FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), 2023

A geometric framework for fairness.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), 2023

2022

Arg2P: an argumentation framework for explainable intelligent systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2022

How to model contrary-to-duty with GCP-nets.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2022

Special Issue for the 22nd Workshop "From Objects to Agents" (WOA 2021).

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2022

Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper.

[BibT_eX]

[DOI]

CoRR, 2022

Clustering-Based Approaches for Symbolic Knowledge Extraction.

[BibT_eX]

[DOI]

CoRR, 2022

Hypercube-based methods for symbolic knowledge extraction: towards a unified model.

[BibT_eX]

[DOI]

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Arguing About the Existence of Conflicts.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2022

Taking stock of available technologies for compliance checking on first-order knowledge.

[BibT_eX]

[DOI]

Maria Concetta Morelli

Giuseppe Pisano

Ken Satoh

Ilias Tachmazidis

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Logic Programming library for Machine Learning: API design and prototype.

[BibT_eX]

[DOI]

Matteo Castigliò

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Multi-agent Cooperative Argumentation in Arg2P.

[BibT_eX]

[DOI]

Giuseppe Pisano

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

The PSyKE Technology for Trustworthy Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

2P-Kt: A logic-based ecosystem for symbolic AI.

[BibT_eX]

[DOI]

SoftwareX, 2021

Logic-based technologies for multi-agent systems: a systematic literature review.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

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

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Towards cooperative argumentation for MAS: an Actor-based approach.

[BibT_eX]

[DOI]

Giuseppe Pisano

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

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

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Explainability Through Argumentation in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

The burden of persuasion in structured argumentation.

[BibT_eX]

[DOI]

Régis Riveret

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Burdens of Persuasion and Standards of Proof in Structured Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

A Mechanism for Reasoning over Defeasible Preferences in Arg2P.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

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

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Burden of Persuasion in Meta-argumentation.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Burden of Persuasion in Argumentation: A Meta-argumentation Approach.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

Probabilistic logic programming in 2P-KT.

[BibT_eX]

[DOI]

Jason Dellaluce

Proceedings of the AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), 2021

Modular Logic Argumentation in Arg-tuProlog.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2020

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

[BibT_eX]

[DOI]

Inf., 2020

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

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2020

Burden of Persuasion in Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Modeling Contrary-to-Duty with CP-nets.

[BibT_eX]

[DOI]

CoRR, 2020

Neuro-symbolic Computation for XAI: Towards a Unified Model.

[BibT_eX]

[DOI]

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

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

[BibT_eX]

[DOI]

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Computable Law as Argumentation-based MAS.

[BibT_eX]

[DOI]

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

A Model for the Burden of Persuasion in Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2020

Arg-tuProlog: A Modular Logic Argumentation Tool for PIL.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2020

Arg-tuProlog: a tuProlog-based Argumentation Framework.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

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

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Argumentation and Logic Programming for Explainable and Ethical AI.

[BibT_eX]

[DOI]

Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019

Logic programming as a service in multi-agent systems for the Internet of Things.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2019

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

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop "From Objects to Agents", 2019

Defeasible Systems in Legal Reasoning: A Comparative Assessment.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

Towards XMAS: eXplainability through Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018

Micro-intelligence for the IoT: logic-based models and technologies.

[BibT_eX]

[DOI]

PhD thesis, 2018

Logic programming as a service.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Extending Logic Programming with Labelled Variables: Model and Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning.

[BibT_eX]

[DOI]

Big Data Cogn. Comput., 2018

From the Blockchain to Logic Programming and Back: Research Perspectives.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

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

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

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

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2017

Context Reasoning and Prediction in Smart Environments: The Home Manager Case.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2017, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

Towards Logic Programming as a Service: Experiments in tuProlog.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

The Butlers Framework for Socio-Technical Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the Internet Science - Third International Conference, 2016

Labelled Variables in Logic Programming: Foundations.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Butler-ising HomeManager - A Pervasive Multi-Agent System for Home Intelligence.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Labelled Variables in Logic Programming: A First Prototype in tuProlog.

[BibT_eX]

[DOI]