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 }
@inproceedings{fauci-aequitas2024, articleno = 8, author = {Magnini, Matteo and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea}, booktitle = {AEQUITAS 2024: Fairness and Bias in AI}, dblp = {conf/aequitas/MagniniCCO24}, editor = {Calegari, Roberta and Dignum, Virginia and O'Sullivan, Barry}, iris = {11585/995740}, keywords = {AI Fairness, FaUCI, in-processing, regularization, mitigation}, month = oct, note = {Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024)}, numpages = 13, pages = {8:1--8:13}, publisher = {CEUR-WS}, scholar = {12743200180573703475}, scopus = {2-s2.0-85210042328}, series = {CEUR Workshop Proceedings}, title = {Enforcing Fairness via Constraint Injection with {FaUCI}}, url = {https://ceur-ws.org/Vol-3808/paper8.pdf}, urlopenaccess = {https://ceur-ws.org/Vol-3808/paper8.pdf}, urlpdf = {https://ceur-ws.org/Vol-3808/paper8.pdf}, volume = 3808, year = 2024 }
@book{extraamas2024, dblp = {conf/extraamas/2024}, doi = {10.1007/978-3-031-70074-3}, editor = {Calvaresi, Davide and Najaar, Amro and Omicini, Andrea and Aydogan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Hulstijn, Joris and Främling, Kary}, eisbn = {978-3-031-70074-3}, eissn = {1611-3349}, iris = {11585/988174}, isbn = {978-3-031-70073-6}, issn = {0302-9743}, month = sep, publisher = {Springer}, scholar = {16205626934148009035}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, subtitle = {6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers}, title = {Explainable, Transparent Autonomous Agents and Multi-Agent Systems}, url = {https://link.springer.com/10.1007/978-3-031-70074-3}, urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-70074-3.pdf}, volume = 14847, year = 2024 }
@incollection{bdiconcurrency-emas2024, author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo and Ricci, Alessandro and Omicini, Andrea}, booktitle = {12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers}, dblp = {conf/emas/BaiardiBCPRO24}, doi = {10.1007/978-3-031-71152-7}, editor = {Briola, Daniela and Cardoso, Rafael C. and Logan, Brian}, eisbn = {978-3-031-71152-7}, eissn = {1611-3349}, iris = {11585/995135}, isbn = {978-3-031-71151-0}, issn = {0302-9743}, keywords = {Agent-Oriented Programming, Concurrency, BDI Agents, Threading, Parallelism}, month = oct, numpages = 22, pages = {42--63}, publisher = {Springer Cham}, scholar = {2966045943433174401}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, title = {On the External Concurrency of Current BDI Frameworks for MAS}, url = {https://link.springer.com/10.1007/978-3-031-71152-7}, urlopenaccess = {https://arxiv.org/abs/2404.10397}, urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-71152-7_3.pdf}, volume = 15152, year = 2024 }
@inproceedings{skidatadegradation-woa2024, author = {Rafanelli, Andrea and Magnini, Matteo and Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea}, booktitle = {WOA 2024 -- 25th Workshop ``From Objects to Agents 2024''}, dblp = {conf/woa/RafanelliMACO24}, editor = {Alderighi, Marco and Baldoni, Matteo and Baroglio, Cristina and Micalizio, Roberto and Tedeschi, Stefano}, iris = {11585/975934}, issn = {1613-0073}, keywords = {Symbolic Knowledge Injection, Robustness, Neural Networks}, location = {Bard, AO, Italy}, month = jul, numpages = 13, pages = {20--32}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, scholar = {9917174396528512749}, scopus = {2-s2.0-85200118300}, series = {CEUR Workshop Proceedings}, subseries = {AIxIA Series}, title = {An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation}, url = {https://ceur-ws.org/Vol-3735/paper_02.pdf}, urlopenaccess = {https://ceur-ws.org/Vol-3735/paper_02.pdf}, urlpdf = {https://ceur-ws.org/Vol-3735/paper_02.pdf}, volume = 3735, year = 2024 }
@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 }
@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}, scholar = {14814311818144144043}, 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 = {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 = {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 Zealand}, 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>