Per Year

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

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

 @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{preface-cilc2022,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/899481},
    issn = {1613-0073},
    keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI},
    location = {Bologna, Italy},
    numpages = 2,
    pages = {i--ii},
    publisher = {CEUR-WS},
    scholar = {3420577376460146552},
    scopus = {2-s2.0-85138309193},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Preface -- {P}roceedings of the 37th {I}talian {C}onference on {C}omputational {L}ogic ({CILC 2022})},
    url = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
    volume = 3204,
    year = 2022
} 

 @article{prolog50years-tplp22,
    articleno = 100531,
    author = {Körner, Philipp and Beuschel, Michael and Barbosa, João and Costa, Vítor Santos and Dahl, Verónica and Hermenegildo, Manuel V. and Morales, Jose F. and Wielemaker, Jan and Diaz, Daniel and Abreu, Salvador and Ciatto, Giovanni},
    doi = {10.1017/S1471068422000102},
    editor = {De Nicola, Rocco},
    iris = {11585/901015},
    issn = {2352-2208},
    journal = {Theory and Practice of Logic Programming},
    keywords = {Prolog, logic programming systems, portability, rationale, evolution, vision},
    month = nov,
    number = 6,
    numpages = 25,
    pages = {776--858},
    publisher = {Cambridge University Press},
    title = {Fifty Years of {P}rolog and Beyond},
    url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD},
    urlopenaccess = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3A5329B6E3639879301A6D44346FD1DD/S1471068422000102a.pdf/fifty-years-of-prolog-and-beyond.pdf},
    volume = 22,
    wos = {000796763200001},
    year = 2022
} 

 @article{woa2021specialissue-ia16,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    eissn = {2211-0097},
    iris = {11585/890644},
    issn = {1724-8035},
    journal = {Intelligenza Artificiale},
    month = jul,
    note = {Special Issue},
    number = 1,
    publisher = {IOS Press},
    scholar = {14076350362719309270},
    title = {Selected papers from the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
    url = {https://content.iospress.com/articles/intelligenza-artificiale/ia161s1},
    urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia161s1?id=intelligenza-artificiale%2Fia161s1},
    volume = 16,
    year = 2022
} 

 @inproceedings{dcc-aixia-2021-plp,
	keywords = {probabilistic logic programming, symbolic AI, 2P-Kt},
	year = 2022,
	articleNo = 3,
	pages = {19-32},
	author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni},
	sort = {inproceedings},
	numpages = 14,
	volume = 3078,
	issn = {1613-0073},
	month = {jan},
	publisher = {Sun SITE Central Europe, RWTH Aachen University},
	status = {Published},
	title = {Probabilistic logic programming in 2P-Kt},
	booktitle = {AIxIA 2021 Discussion Papers},
	editor = {Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
	url = {http://ceur-ws.org/Vol-3078/paper-29.pdf},
	series = {CEUR Workshop Proceedings},
	subseries = {AI*IA Series}
} 

 @inproceedings{logicapiml-cilc2022,
    author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
    booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    issn = {1613-0073},
    keywords = {logic programming, machine learning, API, 2P-Kt},
    location = {Bologna, Italy},
    numpages = 15,
    pages = {104--118},
    publisher = {CEUR-WS},
    series = {ceurws},
    subseries = {AI*IA Series},
    title = {Logic Programming library for Machine Learning: {API} design and prototype},
    url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    volume = 3204,
    year = 2022
} 

 @inproceedings{preface-woa2021,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834358},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    numpages = 2,
    pages = {i--ii},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85116895007},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Preface},
    url = {http://ceur-ws.org/Vol-2963/xpreface.pdf},
    volume = 2963,
    year = 2021
} 

 @incollection{imagination-extraamas2021,
	address = {Basel, Switzerland},
	author = {Ciatto, Giovanni and Najjar, Amro and Calbimonte, Jean-Paul and Calvaresi, Davide},
	booktitle = {Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3--7, 2021, Revised Selected Papers},
	doi = {10.1007/978-3-030-82017-6_9},
	editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Fr{\"a}mling, Kary},
	iris = {11585/842452},
	isbn = {978-3-030-82016-9},
	eisbn = {978-3-030-82017-6},
	issn = {0302-9743},
	keywords = {Multi-agent systems; Imagination; BDI; Cognitive agents; XAI},
	pages = {139--157},
	publisher = {Springer Nature},
	series = {Lecture Notes in Computer Science},
	subseries = {Lecture Notes in Artificial Intelligence},
	title = {Towards Explainable Visionary Agents: License to Dare and Imagine},
	url = {http://link.springer.com/10.1007/978-3-030-82017-6_9},
	volume = 12688,
	year = 2021}
 

 @article{blockchainmas-applsci10,
    articleno = 7460,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
    doi = {10.3390/app10217460},
    editor = {Tonelli, Roberto and Ortu, Marco and Pinna, Andrea},
    iris = {11585/775705},
    issn = {2076-3417},
    journal = {Applied Sciences},
    keywords = {blockchain; smart contracts; agents; autonomy; multi-agent systems; Tenderfone},
    month = oct,
    note = {Special Issue ``Advances in Blockchain Technology and Applications 2020''},
    number = 21,
    numpages = 22,
    pages = {7460:1--7460:22},
    publisher = {MDPI},
    scholar = {3552587418093943018},
    scopus = {2-s2.0-85094167294},
    semanticscholar = {228967442},
    series = {Advances in Blockchain Technology and Applications 2020},
    title = {From Agents to Blockchain: Stairway to Integration},
    url = {https://www.mdpi.com/2076-3417/10/21/7460},
    urlpdf = {https://www.mdpi.com/2076-3417/10/21/7460/pdf},
    volume = 10,
    wos = {000589159900001},
    year = 2020
} 

 @inproceedings{preface-woa2020,
    address = {Aachen, Germany},
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781522},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    numpages = 2,
    pages = {iii--iv},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85095596630},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Preface},
    url = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
    volume = 2706,
    year = 2020
} 

 @incollection{preface-aiiot2019,
    author = {Savaglio, Claudio and Ciatto, Giovanni and Omicini, Andrea and Fortino, Giancarlo},
    booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
    editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/707353},
    issn = {1613-0073},
    keywords = {Artificial Intelligence; Internet of Things},
    month = nov,
    pages = {i},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85075928953},
    series = {CEUR Workshop Proceedings},
    title = {Preface -- AI\&IoT 2019},
    urlpdf = {http://ceur-ws.org/Vol-2502/preface.pdf},
    volume = 2502,
    year = 2019
} 

 @inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
} 

 @inproceedings{DeMaria:2017:FVN:3156346.3156350,
 author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
 title = {Formal Validation of Neural Networks As Timed Automata},
 booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
 series = {CSBio '17},
 year = {2017},
 isbn = {978-1-4503-5350-2},
 location = {Nha Trang City, Viet Nam},
 pages = {15--22},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/3156346.3156350},
 doi = {10.1145/3156346.3156350},
 acm = {3156350},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
}