Per Year

 @proceedings{proceedings-cilc2022,
    address = {Bologna, Italy},
    dblp = {conf/cilc/2022},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/899538},
    issn = {1613-0073},
    note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings},
    numpages = 3,
    publisher = {CEUR-WS},
    scholar = {2685358200094686924},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic },
    url = {http://ceur-ws.org/Vol-3204/},
    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{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
} 

 @proceedings{proceedings-woa2021,
    address = {Aachen, Germany},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/2021},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834360},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    pages = {II, 258},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From Objects to Agents},
    url = {http://ceur-ws.org/Vol-2963/},
    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}
 

 @proceedings{proceedings-woa2020,
    address = {Aachen, Germany},
    booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
    dblp = {conf/woa/2020},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781511},
    issn = {1613-0073},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    pages = {VII, 251},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From Objects to Agents},
    url = {http://ceur-ws.org/Vol-2706/},
    urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
    volume = 2706,
    year = 2020
} 

 @proceedings{aiiot2019-ceur2502,
    booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
    dblp = {conf/aiia/2019aiiot},
    editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/707347},
    issn = {1613-0073},
    keywords = {artificial intelligence; Internet of Things},
    location = {Rende, Italy},
    month = nov,
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    title = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
    url = {http://ceur-ws.org/Vol-2502/},
    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},
}