Per Sort

42 papers in proceedings  /  Giovanni Ciatto
 @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,
    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
} 
 @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
} 
  
 @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
} 
 @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
} 
 @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
} 
 @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
} 
 @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{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{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
} 
 @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
} 
 @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
} 
 @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
} 
 @incollection{2pkt-jelia2021,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {Logics in Artificial Intelligence},
    dblp = {conf/jelia/CiattoCO21},
    doi = {10.1007/978-3-030-75775-5_27},
    editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
    iris = {11585/838787},
    keywords = {Prolog; Stream processing; 2P-Kt; State machine},
    note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
    numpages = 14,
    pages = {407--420},
    publisher = {Springer},
    scholar = {10383616383578677634},
    scopus = {2-s2.0-85111134199},
    semanticscholar = {234475670},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
    url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
    volume = 12678,
    year = 2021
} 
 @incollection{imagination-extraamas2021,
	address = {Basel, Switzerland},
	author = {Ciatto, Giovanni and Najjar, Amro and Calbimonte, Jean-Paul and Calvaresi, Davide},
	booktitle = {Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3--7, 2021, Revised Selected Papers},
	doi = {10.1007/978-3-030-82017-6_9},
	editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Fr{\"a}mling, Kary},
	iris = {11585/842452},
	isbn = {978-3-030-82016-9},
	eisbn = {978-3-030-82017-6},
	issn = {0302-9743},
	keywords = {Multi-agent systems; Imagination; BDI; Cognitive agents; XAI},
	pages = {139--157},
	publisher = {Springer Nature},
	series = {Lecture Notes in Computer Science},
	subseries = {Lecture Notes in Artificial Intelligence},
	title = {Towards Explainable Visionary Agents: License to Dare and Imagine},
	url = {http://link.springer.com/10.1007/978-3-030-82017-6_9},
	volume = 12688,
	year = 2021}
 
 @incollection{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
} 
 @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
} 
 @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
} 
 @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
} 
 @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{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
} }}})))
((({{{ @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
} }}})))
((({{{ @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{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
} }}})))
((({{{ @inproceedings{tusow-icccn2019,
    address = {Valencia, Spain},
    author = {Ciatto, Giovanni and Rizzato, Lorenzo and Omicini, Andrea and Mariani, Stefano},
    booktitle = {The 28th International Conference on Computer Communications and Networks (ICCCN 2019)},
    dblp = {conf/icccn/CiattoRO019},
    doi = {10.1109/ICCCN.2019.8846916},
    ieee = {8846916},
    iris = {11585/695576},
    isbn = {978-1-7281-1856-7},
    isbn-usb = {978-1-7281-1855-0},
    issn = {2637-9430},
    keywords = {TuSoW, edge computing, coordination, tuple spaces, LINDA, Web of Things},
    month = {29}}},
    scopus = {2-s2.0-85073155391},
    title = {{TuSoW}: Tuple Spaces for Edge Computing},
    url = {http://ieeexplore.ieee.org/document/8846916},
    wos = {000533348400007},
    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{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{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
} }}})))
((({{{ @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{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{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
} }}})))
((({{{ @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
} }}})))
((({{{ @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{respect-idc2017,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    booktitle = {Intelligent Distributed Computing XI},
    dblp = {conf/idc/Ciatto0O17},
    doi = {10.1007/978-3-319-66379-1_9},
    editor = {Ivanović, Mirjana and Bădică, Costin and Dix, Jürgen and Jovanović, Zoran and Malgeri, Michele and Savić, Miloš},
    eisbn = {978-3-319-66379-1},
    eissn = {1860-9503},
    iris = {11585/609374},
    isbn = {978-3-319-66378-4},
    issn = {1860-949X},
    numpages = 13,
    pages = {89-101},
    publisher = {Springer},
    scopus = {2-s2.0-85030981290},
    series = {Studies in Computational Intelligence},
    title = {Programming the Interaction Space Effectively with \textsf{{R}e{S}pec{TX}} },
    url = {http://link.springer.com/10.1007/978-3-319-66379-1_9},
    volume = 737,
    wos = {000451440400009},
    year = 2017
} }}})))
((({{{ @inproceedings{coordination-woa2017,
    author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
    booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
    chapter = 11,
    dblp = {conf/woa/0001OC17},
    editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
    iris = {11585/602750},
    issn = {1613-0073},
    month = jun,
    numpages = 4,
    pages = {61--64},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85025164372},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
    url = {http://ceur-ws.org/Vol-1867/w11.pdf},
    volume = 1867,
    year = 2017
} }}})))
((({{{ @inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
} }}})))
((({{{ @inproceedings{DeMaria:2017:FVN:3156346.3156350,
 author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
 title = {Formal Validation of Neural Networks As Timed Automata},
 booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
 series = {CSBio '17},
 year = {2017},
 isbn = {978-1-4503-5350-2},
 location = {Nha Trang City, Viet Nam},
 pages = {15--22},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/3156346.3156350},
 doi = {10.1145/3156346.3156350},
 acm = {3156350},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
} 
 }}})))
</div>
<div id="bottom" class="mainselectbottom">
42 papers in proceedings &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>