Per Year
@inproceedings{masconcurrency-aamas2024, acm = {3663089}, author = {Baiardi, Martina and Burattini, Samuele and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea}, booktitle = {AAMAS'24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems}, dblp = {conf/atal/BaiardiBCPOR24}, iris = {11585/973178}, isbn = {979-8-4007-0486-4}, keywords = {Agent-Oriented Programming; Concurrency; BDI Agents; Threads}, month = may, note = {Extended abstract}, numpages = 3, pages = {2147--2149}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, scholar = {4738339792803409504}, scopus = {2-s2.0-85196388369}, title = {Concurrency Model of {BDI} Programming Frameworks: Why Should We Control It?}, url = {https://dl.acm.org/doi/10.5555/3635637.3663089}, urlopenaccess = {https://arxiv.org/abs/2404.10421}, urlpdf = {https://dl.acm.org/doi/pdf/10.5555/3635637.3663089}, year = 2024 }
@article{skeislr-csur56, acm = {3645103}, articleno = 161, author = {Ciatto, Giovanni and Sabbatini, Federico and Agiollo, Andrea and Magnini, Matteo and Omicini, Andrea}, dblp = {journals/csur/CiattoSAMO24}, doi = {10.1145/3645103}, eissn = {1557-734}, iris = {11585/969235}, issn = {0360-0300}, journal = {ACM Computing Surveys}, keywords = {Logic; Machine learning theory; Hybrid symbolic-numeric methods; Knowledge representation and reasoning}, month = jun, number = 6, numpages = 35, pages = {161:1--161:35}, publisher = {ACM}, scholar = {13701373869146776438}, scopus = {2-s2.0-85188835517}, semanticscholar = {267611660}, title = {Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review}, url = {https://dl.acm.org/doi/10.1145/3645103}, urlopenaccess = {https://dl.acm.org/doi/pdf/10.1145/3645103}, urlpdf = {https://dl.acm.org/doi/pdf/10.1145/3645103}, volume = 56, wos = {WOS:001208566200027}, year = 2024 }
@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{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 }
@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 }
@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{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 }
@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 }
@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{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 }
@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{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 }
@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 }
@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 }
@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 }
@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{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{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 }
@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 }
@inproceedings{lpaas-ic2e2018, author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea}, booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)}, dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18}, doi = {10.1109/IC2E.2018.00061}, ieee = {8360344}, iris = {11585/636933}, isbn = {978-1-5386-5008-0}, month = {17--20}}}, publisher = {IEEE Computer Society}, scholar = {470119961420072962}, scopus = {2-s2.0-85048334877}, title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}}, url = {http://ieeexplore.ieee.org/document/8360344/}, urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344}, wos = {000759774400038}, 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 }
@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{bctcoord-bct4mas2018wi, author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea}, booktitle = {2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI)}, dblp = {conf/webi/Ciatto0O18}, doi = {10.1109/WI.2018.000-9}, ieee = {8609674}, iris = {11585/655099}, isbn = {978-1-5386-7325-6}, keywords = {blockchain, smart contracts, MAS, coordination, Linda, Ethereum, economy of coordination}, month = dec, note = {1st International Workshop on Block Chain Technologies 4 Multi-Agent Systems (BCT4MAS 2018)}, numpages = 8, pages = {696--703}, scholar = {168725511213458827}, scopus = {2-s2.0-85061893707}, title = {Blockchain for Trustworthy Coordination: A First Study with {L}inda and {E}thereum}, url = {http://ieeexplore.ieee.org/document/8609674}, wos = {000458968200106}, 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 }