Per Year

67 publications without IEEE No  /  1927–2023  /  Giovanni Ciatto
2023  •  2022  •  2021  •  2020  •  2019  •  2018  •  2017
 @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{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},
    semanticscholar = {259324728},
    title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
    url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
    urlopenaccess = {https://cris.unibo.it/retrieve/3a2a510e-9dc5-4b07-b3f7-398cf2f21419/ia-2023-psyke.pdf},
    volume = 17,
    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,
    dblp = {conf/extraamas/CiattoMBAO23},
    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},
    semanticscholar = {261894587},
    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{kins-jlc33,
    author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
    dblp = {journals/logcom/MagniniCO23},
    doi = {10.1093/logcom/exad037},
    eissn = {1465-363X},
    iris = {11585/950567},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    keywords = {neural network, expalinable AI, symbolic knowledge injection, KINS, PSyKI},
    month = dec,
    number = 8,
    numpages = 19,
    pages = {1832--1850},
    publisher = {Oxford University Press},
    scholar = {2353304508513748358},
    scopus = {2-s2.0-85179896166},
    semanticscholar = {266726315},
    title = {Knowledge injection of {D}atalog rules via Neural Network Structuring with {KINS}},
    url = {https://academic.oup.com/logcom/article/33/8/1832/7190990},
    volume = 33,
    wos = {WOS:001003002200001},
    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},
    scholar = {13606448051050829166},
    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{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{skiqos-jaamas37,
    articleno = 27,
    author = {Agiollo, Andrea and Rafanelli, Andrea and Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
    dblp = {journals/aamas/AgiolloRMCO23},
    doi = {10.1007/s10458-023-09609-6},
    iris = {11585/932553},
    issn = {1573-7454},
    journal = {Autonomous Agents and Multi-Agent Systems},
    keywords = {symbolic knowledge injection, quality of service, efficiency, robustness, PSyKI},
    month = jun,
    number = 2,
    numpages = 30,
    pages = {27:1-27:30},
    scholar = {6493335879803556297},
    scopus = {2-s2.0-85162972232},
    semanticscholar = {259234850},
    title = {Symbolic Knowledge Injection meets Intelligent Agents: {QoS} metrics and experiments},
    url = {https://link.springer.com/10.1007/s10458-023-09609-6},
    volume = 37,
    wos = {WOS:001013184000001},
    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{skerecommender-cmbp235,
    acm = {10.1016/j.cmpb.2023.107536},
    articleno = 107536,
    author = {Magnini, Matteo and Ciatto, Giovanni and Cantürk, Furkan and Aydoǧan, Reyhan and Omicini, Andrea},
    dblp = {journals/cmpb/MagniniCCAO23},
    doi = {10.1016/j.cmpb.2023.107536},
    iris = {11585/923772},
    issn = {0169-2607},
    journal = {Computer Methods and Programs in Biomedicine},
    keywords = {explainable artificial intelligence, symbolic knowledge extraction, recommendation systems, nutrition, neural networks},
    month = jun,
    numpages = 32,
    pubmed = {37060685},
    scholar = {14455392383017605572},
    scopus = {2-s2.0-85152230884},
    semanticscholar = {261426939},
    title = {Symbolic Knowledge Extraction for Explainable Nutritional Recommenders},
    url = {https://www.sciencedirect.com/science/article/pii/S0169260723002018},
    volume = 235,
    wos = {000983750400001},
    year = 2023
} 
12 publications in 2023 without IEEE No • topindexbottom
 @incollection{kill-woa2022,
    author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/MagniniCO22},
    editor = {Ferrando, Angelo and Mascardi, Viviana},
    iris = {11585/899373},
    issn = {1613-0073},
    keywords = {symbolic knowledge injection; AI; ML; neural networks; KILL; PSyKI},
    month = nov,
    numpages = 16,
    pages = {61--76},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {514437633827732665},
    scopus = {2-s2.0-85142481549},
    semanticscholar = {253270036},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {A view to a {KILL}: Knowledge Injection via Lambda Layer},
    url = {http://ceur-ws.org/Vol-3261/paper5.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3261/paper5.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3261/paper5.pdf},
    volume = 3261,
    year = 2022
} 
 @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{woa2021editorial-ia16,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    dblp = {journals/ia/CalegariCOV22},
    doi = {10.3233/IA-220141},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    eissn = {2211-0097},
    iris = {11585/890645},
    issn = {1724-8035},
    journal = {Intelligenza Artificiale},
    month = jul,
    note = {Editorial},
    number = 1,
    numpages = 3,
    pages = {3--5},
    publisher = {IOS Press},
    scholar = {6709418487090647027},
    scopus = {2-s2.0-85134154125},
    semanticscholar = {250399907},
    title = {Special Issue for the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
    url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141},
    urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia220141?id=intelligenza-artificiale/ia220141},
    volume = 16,
    wos = {WOS:000825367300001},
    year = 2022
} 
 @article{psyke-ia16,
    author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    dblp = {journals/ia/SabbatiniCCO22},
    doi = {10.3233/IA-210120},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    eissn = {2211-0097},
    iris = {11585/890822},
    issn = {1724-8035},
    journal = {Intelligenza Artificiale},
    keywords = {Explainable AI, knowledge extraction, interpretable prediction, PSyKE},
    month = jul,
    number = 1,
    numpages = 22,
    pages = {27--48},
    publisher = {IOS Press},
    scholar = {7559675640918015038},
    scopus = {2-s2.0-85134193338},
    semanticscholar = {250400188},
    title = {Symbolic knowledge extraction from opaque {ML} predictors in {PSyKE}: Platform design \& experiments},
    url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141},
    volume = 16,
    wos = {WOS:000825367300003},
    year = 2022
} 
 @inproceedings{kins-cilc2022,
    author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
    dblp = {conf/cilc/MagniniCO22},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/899494},
    issn = {1613-0073},
    keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI},
    location = {Bologna, Italy},
    numpages = 14,
    pages = {254--267},
    publisher = {CEUR-WS},
    scholar = {10469078385425944401},
    scopus = {2-s2.0-85138240764},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {{KINS}: Knowledge Injection via Network Structuring},
    url = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
    volume = 3204,
    year = 2022
} 
 @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
} 
 @incollection{swpsyke-extraamas2022,
    author = {Sabbatini, Federico and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
    chapter = 8,
    dblp = {conf/atal/SabbatiniCO22},
    doi = {10.1007/978-3-031-15565-9_8},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
    iris = {11585/899474},
    isbn = {978-3-031-15564-2},
    keywords = {Symbolic Knowledge Injection, Explainable AI, XAI, Neural Networks, PSyKI},
    numpages = 19,
    pages = {124--142},
    publisher = {Springer},
    scholar = {11339767386934277898},
    scopus = {2-s2.0-85140488560},
    series = {Lecture Notes in Computer Science},
    subtitle = {4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers},
    title = {Semantic Web-Based Interoperability for Intelligent Agents with {PSyKE}},
    url = {http://link.springer.com/10.1007/978-3-031-15565-9_8},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-15565-9_8.pdf},
    volume = 13283,
    wos = {WOS:000870042100008},
    year = 2022
} 
 @incollection{hypercube-woa2022,
    author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/SabbatiniCCO22},
    editor = {Ferrando, Angelo and Mascardi, Viviana},
    iris = {11585/899358},
    issn = {1613-0073},
    keywords = {Explainable AI; Knowledge extraction; Interpretable prediction; PSyKE},
    month = nov,
    numpages = 13,
    pages = {48--60},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {8614662013642803891},
    scopus = {2-s2.0-85142519111},
    semanticscholar = {253270041},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model},
    url = {http://ceur-ws.org/Vol-3261/paper4.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3261/paper4.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3261/paper4.pdf},
    volume = 3261,
    year = 2022
} 
 @incollection{psyki-extraamas2022,
    author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
    chapter = 6,
    dblp = {conf/atal/MagniniCO22},
    doi = {10.1007/978-3-031-15565-9_6},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
    eisbn = {978-3-031-15565-9},
    eissn = {1611-3349},
    iris = {11585/899511},
    isbn = {978-3-031-15564-2},
    issn = {0302-9743},
    keywords = {Symbolic Knowledge Injection, Explainable AI, XAI, Neural Networks, PSyKI},
    note = {4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9--10, 2022, Revised Selected Papers},
    pages = {90--108},
    publisher = {Springer},
    scholar = {7587528289517313138},
    scopus = {2-s2.0-85138317005},
    semanticscholar = {252545848},
    series = {Lecture Notes in Computer Science},
    title = {On the Design of {PSyKI}: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors},
    url = {https://link.springer.com/chapter/10.1007/978-3-031-15565-9_6},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-15565-9_6.pdf},
    volume = 13283,
    wos = {WOS:000870042100006},
    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
} 
13 publications in 2022 without IEEE No • topindexbottom
 @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{shallow2deep-extraamas2021,
    address = {Cham, Switzerland},
    author = {Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3--7, 2021, Revised Selected Papers},
    dblp = {conf/atal/AgiolloCO21},
    doi = {10.1007/978-3-030-82017-6_5},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Fr{\"a}mling, Kary},
    eisbn = {978-3-030-82017-6},
    eissn = {1611-3349},
    iris = {11585/838540},
    isbn = {978-3-030-82016-9},
    issn = {0302-9743},
    keywords = {Neural Architecture Search; Evolutionary Algorithm; Opacity; Interpretability},
    numpages = 20,
    pages = {63--82},
    publisher = {Springer},
    scholar = {8606811357246615623},
    scopus = {2-s2.0-85113325735},
    semanticscholar = {236460263},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{\it Shallow2Deep}: Restraining Neural Networks Opacity through Neural Architecture Search},
    url = {http://link.springer.com/10.1007/978-3-030-82017-6_5},
    volume = 12688,
    wos = {000691781800005},
    year = 2021
} 
 @inproceedings{psyke-woa2021,
    articleno = 3,
    author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/SabbatiniCCO21},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834364},
    issn = {1613-0073},
    keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    numpages = 20,
    pages = {29--48},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {879185583484020388},
    scopus = {2-s2.0-85116894019},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {On the Design of {PSyKE}: A Platform for Symbolic Knowledge Extraction},
    url = {http://ceur-ws.org/Vol-2963/paper14.pdf},
    volume = 2963,
    year = 2021
} 
 @article{2pkt-swx16,
    articleno = 100817,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    dblp = {journals/softx/CiattoCO21},
    doi = {10.1016/j.softx.2021.100817},
    iris = {11585/834368},
    issn = {2352-7110},
    journal = {SoftwareX},
    keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
    month = dec,
    numpages = 7,
    pages = {100817:1--100817:7},
    publisher = {Elsevier B.V.},
    scholar = {11747595476298173121},
    scopus = {2-s2.0-85122782224},
    semanticscholar = {244208338},
    title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
    url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf},
    urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf},
    volume = 16,
    wos = {000706078900005},
    year = 2021
} 
 @incollection{expectation-extraamas2021,
    address = {Basel, Switzerland},
    author = {Calvaresi, Davide and Ciatto, Giovanni and Najjar, Amro and Aydoğan, Reyhan and Van der Torre, Leon and Omicini, Andrea and Schumacher, Michael I.},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3--7, 2021, Revised Selected Papers},
    dblp = {conf/atal/CalvaresiCNATO021},
    doi = {10.1007/978-3-030-82017-6_20},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
    eisbn = {978-3-030-82017-6},
    eissn = {1611-3349},
    iris = {11585/838535},
    isbn = {978-3-030-82016-9},
    issn = {0302-9743},
    keywords = {Multi-agent systems; eXplanable AI; Chist-Era IV; Personalisation; Decentralisation; Expectation},
    month = jul,
    pages = {331--343},
    publisher = {Springer Nature},
    scholar = {13608075469949443971},
    scopus = {2-s2.0-85113351710},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{\textsc{Expectation}}: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge},
    url = {http://link.springer.com/10.1007/978-3-030-82017-6_20},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/838535/839498/extraamas-2021-expectation.pdf},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-82017-6_20.pdf},
    volume = 12688,
    wos = {000691781800020},
    year = 2021
} 
 @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{2pkt-jelia2021,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {Logics in Artificial Intelligence},
    dblp = {conf/jelia/CiattoCO21},
    doi = {10.1007/978-3-030-75775-5_27},
    editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
    iris = {11585/838787},
    keywords = {Prolog; Stream processing; 2P-Kt; State machine},
    note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
    numpages = 14,
    pages = {407--420},
    publisher = {Springer},
    scholar = {10383616383578677634},
    scopus = {2-s2.0-85111134199},
    semanticscholar = {234475670},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
    url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
    volume = 12678,
    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}
 
 @incollection{gridex-extraamas2021,
    address = {Cham, Switzerland},
    author = {Sabbatini, Federico and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3--7, 2021, Revised Selected Papers},
    dblp = {conf/atal/SabbatiniCO21},
    doi = {10.1007/978-3-030-82017-6_2},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
    eisbn = {978-3-030-82017-6},
    eissn = {1611-3349},
    iris = {11585/834616},
    isbn = {978-3-030-82016-9},
    issn = {0302-9743},
    keywords = {Explainable AI; Knowledge extraction; Interpretable prediction; Regression; Iter; GridEx},
    month = jul,
    numpages = 21,
    pages = {18--38},
    publisher = {Springer Nature},
    scholar = {855045469053426346},
    scopus = {2-s2.0-85113335454},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{GridEx}: An Algorithm for Knowledge Extraction from Black-Box Regressors},
    url = {http://link.springer.com/10.1007/978-3-030-82017-6_2},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834616/830237/extraamas-2021-iter.pdf},
    urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-82017-6_2.pdf},
    volume = 12688,
    wos = {000691781800002},
    year = 2021
} 
 @inproceedings{lptech4mas-aamas2021,
    acm = {3464214},
    author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
    booktitle = {20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021)},
    dblp = {journals/aamas/CalegariCMO21},
    iris = {11585/819065},
    isbn = {978-1-4503-8307-3},
    issn = {2523-5699},
    keywords = {SLR, Logic-based Technologies, MAS},
    month = may,
    note = {Summary of ``Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review''},
    numpages = 3,
    pages = {1721-1723},
    scholar = {10241330461334370464},
    scopus = {2-s2.0-85112328211},
    title = {Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review},
    url = {http://dl.acm.org/doi/10.5555/3463952.3464214},
    urlpdf = {http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf},
    year = 2021
} 
 @inproceedings{gnn-woa2021,
    articleno = 8,
    author = {Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
    dblp = {conf/woa/AgiolloCO21},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/834362},
    issn = {1613-0073},
    keywords = {Graph Neural Networks, Machine Learning, Embedding, Computational Logic},
    location = {Bologna, Italy},
    month = oct,
    note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
    numpages = 18,
    pages = {98--115},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {817372786663443317},
    scopus = {2-s2.0-85116916925},
    semanticscholar = {238360605},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap},
    url = {http://ceur-ws.org/Vol-2963/paper18.pdf},
    volume = 2963,
    year = 2021
} 
 @article{lptech4mas-jaamas35,
    articleno = 1,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
    dblp = {journals/aamas/CalegariCMO21},
    doi = {10.1007/s10458-020-09478-3},
    editor = {Bergenti, Federico and Baldoni, Matteo and Winikoff, Michael and Seghrouchni, Amal El Fallah},
    eissn = {1573-7454},
    iris = {11585/775368},
    issn = {1387-2532},
    journal = {Autonomous Agents and Multi-Agent Systems},
    keywords = {SLR; Logic-based Technologies; MAS},
    note = {Collection ``Current Trends in Research on Software Agents and Agent-Based Software Development''},
    number = 1,
    numpages = 67,
    pages = {1:1--1:67},
    publonsid = {34852575},
    scholar = {3394967429087589940},
    scopus = {2-s2.0-85092892414},
    semanticscholar = {225142049},
    title = {Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review},
    url = {http://link.springer.com/10.1007/s10458-020-09478-3},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/s10458-020-09478-3.pdf},
    volume = 35,
    wos = {000579434600001},
    year = 2021
} 
12 publications in 2021 without IEEE No • topindexbottom
 @article{coordination-jlamp2020,
    articleno = 100531,
    author = {Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Louvel, Maxime and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
    dblp = {journals/jlap/CiattoMSLOZ20},
    doi = {10.1016/j.jlamp.2020.100531},
    editor = {De Nicola, Rocco},
    iris = {11585/746605},
    issn = {2352-2208},
    journal = {Journal of Logical and Algebraic Methods in Programming},
    keywords = {coordination technologies; middleware; survey},
    month = jun,
    note = {Special Issue ``20 Years of Coordination Models and Languages''},
    numpages = 25,
    pages = {100531:1--25},
    publisher = {Elsevier Science B.V.},
    scholar = {5771430051197203219},
    scopus = {2-s2.0-85092901278},
    semanticscholar = {211731248},
    title = {Twenty Years of Coordination Technologies: {COORDINATION} contribution to the State of Art},
    url = {http://www.sciencedirect.com/science/article/pii/S235222082030016X},
    urlopenaccess = {https://cris.unibo.it/retrieve/3efbf817-89a4-4226-bd2d-3d480df01dd3/Twenty%20Years%20of%20Coordination%20Technologies%20COORDINATION%20Contribution%20to%20the%20State%20of%20Art%20%28postprint%29.pdf},
    volume = 113,
    wos = {000528260400001},
    year = 2020
} 
 @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{nsc4xai-woa2020,
    address = {Aachen, Germany},
    articleno = 8,
    author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/PisanoCCO20},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781387},
    issn = {1613-0073},
    keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    numpages = 17,
    pages = {101--117},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85095616404},
    scopus-id = {2-s2.0-85095616404},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
    url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2706/paper18.pdf},
    volume = 2706,
    year = 2020
} 
 @inproceedings{agentbasedxai-aamas2020,
    acm = {3398992},
    author = {Ciatto, Giovanni and Calvaresi, Davide and Schumacher, Michael I. and Omicini, Andrea},
    booktitle = {19th International Conference on Autonomous Agents and MultiAgent Systems},
    dblp = {conf/atal/CiattoCSO20},
    editor = {El Fallah Seghrouchni, Amal and Sukthankar, Gita and An, Bo and Yorke-Smith, Neil},
    iris = {11585/785178},
    isbn = {978-1-4503-7518-4},
    issn = {2523-5699},
    keywords = {Abstract Framework; Multi-Agent Systems; XAI},
    location = {Auckland, New Zeland},
    month = may,
    note = {Extended Abstract},
    numpages = 3,
    pages = {1816--1818},
    publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
    scholar = {6887880147832489319},
    scopus = {2-s2.0-85090291401},
    title = {An Abstract Framework for Agent-Based Explanations in {AI}},
    url = {http://dl.acm.org/doi/10.5555/3398761.3398992},
    urlpdf = {http://ifaamas.org/Proceedings/aamas2020/pdfs/p1816.pdf},
    year = 2020
} 
 @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
} 
 @incollection{proactivesc-blockchain2019,
    author = {Ciatto, Giovanni and Maffi, Alfredo and Mariani, Stefano and Omicini, Andrea},
    booktitle = {Blockchain and Applications},
    dblp = {conf/blockchain/CiattoM0O19},
    doi = {10.1007/978-3-030-23813-1_6},
    editor = {Prieto, Javier and Kumar, Ashok Das and Ferretti, Stefano and Pinto, Ant{\'o}nio and Corchado, Juan Manuel},
    eisbn = {978-3-030-23813-1},
    iris = {11585/690760},
    isbn = {978-3-030-23812-4},
    pages = {45--53},
    publisher = {Springer},
    scholar = {1986623901774140924},
    scopus = {2-s2.0-85068590739},
    series = {Advances in Intelligent Systems and Computing},
    title = {Smart Contracts are More than Objects: Pro-activeness on the Blockchain},
    url = {http://link.springer.com//10.1007/978-3-030-23813-1_6},
    urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-030-23813-1_6.pdf},
    volume = 1010,
    year = 2020
} 
 @inproceedings{kotlindsi4prolog-woa2020,
    address = {Aachen, Germany},
    author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CiattoCSDO20},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
    iris = {11585/781391},
    keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
    location = {Bologna, Italy},
    month = oct,
    note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
    numpages = 18,
    pages = {219--236},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85095597762},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
    url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
    volume = 2706,
    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
} }}})))
((({{{ @article{bctcoordination-information11,
    articleno = 52,
    author = {Ciatto, Giovanni and Mariani, Stefano and Maffi, Alfredo and Omicini, Andrea},
    dblp = {journals/information/CiattoMMO20},
    doi = {10.3390/info11010052},
    editor = {Calvaresi, Davide and Dubovitskaya, Alevtina and Schumacher, Michael and Taveter, Kuldar},
    iris = {11585/714395},
    issn = {2078-2489},
    journal = {Information},
    month = jan,
    note = {Special Issue ``Blockchain Technologies for Multi-Agent Systems''},
    number = 1,
    numpages = 20,
    pages = {1--20},
    scholar = {16345875581954179024},
    scopus = {2-s2.0-85079030248},
    title = {Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts},
    url = {http://www.mdpi.com/2078-2489/11/1/52},
    volume = 11,
    wos = {000513801000051},
    year = 2020
} }}})))
((({{{ @article{logictech-information11,
    articleno = 167,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
    dblp = {journals/information/CalegariCDO20},
    doi = {10.3390/info11030167},
    editor = {Susilo, Willy},
    iris = {11585/752671},
    issn = {2078-2489},
    journal = {Information},
    keywords = {symbolic AI; logic-based technologies; intelligent systems},
    month = mar,
    note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
    number = 3,
    numpages = 29,
    pages = {167:1--167:29},
    publisher = {MDPI},
    scholar = {15744297419438793629},
    scopus = {2-s2.0-85082507008},
    title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
    url = {http://www.mdpi.com/2078-2489/11/3/167},
    volume = 11,
    wos = {000524309400026},
    year = 2020
} }}})))
((({{{ @incollection{agentbasedxai-extraamas2020,
    author = {Ciatto, Giovanni and Schumacher, Michael I. and Omicini, Andrea and Calvaresi, Davide},
    booktitle = {Explainable, Transparent Autonomous Agents and Multi-Agent Systems},
    dblp = {conf/atal/CiattoSOC20},
    doi = {10.1007/978-3-030-51924-7_1},
    editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Fr{\"a}mling, Kary},
    eisbn = {978-3-030-51924-7},
    iris = {11585/7659520},
    isbn = {978-3-030-51923-0},
    keywords = {Explainable artificial intelligence; Multi-agent systems; Understandability; Explainability; Interpretability},
    note = {Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9--13, 2020, Revised Selected Papers},
    numpages = 18,
    pages = {3--20},
    publisher = {Springer, Cham},
    scholar = {11079091667000659249},
    scopus = {2-s2.0-85088588789},
    semanticscholar = {220381901},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Agent-Based Explanations in {AI}: Towards an Abstract Framework},
    url = {http://link.springer.com/chapter/10.1007/978-3-030-51924-7_1},
    urlopenaccess = {https://cris.unibo.it/retrieve/b060a9ea-0f10-4ea4-bfa9-af4a2405e7c4/Author%20postprint.pdf},
    urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-030-51924-7_1.pdf},
    volume = 12175,
    wos = {000695272300001},
    year = 2020
} }}})))
((({{{ @incollection{semanticselfcomposition-isola2020,
    address = {Cham},
    author = {Caselli, Ashley and Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Omicini, Andrea},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles},
    dblp = {conf/isola/CaselliCSO20},
    doi = {10.1007/978-3-030-61470-6_13},
    editor = {Margaria, Tiziana and Steffen, Bernhard},
    iris = {11585/776750},
    isbn = {978-3-030-61470-6},
    month = oct,
    pages = {205--223},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-85096570203},
    series = {Lecture Notes in Computer Science},
    title = {Engineering Semantic Self-composition of Services Through Tuple-Based Coordination},
    url = {https://link.springer.com/10.1007/978-3-030-61470-6_13},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/776750/695563/ccdmso-isola-2020.pdf},
    urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-61470-6_13.pdf},
    volume = 12477,
    year = 2020
} }}})))
((({{{ @article{xaisurvey-ia14,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
    dblp = {journals/ia/CalegariCO20},
    doi = {10.3233/IA-190036},
    editor = {Baldoni, Matteo and Bergenti, Federico and Monica, Stefania and Vizzari, Giuseppe},
    iris = {11585/772707},
    journal = {Intelligenza Artificiale},
    keywords = {XAI, symbolic and sub-symbolic AI, explainability, interpretability, trustable system},
    month = sep,
    note = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
    number = 1,
    numpages = 26,
    pages = {7--32},
    publisher = {IOS Press},
    scholar = {14107040211648876458},
    scopus = {2-s2.0-85092388493},
    semanticscholar = {222137614},
    title = {On the integration of symbolic and sub-symbolic techniques for {XAI}: A survey},
    url = {http://content.iospress.com/articles/intelligenza-artificiale/ia190036},
    volume = 14,
    wos = {000574865700002},
    year = 2020
} }}})))
</div>
<div  class="mainselectbottom">
13 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2020 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2019" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2019&service=ieee&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2019
</a>
</div>
<div>
((({{{ @incollection{xmas-aiiot2019,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea and Calvaresi, Davide},
    booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
    dblp = {conf/aiia/CiattoCOC19},
    editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/707345},
    issn = {1613-0073},
    keywords = {MAS; XMAS; XAI; explainability; road map},
    month = nov,
    pages = {40--53},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {16440456382689731727},
    scopus = {2-s2.0-85075953890},
    series = {CEUR Workshop Proceedings},
    title = {Towards {XMAS}: e{X}plainability through {M}ulti-{A}gent {S}ystems},
    url = {http://ceur-ws.org/Vol-2502/paper3.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2502/paper3.pdf},
    volume = 2502,
    year = 2019
} }}})))
((({{{ @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
} }}})))
((({{{ @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
} }}})))
((({{{ @incollection{autonomoussc-paams2019,
    author = {Ciatto, Giovanni and Maffi, Alfredo and Mariani, Stefano and Omicini, Andrea},
    booktitle = {Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection},
    dblp = {conf/paams/CiattoM0O19},
    doi = {10.1007/978-3-030-24209-1_3},
    editor = {Demazeau, Yves and Matson, Eric and Corchado, Juan Manuel and De la Prieta, Fernando},
    eisbn = {978-3-030-24209-1},
    iris = {11585/690684},
    isbn = {978-3-030-24208-4},
    keywords = {Autonomy; Smart contracts; Blockchain; Multi-agent systems},
    month = jun,
    numpages = 13,
    pages = {29--41},
    publisher = {Springer International Publishing},
    scholar = {8878235327445521925},
    scopus = {2-s2.0-85068643031},
    series = {Lecture Notes in Computer Science},
    title = {Towards Agent-oriented Blockchains: Autonomous Smart Contracts},
    url = {http://link.springer.com/10.1007/978-3-030-24209-1_3},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-24209-1_3.pdf},
    volume = 11523,
    year = 2019
} }}})))
((({{{ @incollection{xailp-woa2019,
    author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea},
    booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariCDO19},
    editor = {Bergenti, Federico and Monica, Stefania},
    iris = {11585/692870},
    keywords = {XAI, logic programming, machine learning, symbolic vs. subsymbolic},
    location = {Parma, Italy},
    month = {26--28}}},
    scopus = {2-s2.0-85069688451},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Interpretable Narrative Explanation for {ML} Predictors with {LP}: A Case Study for {XAI}},
    url = {http://ceur-ws.org/Vol-2404/paper16.pdf},
    volume = 2404,
    year = 2019
} }}})))
((({{{ @incollection{bctcoord-bct4mas2019,
    author = {Ciatto, Giovanni and Bosello, Michael and Mariani, Stefano and Omicini, Andrea},
    booktitle = {Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection},
    chapter = 7,
    dblp = {conf/paams/CiattoB0O19},
    doi = {10.1007/978-3-030-24299-2_7},
    editor = {De La Prieta, Fernando and Gonz{\'a}lez-Briones, Alfonso and Pawleski, Pawel and Calvaresi, Davide and Del Val, Elena and Lopes, Fernando and Julian, Vicente and Osaba, Eneko and S{\'a}nchez-Iborra, Ram{\'o}n},
    eisbn = {978-3-030-24299-2},
    eissn = {1865-0937},
    iris = {11585/690568},
    isbn = {978-3-030-24298-5},
    issn = {1865-0929},
    keywords = {Blockchain-based coordination; Smart contracts; Linda on Ethereum; Linda on Fabric; Linda on Corda},
    month = jun,
    pages = {80--91},
    publisher = {Springer},
    scholar = {8861713783105784647},
    scopus = {2-s2.0-85068611100},
    series = {Communications in Computer and Information Science},
    title = {Comparative Analysis of Blockchain Technologies under a Coordination Perspective},
    url = {http://link.springer.com/10.1007/978-3-030-24299-2_7},
    volume = 1047,
    year = 2019
} }}})))
((({{{ @incollection{edgeintelligenceguidelines-idcs2019,
    author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
    booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
    dblp = {conf/idcs/CalegariCDO19},
    doi = {10.1007/978-3-030-34914-1_25},
    eisbn = {978-3-030-34914-1},
    iris = {11585/705119},
    isbn = {978-3-030-34913-4},
    keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
    location = {Napoli, Italy},
    month = {10--12}}},
    scopus = {2-s2.0-85075905010},
    series = {Lecture Notes in Computer Science},
    title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines},
    url = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
    volume = 11874,
    year = 2019
} }}})))
</div>
<div  class="mainselectbottom">
7 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2019 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2018" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2018&service=ieee&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2018
</a>
</div>
<div>
((({{{ @inproceedings{blockchain-goodtechs2018,
    acm = {10.1145/3284869.3284870},
    address = {New Work, NY, USA},
    author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
    booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
    dblp = {conf/goodtechs/PianiniCC0VO18},
    doi = {10.1145/3284869.3284870},
    iris = {11585/655097},
    keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
    location = {Bologna, Italy},
    month = nov,
    pages = {271--276},
    publisher = {ACM},
    scholar = {3798219571928546753},
    scopus = {2-s2.0-85061088949},
    title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
    url = {http://dl.acm.org/citation.cfm?doid=3284870},
    wos = {000470918900046},
    year = 2018
} }}})))
((({{{ @article{respectx-comsis15,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    dblp = {journals/comsis/CiattoMO18},
    doi = {10.2298/CSIS180111031C},
    editor = {Bădică, Costin and Trawiński, Bogdan},
    eissn = {2406-1018},
    iris = {11585/646056},
    issn = {1820-0214},
    journal = {Computer Science and Information Systems},
    keywords = {coordination, multi-agent systems, Eclipse IDE, TuCSoN, ReSpecTX},
    month = oct,
    note = {{S}pecial Section: Contemporary Topics in Intelligent Distributed Computing},
    number = 3,
    pages = {655--682},
    publisher = {ComSIS Consortium},
    scholar = {14640975833342876198},
    scopus = {2-s2.0-85055164807},
    title = {{\sf{{R}e{S}pec{T}}$\mathbb{X}$}: Programming Interaction Made Easy},
    url = {http://www.comsis.org/archive.php?show=ppridc-7418},
    urlpdf = {http://www.comsis.org/pdf.php?id=idc-7418},
    volume = 15,
    wos = {000446686100010},
    year = 2018
} }}})))
((({{{ @incollection{techsurvey-coord2018,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco and Louvel, Maxime},
    booktitle = {Coordination Models and Languages},
    dblp = {conf/coordination/Ciatto0LOZ18},
    doi = {10.1007/978-3-319-92408-3_3},
    editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
    eisbn = {978-3-319-92408-3},
    iris = {11585/636939},
    keywords = {Coordination technologies, Middleware, Survey},
    note = {20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings},
    numpages = 30,
    pages = {51--80},
    publisher = {Springer},
    scopus = {2-s2.0-85048877084},
    series = {Lecture Notes in Computer Science},
    title = {Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives},
    url = {http://link.springer.com/10.1007/978-3-319-92408-3_3},
    volume = 10852,
    year = 2018
} }}})))
((({{{ @article{lpaas-bdcc2,
    articleno = 23,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    dblp = {journals/fuin/CalegariDDO18},
    doi = {10.3390/bdcc2030023},
    eissn = {2504-2289},
    iris = {11585/640012},
    journal = {Big Data and Cognitive Computing},
    keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
    number = 3,
    numpages = 26,
    publisher = {MDPI},
    scholar = {247396456770353218},
    scopus = {2-s2.0-85075881133},
    title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
    url = {http://www.mdpi.com/2504-2289/2/3/23},
    urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
    volume = 2,
    year = 2018
} }}})))
((({{{ @inproceedings{spacetimelp-woa2018,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646038},
    keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
    location = {Palermo, Italy},
    month = {29--30}}},
    scopus = {2-s2.0-85054314622},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
    url = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    volume = 2215,
    year = 2018
} }}})))
((({{{ @inproceedings{blockchainlp-woa2018,
    author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CiattoC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646042},
    keywords = {blockchain, logic programming, smart contracts},
    location = {Palermo, Italy},
    month = jun,
    pages = {69--74},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {816353538952619884},
    scopus = {2-s2.0-85054323401},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
    url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    volume = 2215,
    year = 2018
} }}})))
</div>
<div  class="mainselectbottom">
6 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2018 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2017" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2017&service=ieee&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2017
</a>
</div>
<div>
((({{{ @inproceedings{respect-idc2017,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    booktitle = {Intelligent Distributed Computing XI},
    dblp = {conf/idc/Ciatto0O17},
    doi = {10.1007/978-3-319-66379-1_9},
    editor = {Ivanović, Mirjana and Bădică, Costin and Dix, Jürgen and Jovanović, Zoran and Malgeri, Michele and Savić, Miloš},
    eisbn = {978-3-319-66379-1},
    eissn = {1860-9503},
    iris = {11585/609374},
    isbn = {978-3-319-66378-4},
    issn = {1860-949X},
    numpages = 13,
    pages = {89-101},
    publisher = {Springer},
    scopus = {2-s2.0-85030981290},
    series = {Studies in Computational Intelligence},
    title = {Programming the Interaction Space Effectively with \textsf{{R}e{S}pec{TX}} },
    url = {http://link.springer.com/10.1007/978-3-319-66379-1_9},
    volume = 737,
    wos = {000451440400009},
    year = 2017
} }}})))
((({{{ @inproceedings{coordination-woa2017,
    author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
    booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
    chapter = 11,
    dblp = {conf/woa/0001OC17},
    editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
    iris = {11585/602750},
    issn = {1613-0073},
    month = jun,
    numpages = 4,
    pages = {61--64},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85025164372},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
    url = {http://ceur-ws.org/Vol-1867/w11.pdf},
    volume = 1867,
    year = 2017
} }}})))
((({{{ @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},
} 
 }}})))
</div>
<div id="bottom" class="mainselectbottom">
4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2017 {{stringEngIta eng='without' ita='senza'/}} IEEE No &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>