@article{arg2p-jlc32,
author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni},
dblp = {journals/logcom/CalegariOPS22},
doi = {10.1093/logcom/exab089},
editors = {Calimeri, Francesco and Perri, Simona and Zumpano. Ester},
iris = {11585/877812},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
keywords = {Arg2P, intelligent systems engineering, explainable intelligent systems, logic-based technology, argumentation, defeasible reasoning, multi-agent systems},
month = mar,
note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)},
number = 2,
pages = {369--401},
publisher = {Oxford University Press},
scholar = {7687317421217944977},
scopus = {2-s2.0-85126283334},
title = {{Arg\textsf{2}P}: An argumentation framework for explainable intelligent systems},
url = {https://academic.oup.com/logcom/article-abstract/32/2/369/6513341},
volume = 32,
wos = {000762067600009},
year = 2022
} @article{metabop-ifcolog10,
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Giovanni Sartor},
booktitle = {Special Issue: Advances in Argumentation in AI},
editor = {D'Agostino, Marcello and D'Asaro, Fabio Aurelio and Larese, Costanza},
eissn = {2631-9829},
iris = {11585/926735},
isbn = {978-1-84890-433-0},
issn = {2631-9810},
journal = {Journal of Applied Logics},
keywords = {burdens of persuasion, argumentation, meta-argumentation},
month = may,
note = {Special Issue: Advances in Argumentation in AI},
number = 3,
numpages = 28,
pages = {393--420},
publisher = {College Publications},
scholar = {6899343197318040336},
title = {Burden of Persuasion: A Meta-argumentation Approach},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00059.pdf#page=134},
volume = 10,
scopus = {2-s2.0-85160661742},
year = 2023
} @incollection{iclp2023le,
author = {Galileo Sartor and Jacinto Dàvila and Alessia Fidelangeli and Pisano, Giuseppe},
keywords = {Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English, s(CASP)},
title = {(Re)Integration of Logical English and s(CASP)},
urlpdf = {https://ceur-ws.org/Vol-3437/paper7GDE.pdf},
year = 2023
} @inproceedings{keynote-fedcsis2023,
author = {Agiollo, Andrea and Omicini, Andrea},
booktitle = {Proceedings of the 18th Conference on Computer Science and Intelligence Systems},
doi = {10.15439/2023F6019},
editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki and Dominik Ślęzak},
eisbn = {978-83-967447-8-4},
isbn = {978-83-969601-0-8},
issn = {2300-5963},
month = sep,
numpages = 10,
pages = {1--10},
scholar = {4358274351024166022},
series = {Annals of Computer Sciences and Information Systems},
title = {Measuring Trustworthiness in Neuro-Symbolic Integration},
url = {https://annals-csis.org/proceedings/2023/pliks/6019.pdf},
volume = 35,
year = 2023
} @article{hypercubeske-ia17,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO23},
doi = {10.3233/IA-230001},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/941033},
journal = {Intelligenza Artificiale},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jun,
note = {Special issue: Selected papers from the 23rd Workshop ``From Objects to Agents'' (WOA 2022)},
number = 1,
numpages = 13,
pages = {63--75},
publisher = {IOS Press},
scholar = {14669296704428238758},
scopus = {2-s2.0-85168332389},
title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
volume = 17,
year = 2023
} @inproceedings{abdsemimgsegm-aixia2022,
address = {Aachen, Germany},
author = {Rafanelli, Andrea and Stefania Costantini and Omicini, Andrea},
booktitle = {AIxIA 2022 Discussion Papers},
chapter = 9,
dblp = {conf/aiia/RafanelliCO22},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
iris = {11585/933658},
issn = {1613-0073},
keywords = {neuro-symbolic, abductive reasoning, semantic segmentation, XAI},
location = {Udine, Italy},
month = jun,
note = {Proceedings of the Discussion Papers -- 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) -- Udine, Italy, November 28--December 2, 2022},
numpages = 10,
pages = {75--84},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {4710138681206481431},
scopus = {2-s2.0-85164192487},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation},
url = {https://ceur-ws.org/Vol-3419/paper9.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3419/paper9.pdf},
urlpdf = {https://ceur-ws.org/Vol-3419/paper9.pdf},
volume = 3419,
year = 2023
} @incollection{explanationprotocol-extraamas2023,
author = {Ciatto, Giovanni and Magnini, Matteo and Bezcu, Berk and Aydoǧan, Reyhan and Omicini, Andrea},
booktitle = {Explainable and Transparent {AI} and Multi-Agent Systems},
chapter = 3,
doi = {10.1007/978-3-031-40878-6_3},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
iris = {11585/940656},
isbn = {978-3-031-40878-6},
issn = {0302-9743},
keywords = {XAI, Recommender Systems, Multi-agent systems, Explanation protocols},
month = sep,
numpages = 22,
pages = {38--58},
publisher = {Springer},
scholar = {5371175139312621961},
scopus = {2-s2.0-85172214167},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {A General-Purpose Protocol for Multi-Agent based Explanations},
url = {http://link.springer.com/10.1007/978-3-031-40878-6_3},
volume = 14127,
year = 2023
} @article{traindelay-information41,
articleno = 269,
author = {Denti, Enrico and Burroni, Luca},
doi = {10.3390/info14050269},
issn = {2078-2489},
journal = {Information},
number = 5,
title = {Delay Indices for Train Punctuality},
url = {https://www.mdpi.com/2078-2489/14/5/269},
volume = 14,
year = 2023
} @inproceedings{ctl-aixia2022,
address = {Aachen, Germany},
author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {AIxIA 2022 Discussion Papers},
chapter = 2,
dblp = {conf/aiia/MagniniCO22},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
iris = {11585/933657},
issn = {1613-0073},
keywords = {transfer learning; multi-agent systems; artificial general intelligence; symbolic knowledge extraction; symbolic knowledge injection},
location = {Udine, Italy},
month = jun,
note = {Proceedings of the Discussion Papers -- 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) -- Udine, Italy, November 28--December 2, 2022},
numpages = 11,
pages = {12--22},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85164132302},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Bridging Symbolic and Sub-Symbolic {AI}: Towards Cooperative Transfer Learning in Multi-Agent Systems},
url = {https://ceur-ws.org/Vol-3419/paper2.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3419/paper2.pdf},
urlpdf = {https://ceur-ws.org/Vol-3419/paper2.pdf},
volume = 3419,
year = 2023
} @article{siamas-applsci13,
author = {Omicini, Andrea and Mariani, Stefano},
editor = {Omicini, Andrea and Mariani, Stefano},
eissn = {2076-3417},
journal = {Applied Sciences},
number = 5,
publisher = {MDPI},
title = {Special Issue ``{A}dvances in {M}ulti-{A}gent {S}ystems''},
url = {https://www.mdpi.com/journal/applsci/special_issues/Advances_in_Multi-Agent_Systems},
volume = 13,
year = 2023
} @article{neurallogicmas-ia17,
author = {Rafanelli, Andrea and Costantini, Stefania and De Gasperis, Giovanni},
doi = {10.3233/IA-230004},
editor = {Ferrando, Angelo and Mascardi, Viviana},
issn = {2211-0097},
journal = {Intelligenza Artificiale},
keywords = {Neural-logic; multi-agent systems; image segmentation; computational geometry; perception fusion},
month = jan,
number = 1,
numpages = 17,
pages = {19--35},
publisher = {IOS Press},
title = {Neural-logic multi-agent system for flood event detection},
url = {https://doi.org/10.3233/IA-230004},
volume = 17,
year = 2023
} @article{10.1093/logcom/exad032,
author = {De Gasperis, Giovanni and Costantini, Stefania and Rafanelli, Andrea and Migliarini, Patrizio and Letteri, Ivan and Dyoub, Abeer},
title = "{Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking}",
journal = {Journal of Logic and Computation},
year = {2023},
month = {06},
abstract = "{Autonomous robots can be employed in exploring unknown environments and performing many tasks, such as, e.g. detecting areas of interest, collecting target objects, etc. Deep reinforcement learning (RL) is often used to train this kind of robot. However, concerning the artificial environments aimed at testing the robot, there is a lack of available data sets and a long time is needed to create them from scratch. A good data set is in fact usually produced with high effort in terms of cost and human work to satisfy the constraints imposed by the expected results. In the first part of this paper, we focus on the specification of the properties of the solutions needed to build a data set, making the case of environment exploration. In the proposed approach, rather than using imperative programming, we explore the possibility of generating data sets using constraint programming in Prolog. In this phase, geometric predicates describe a virtual environment according to inter-space requirements. The second part of the paper is focused on testing the generated data set in an AI gym via space search techniques. We developed a Neuro-Symbolic agent built from the following: (i) A deep Q-learning component implemented in Python, able to address via RL a search problem in the virtual space; the agent has the goal to explore a generated virtual environment to seek for a target, improving its performance through a RL process. (ii) A symbolic component able to re-address the search when the Q-learning component gets stuck in a part of the virtual environment; these components stimulate the agent to move to and explore other parts of the environment. Wide experimentation has been performed, with promising results, and is reported, to demonstrate the effectiveness of the approach.}",
issn = {0955-792X},
doi = {10.1093/logcom/exad032},
url = {https://doi.org/10.1093/logcom/exad032},
note = {exad032},
eprint = {https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exad032/50530031/exad032.pdf},
}
@incollection{preface-extraamas2023,
author = {Calvaresi, Davide and Omicini, Andrea and Najjar, Amro and Främling, Kary},
booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
eissn = {1611-3349},
iris = {11585/940744},
isbn = {978-3-031-40878-6},
issn = {0302-9743},
month = sep,
pages = {VI},
publisher = {Springer},
scopus = {2-s2.0-85172220251},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Preface},
url = {https://link.springer.com/content/pdf/bfm:978-3-031-40878-6/1},
volume = 14127,
year = 2023
} @incollection{quarrel-extraamas2023,
author = {Agiollo, Andrea and Siebert, Luciano C. and Murukannaiah, Pradeep K. and Omicini, Andrea},
booktitle = {Explainable and Transparent {AI} and Multi-Agent Systems},
chapter = 6,
doi = {10.1007/978-3-031-40878-6_6},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
iris = {11585/940734},
isbn = {978-3-031-40878-6},
issn = {0302-9743},
keywords = {Natural Language Processing, Moral Values Classification, eXplainable Artificial Intelligence, Local Post-hoc Explanations.},
month = sep,
numpages = 19,
pages = {97--115},
publisher = {Springer},
scholar = {16243619767560534499},
scopus = {2-s2.0-85172189313},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing},
url = {http://link.springer.com/10.1007/978-3-031-40878-6_6},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-40878-6_6.pdf},
volume = 14127,
year = 2023
} @misc{generativeaisurvey-arxiv2301.04655,
author = {Gozalo-Brizuela, Roberto and Garrido-Merchan, Eduardo C.},
doi = {10.48550/ARXIV.2301.04655},
keywords = {Machine Learning (cs.LG), Artificial Intelligence (cs.AI), FOS: Computer and information sciences, FOS: Computer and information sciences},
publisher = {arXiv},
title = {{ChatGPT} is not all you need. A State of the Art Review of large Generative {AI} models},
url = {https://arxiv.org/abs/2301.04655},
year = 2023, @inproceedings{cream-kr2023,
address = {Rhodes, Greece},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {20th International Conference on Principles of Knowledge Representation and Reasoning},
doi = {10.24963/kr.2023/58},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
iris = {11585/893144},
isbn = {978-1-956792-02-7},
issn = {2334-1033},
keywords = {Explainable AI, Applications that combine KR with machine learning, Integrating knowledge representation and machine learning, KR and machine learning, inductive logic programming, knowledge acquisition},
month = {Aug},
pages = {593--603},
publisher = {IJCAI Organization},
title = {Explainable Clustering with CREAM},
url = {https://proceedings.kr.org/2023/58/},
urlpdf = {https://proceedings.kr.org/2023/58/kr2023-0058-sabbatini-et-al.pdf},
year = 2023
} @article{agencynointelligence-pat2023,
author = {Floridi, Luciano},
doi = {10.2139/ssrn.4358789},
journal = {Philosophy and Technology},
keywords = {Artificial Intelligence (AI), Large Language Models (LLMs), GPT3, ChatGPT, Limitations.},
numpages = 12,
title = {{AI} as Agency Without Intelligence: On {ChatGPT}, Large Language Models, and Other Generative Models},
url = {https://ssrn.com/abstract=4358789},
urlpdf = {https://deliverypdf.ssrn.com/delivery.php?ID=247104118003078115118091019123079111102048023015008020118084068112086005027098100088036101006014057116105115114116018065013009118044033055000113025102002065112096073024007094081007076066098030090086007065095107084122107080126119031088018123025083125024},
volume = 2023,
year = 2023
} @InProceedings{jakta-eumas-2023,
author="Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo",
editor="Malvone, Vadim and Murano, Aniello",
title="JaKtA: BDI Agent-Oriented Programming in Pure Kotlin",
booktitle="Multi-Agent Systems",
year="2023",
publisher="Springer Nature Switzerland",
address="Cham",
pages="49--65",
abstract="Multi-paradigm languages are becoming more and more popular, as they allow developers to choose the most suitable paradigm for each task. Most commonly, we observe the combination of object-oriented (OOP) and functional programming (FP), however, in principle, other paradigms could be hybridised. In this paper, we present JaKtA, an internal DSL adding support for the definition of belief-desire-intention (BDI) agents in Kotlin. We believe is a first step to investigate the blending of Agent-Oriented Programming (AOP) with other popular paradigms and we discuss the opportunity and value of doing so with an internal DSLs. Finally, through JaKtA, we show how this can already lead to compactly and expressively create BDI agents that smoothly interoperate with the host language, its libraries and tooling.",
isbn="978-3-031-43264-4"
} @proceedings{extraamas2023,
doi = {10.1007/978-3-031-40878-6},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
eissn = {1611-3349},
iris = {11585/940742},
isbn = {978-3-031-40878-6},
issn = {0302-9743},
month = sep,
pages = {XII, 281},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
subtitle = {5th International Workshop, EXTRAAMAS 2023. London, UK, May 29, 2023. Revised Selected Papers},
title = {Explainable and Transparent {AI} and Multi-Agent Systems},
url = {http://link.springer.com/10.1007/978-3-031-40878-6},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-40878-6.pdf},
volume = 14127,
year = 2023
} @article{psyke-trust-aixia2022,
address = {Cham, Switzerland},
author = {Calegari, Roberta and Federico, Sabbatini},
booktitle = {AIxIA 2022},
doi = {10.1007/978-3-031-27181-6_1},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
eisbn = {978-3-031-27181-6},
institution = {University of Udine},
isbn = {978-3-031-27180-9},
issn = {0302-9743},
location = {Udine, Italy},
month = mar,
note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
numpages = 14,
pages = {3--16},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {PSyKE} Technology for Trustworthy Artificial Intelligence},
url = {https://doi.org/10.1007/978-3-031-27181-6_1},
volume = 13796,
year = 2023
} @article{hamletfgcs2022,
author = {Matteo Francia and Joseph Giovanelli and Pisano, Giuseppe},
journal = {Future Generation Computer Systems},
keywords = {Human-centered, AutoML, Logic, Argumentation, CRISP-DM, Data Scientist},
title = {HAMLET: a framework for Human-centered AutoML via Structured Argumentation}
} @inproceedings{fairness-ijcai2023,
address = {Macau, China},
author = {Calegari, Roberta and Castañé, Gabriel G. and Milano, Michela and O'Sullivan, Barry},
booktitle = {32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)},
doi = {https://doi.org/10.24963/ijcai.2023/735},
keywords = {AI fairness, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {August 19--25},
pages = {6554-6562},
publisher = {IJCAI},
title = {Assessing and Enforcing Fairness in the {AI} Lifecycle},
year = 2023
} @article{arg2p-ail2023,
author = {Robaldo, Livio and Batsakis, Sotiris and Calegari, Roberta and Calimeri, Francesco and Fujita, Megumi and Governatori, Guido and Morelli, Maria Concetta and Pacenza, Francesco and Pisano, Giuseppe and Satoh, Ken and Tachmazidis, Ilias and Zangari, Jessica},
doi = {10.1007/s10506-023-09360-z},
eissn = {1572-8382},
issn = {0924-8463},
journal = {Artificial Intelligence and Law},
keywords = {Compliance checking, First-order knowledge, LegalTech},
month = jun,
numpages = 51,
title = {Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies},
url = {https://link.springer.com/10.1007/s10506-023-09360-z},
year = 2023
}