Per Year

35 publications without DBLP Key  /  2023
 @article{sicilc22-jlc33,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    eissn = {1465-363X},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    month = dec,
    number = 8,
    numpages = 187,
    pages = {1711--1897},
    publisher = {Oxford University Press},
    title = {Special Issue ``{C}omputational Logic on {P}rolog's 50th Anniversary: Highlights from {CILC 2022}''},
    url = {https://academic.oup.com/logcom/issue/33/8#1795054-7190756},
    volume = 33,
    year = 2023
} 
 @inproceedings{exact-kodis2023,
    address = {Rhodes, Greece},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 2nd International Workshop on Knowledge Diversity (KoDis 2023)},
    iris = {11585/962330},
    keywords = {Explainable clustering, Explainable artificial intelligence, PSyKE},
    pages = {3:1--3:8},
    scopus = {2-s2.0-85178369832},
    series = {CEUR Workshop Proceedings},
    title = {{ExACT} Explainable Clustering: Unravelling the Intricacies of Cluster Formation},
    url = {https://ceur-ws.org/Vol-3548/paper3.pdf},
    urlopenaccess = {https://ceur-ws.org/Vol-3548/paper3.pdf},
    urlpdf = {https://ceur-ws.org/Vol-3548/paper3.pdf},
    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
} 
  
  
 @incollection{clustering-extraamas2023,
    address = {London, UK},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
    doi = {10.1007/978-3-031-40878-6_7},
    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/962326},
    isbn = {978-3-031-40877-9},
    issn = {0302-9743},
    keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Clustering},
    pages = {116--129},
    publisher = {Springer},
    scopus = {2-s2.0-85172259054},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors},
    url = {https://link.springer.com/10.1007/978-3-031-40878-6_7},
    volume = 14127,
    year = 2023
} 
 @article{arg2pcompcheck-jlc32,
    author = {Livio Robaldo and Francesco Pacenza and Jessica Zangari and Calegari, Roberta and Francesco Calimeri and Giovanni Siragusa},
    dblp = {journals/logcom/CalegariOPS22},
    doi = {10.1093/logcom/exad034},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    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 = jun,
    note = {Special Issue from the 37th Italian Conference on Computational Logic (CILC 2022)},
    number = 2,
    pages = {369--401},
    publisher = {Oxford University Press},
    scholar = {7687317421217944977},
    scopus = {2-s2.0-85126283334},
    title = {Efficient compliance checking of RDF data},
    url = {https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exad034/7190757},
    volume = 32,
    wos = {000762067600009},
    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{completeness-ximl2023,
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Artificial Intelligence. {ECAI} 2023 International Workshops -- {XAI}{\({^3}\)}, {TACTIFUL}, {XI-ML}, {SEDAMI}, {RAAIT}, {AI4S}, {HYDRA}, {AI4AI}, Krak{\'{o}}w, Poland, September 30 -- October 4, 2023, Proceedings, Part {I}},
    doi = {10.1007/978-3-031-50396-2_10},
    editor = {Nowaczyk, Slawomir and Biecek, Przemyslaw and Chung, Neo Christopher and Vallati, Mauro and Skruch, Pawel and Jaworek{-}Korjakowska, Joanna and Parkinson, Simon and Nikitas, Alexandros and Atzmüller, Martin and Kliegr, Tomás and others},
    iris = {11585/962344},
    keywords = {Symbolic knowledge extraction, Explainable artificial intelligence, PSyKE},
    pages = {179--197},
    publisher = {Springer},
    scopus = {2-s2.0-85184090360},
    series = {Communications in Computer and Information Science},
    title = {Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques},
    url = {https://link.springer.com/10.1007/978-3-031-50396-2_10},
    urlopenaccess = {https://link.springer.com/10.1007/978-3-031-50396-2_10},
    volume = 1947,
    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{preface-jlc33,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    doi = {10.1093/logcom/exad031},
    eissn = {1465-363X},
    iris = {11585/951151},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    month = dec,
    note = {Special Issue ``Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022''},
    number = 8,
    numpages = 1,
    pages = {1711},
    publisher = {Oxford University Press},
    scholar = {2353304508513748358},
    scopus = {2-s2.0-85180080592},
    title = {Preface},
    url = {https://academic.oup.com/logcom/article/33/8/1711/7190280},
    volume = 33,
    wos = {WOS:001003891800001},
    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{on2conv-eumas2023,
	address = {Cham},
	author = {Esfahani, Zeinab Namakizadeh and Engelmann, Débora Cristina and Ferrando, Angelo and Margarone, Massimiliano and Mascardi, Viviana},
	booktitle = {Multi-Agent Systems},
	doi = {10.1007/978-3-031-43264-4_5},
	editor = {Malvone, Vadim and Murano, Aniello},
	isbn = {978-3-031-43264-4},
	pages = {66--82},
	publisher = {Springer Nature Switzerland},
	series = {Lecture Notes in Computer Science},
	title = {Integrating Ontologies and Cognitive Conversational Agents in {On2Conv}},
	url = {https://link.springer.com/10.1007/978-3-031-43264-4_5},
	volume = 14282,
	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},
    scopus = {2-s2.0-85176733868},
    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{vicinity-ximl2023,
    address = {Krakov, Poland},
    author = {Eleonora Misino and Calegari, Roberta and Michele Lombardi and Milano, Michela},
    booktitle = {AEQUITAS 2023 – Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023)},
    issn = {1613-0073},
    keywords = {fair ranking, fair matchmaking, fairness in AI},
    series = {CEUR Workshop Proceedings},
    title = {{FAiRDAS}: Fairness-Aware Ranking as Dynamic Abstract System},
    url = {https://ceur-ws.org/Vol-3523/paper5.pdf},
    urlopenaccess = {https://ceur-ws.org/Vol-3523/paper5.pdf},
    volume = 3523,
    year = 2023
} 
 @incollection{jakta-eumas2023,
    address = {Cham},
    author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo},
    booktitle = {Proceedings of the 20th European Conference on Multi-Agents Systems},
    doi = {10.1007/978-3-031-43264-4_4},
    editor = {Vadim Malvone and Aniello Murano},
    isbn = {978-3-031-43264-4},
    keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
    month = sep,
    numpages = 16,
    pages = {49--65},
    publisher = {Springer, Cham},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{JaKtA}: {BDI} Agent-Oriented Programming in Pure {K}otlin},
    url = {https://link.springer.com/chapter/10.1007/978-3-031-43264-4_4},
    year = 2023
} 
 @inproceedings{creepy-beware2023,
    address = {Rome, Italy},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2023)},
    title = {Unveiling Opaque Predictors via Explainable Clustering: The {CReEPy} Algorithm},
    year = 2023
} 
 @article{amaseditorial-applsci13,
    articleno = 3027,
    author = {Mariani, Stefano and Omicini, Andrea},
    doi = {10.3390/app13053027},
    editor = {Mariani, Stefano and Omicini, Andrea},
    eissn = {2076-3417},
    iris = {11585/920074},
    journal = {Applied Sciences},
    keywords = {multi-agent systems; intelligent system engineering; agent-based simulation; machine learning},
    month = feb,
    number = 5,
    numpages = 4,
    publisher = {MDPI},
    scholar = {243898902811364674},
    scopus = {2-s2.0-85149948452},
    semanticscholar = {257243494},
    title = {Special Issue ``{A}dvances in {M}ulti-{A}gent {S}ystems'': Editorial},
    url = {https://www.mdpi.com/2076-3417/13/5/3027},
    volume = 13,
    wos = {WOS:000948146800001},
    year = 2023
} 
 @incollection{psyketrust-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
} 
 @inproceedings{explainableclustering-woa2023,
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {WOA 2023 -- 24th Workshop ``From Objects to Agents''},
    editor = {Rino Falcone and Cristiano Castelfranchi and Alessandro Sapienza and Filippo Cantucci},
    iris = {11585/952626},
    issn = {1613-0073},
    keywords = {Explainable clustering, Explainable artificial intelligence, Symbolic knowledge extraction, PSyKE},
    month = nov,
    numpages = 14,
    pages = {232--245},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85179624285},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents},
    url = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    urlopenaccess = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    urlpdf = {https://ceur-ws.org/Vol-3579/paper18.pdf},
    volume = 3579,
    year = 2023
} 
 @inproceedings{rv4rasa-vortex2023,
    address = {Seattle, WA, USA},
    author = {Ferrando, Angelo and Gatti, Andrea and Mascardi, Viviana},
    booktitle = {Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023)},
    date-added = {2024-06-26 17:32:50 +0200},
    date-modified = {2024-06-26 17:55:00 +0200},
    doi = {10.1145/3605159.3605855},
    editor = {Ancona, Davide and Audrito, Giorgio},
    isbn = {979-8-4007-0249-5},
    month = {18}}},
    title = {{RV4Rasa}: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in {R}asa},
    url = {https://dl.acm.org/doi/10.1145/3605159.3605855},
    year = 2023
} 
 @inproceedings{fire-ecai2023,
    address = {Krakov, Poland},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023)},
    doi = {10.3233/FAIA230496},
    eissn = {978-1-64368-437-6 },
    iris = {11585/952617},
    pages = {2033--2040},
    editor = {Kobi Gal and Ann Nowé and Grzegorz J. Nalepa and Roy Fairstein and Roxana Rădulescu},
    scopus = {2-s2.0-85175827763},
    series = {Frontiers in Artificial Intelligence and Applications},
    subseries = {ECAI 2023},
    title = {Symbolic Knowledge-Extraction Evaluation Metrics: The {FiRe} Score},
    url = {https://ebooks.iospress.nl/doi/10.3233/FAIA230496},
    volume = 372,
    year = 2023
} 
  
35 publications in 2023 without DBLP Key • topindexbottom

publications without DBLP Key  /  2023  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Cristian Cosci  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini