Per anno

 @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
} 

 @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},
    dblp = {conf/fedcsis/AgiolloO23},
    doi = {10.15439/2023F6019},
    editor = {Maria Ganzha and Leszek Maciaszek and Marcin Paprzycki and Dominik Ślęzak},
    eisbn = {978-83-967447-8-4},
    ieee = {10305942},
    iris = {11585/951750},
    isbn = {978-83-969601-0-8},
    isbn13 = {978-83-967447-9-1},
    issn = {2300-5963},
    month = sep,
    numpages = 10,
    pages = {1--10},
    scholar = {4358274351024166022},
    scopus = {2-s2.0-85179180821},
    series = {Annals of Computer Sciences and Information Systems},
    title = {Measuring Trustworthiness in Neuro-Symbolic Integration},
    url = {https://annals-csis.org/Volume_35/drp/6019.html},
    urlopenaccess = {https://annals-csis.org/Volume_35/drp/pdf/6019.pdf},
    urlpdf = {https://annals-csis.org/Volume_35/drp/pdf/6019.pdf},
    volume = 35,
    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
} 

 @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},
}
 

 @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, 

 @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
} 

 @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
} 

 @proceedings{extraamas2023,
    dblp = {conf/extraamas/2023},
    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{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}
}