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{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},
title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
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
} @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
} @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
} @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
} @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{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{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
} @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
} @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
} @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
} @inproceedings{lptech4mas-aamas2021,
acm = {10.5555/3463952.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
} @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 = {10.5555/3398761.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
} }}})))
((({{{ @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
} }}})))
</div>
<div class="mainselectbottom">
7 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2020 {{stringEngIta eng='without' ita='senza'/}} Web of Science ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2019" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2019&service=wos&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'/}} Web of Science ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2018" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2018&service=wos&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2018
</a>
</div>
<div>
((({{{ @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">
4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2018 {{stringEngIta eng='without' ita='senza'/}} Web of Science ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2017" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2017&service=wos&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2017
</a>
</div>
<div>
((({{{ @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">
3 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2017 {{stringEngIta eng='without' ita='senza'/}} Web of Science ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
0000-0002-1841-8996