Per Sort

93 publications  /  Giovanni Ciatto
in journal  •  in proceedings  •  chapters  •  edited  •  special  •  editorials
@article{fieldvmc-complintsys12,
   abstract = {The vascular morphogenesis controller (VMC) is an approach to structure development inspired by the way plants branch and distribute nutrients. It has proven useful to guide shape formation in modular robotics as well as resource distribution in hierarchically-structured organisations, such as large companies. In this work, we propose FieldVMC: a generalisation of VMC, founded on the field-based approach known as aggregate computing, which is applicable to arbitrary topologies (i.e., undirected graphs rather than trees) and supports asynchronous and decentralised execution. We redesign VMC as a field-based computation, hence enabling the emergence of organisational hierarchies out of self-organising interactions among local entities. The benefits of our approach are manifold. Being decentralised and free from topological constraints, our approach makes VMC applicable to arbitrary networks; being based on a well-known computational model, inheriting scalability, asynchronicity, and self-organising capabilities; being implemented in a functional field-based computation framework, fostering reuse and composability. To support our claims, we conduct in-silico quantitative experiments comparing FieldVMC with the original VMC. The results demonstrate that FieldVMC is a monotonic extension of VMC, offering {{{(i)}}} faster convergence, and (ii) enhanced capabilities for capturing, analyzing, and engineering novel phenomena.},
   apice = {FieldvmcComplintsys12},
   author = {Angela Cortecchia and Giovanni Ciatto and Roberto Casadei and Danilo Pianini},
   bibsource = {dblp computer science bibliography, https://dblp.org},
   dblp = {journals/comintsys/CortecchiaCCP26},
   doi = {10.1007/S40747-025-02141-Y},
   journal = {Complex \& Intelligent Systems},
   keywords = {Pattern formation, Growth regulation, Vascular morphogenesis controller, Self-organisation, Plant-inspired computing, Aggregate computing},
   number = 2,
   title = {{FieldVMC}: an asynchronous model and platform for self-organising morphogenesis of artificial structures},
   url = {https://doi.org/10.1007/s40747-025-02141-y},
   volume = 12,
   year = 2026
}
@article{DBLP:journals/envsoft/HermosillaWWCCCGBF26,
 author       = {Txomin Hermosilla and
                  Michael A. Wulder and
                  Joanne C. White and
                  Nicholas C. Coops and
                  Daniel Coelho and
                  Giovanni Ciatto and
                  Noel Gorelick and
                  Emma Bambagioni and
                  Saverio Francini}
,
 title        = {Composite2Change {(C2C)} on Google Earth Engine: Time-series change
                  detection and metrics characterizing disturbance and recovery}
,
 journal      = {Environ. Model. Softw.},
 volume       = {204},
 pages        = {107082},
 year         = {2026},
 url          = {https://doi.org/10.1016/j.envsoft.2026.107082},
 doi          = {10.1016/J.ENVSOFT.2026.107082},
 timestamp    = {Wed, 09 Sep 2026 18:14:13 +0200},
 biburl       = {https://dblp.org/rec/journals/envsoft/HermosillaWWCCCGBF26.bib},
 bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{unfairinequality-scidata,
   abstract = {This paper introduces a novel benchmark dataset designed to support fairness-oriented research in artificial intelligence within the educational domain. The dataset originates from longitudinal survey data collected by the Agencia Canaria de Calidad Universitaria y Evaluación Educativa, encompassing comprehensive information from students, families, and teachers across the Canary Islands, Spain. It includes detailed student profiles and academic trajectories, covering multiple years of academic performance outcomes. The original data is characterised by a high-dimensional and sparse feature space, which presents challenges for direct application in AI workflows. To address these challenges while minimising the risk of introducing bias during preprocessing, we provide a curated version of the dataset specifically tailored for AI applications. This version preserves the statistical properties of the original data and is accompanied by detailed documentation of the preprocessing steps, including strategies for dimensionality reduction and fairness preservation. The dataset is intended as a resource for the research community, enabling studies on fairness, predictive modeling, and educational analytics. We describe its structure, content, and preparation process.},
   apice = {UnfairinequalityScidata},
   articleno = 572,
   author = {Joseph Giovanelli and Magnini, Matteo and Ciatto, Giovanni and Angel S. Marrero and Andrea Borghesi and Gustavo A. Marrero and Calegari, Roberta},
   doi = {10.1038/s41597-026-06827-x},
   issn = {2052-4463},
   journal = {Scientific Data},
   month = mar,
   note = {Data Descriptor},
   numpages = 12,
   openalex = {W7133213904},
   publisher = {Nature Portfolio / Springer Nature},
   pubmed = {41771897},
   title = {Unfair Inequality in Education: A Benchmark for AI-Fairness Research},
   url = {https://doi.org/10.1038/s41597-026-06827-x},
   urlopenaccess = {https://doi.org/10.1038/s41597-026-06827-x},
   volume = 13,
   year = 2026
}
@article{bdidesimulation-jaamas40,
   abstract = {Multi-agent systems are designed to deal with open, distributed systems with unpredictable dynamics, which makes them inherently hard to test. The value of using simulation for this purpose is recognized in the literature, although achieving sufficient fidelity (i.e., the degree of similarity between the simulation and the real-world system) remains a challenging task. This is exacerbated when dealing with cognitive agent models, such as the Belief Desire Intention (BDI) model, where the agent codebase is not suitable to run unchanged in simulation environments, thus increasing the reality gap between the deployed and simulated systems. We argue that BDI developers should be able to test in simulation the same specification that will be later deployed, with no surrogate representations. Thus, in this paper, we discuss how the control flow of BDI agents can be mapped onto a Discrete Event Simulation (DES), showing that such integration is possible at different degrees of granularity. We substantiate our claims by producing an open-source prototype integration between two pre-existing tools (JaKtA and Alchemist), showing that it is possible to produce a simulation-based testing environment for distributed BDI agents, and that different granularities in mapping BDI agents over DESs may lead to different degrees of fidelity.},
   apice = {BdidesimulationJaamas40},
   articleno = 18,
   author = {Martina Baiardi and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
   dblp = {journals/aamas/BaiardiBCP26.bib},
   doi = {10.1007/S10458-026-09744-W},
   journal = {Autonomous Agents and Multi-Agent Systems},
   keywords = {BDI agents, BDI models, Beliefs-desires-intentions, Multi-agent systems engineering, Discrete event simulation, Software testing},
   number = 1,
   title = {Testing {BDI}-based multi-agent systems using discrete event simulation},
   url = {https://doi.org/10.1007/s10458-026-09744-w},
   volume = 40,
   year = 2026
}
@article{llmoracles-kbs310,
   acm = {10.1016/j.knosys.2024.112940},
   apice = {LlmoraclesKbs310},
   articleno = 112940,
   arxiv = {2404.04108},
   author = {Ciatto, Giovanni and Agiollo, Andrea and Magnini, Matteo and Omicini, Andrea},
   dblp = {journals/kbs/CiattoAMO25},
   doi = {10.1016/j.knosys.2024.112940},
   iris = {11585/1001205},
   issn = {0950-7051},
   journal = {Knowledge-Based Systems},
   keywords = {Ontology population; Large language models; Nutrition; Automation; Domain-specific knowledge},
   lens = {002-808-574-876-090},
   month = {15~} # feb,
   numpages = 22,
   openalex = {W4406141444},
   opencitations = {0606112740},
   pages = {1--22},
   publisher = {Elsevier B.V.},
   scholar = {12608317221311042342},
   scopus = {2-s2.0-85214522484},
   title = {Large language models as oracles for instantiating ontologies with domain-specific knowledge},
   url = {https://www.sciencedirect.com/science/article/pii/S0950705124015740},
   urlopenaccess = {https://www.sciencedirect.com/science/article/pii/S0950705124015740},
   volume = 310,
   wos = {WOS:001397431800001},
   year = 2025
}
@article{jakta-sncs2024,
   abstract = {The popularity of multi-paradigm languages is on the rise, enabling developers to select the most appropriate paradigm for each task. While object-oriented (OOP) and functional programming (FP) are commonly combined, other paradigms can also be hybridized. This paper introduces JaKtA, an internal Domain-Specific Language (DSL) designed to support the definition of BDI agents in Kotlin. Our work represents an initial exploration into blending Agent-Oriented Programming (AOP) with other prevalent paradigms, emphasizing the potential benefits of using internal DSLs. We demonstrate, through JaKtA, how this approach facilitates the creation of compact and expressive Belief-Desire-Intention (BDI) agents that seamlessly integrate with the host language, its libraries, and tooling.},
   apice = {SncsExtendedEumasJakta2024},
   author = {Baiardi, Martina and Samuele Burattini and Ciatto, Giovanni and Pianini, Danilo},
   journal = {SN Computer Science},
   keywords = {BDI, AgentSpeak(L), DSL, Kotlin, JaKtA},
   publisher = {Springer},
   title = {Blending BDI agents with object-oriented and functional programming with JaKtA},
   year = 2024
}
@article{skeislr-csur56,
   acm = {3645103},
   apice = {SkeislrCsur56},
   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},
   lens = {143-064-043-213-611},
   month = jun,
   number = 6,
   numpages = 35,
   openalex = {W4391645809},
   opencitations = {06804657002},
   pages = {1--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{kins-jlc33,
   apice = {KinsJlc33},
   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},
   lens = {159-289-375-475-253},
   month = dec,
   number = 8,
   numpages = 19,
   openalex = {W4382319513},
   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
}
@article{hypercubeske-ia17,
   apice = {HypercubeSkeIa17},
   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},
   lens = {054-166-349-034-57X},
   month = jun,
   note = {Special issue: Selected papers from the 23rd Workshop ``From Objects to Agents'' (WOA 2022)},
   number = 1,
   numpages = 13,
   openalex = {W4380028559},
   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},
   urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-230001},
   volume = 17,
   wos = {WOS:001424596800001},
   year = 2023
}
@article{skiqos-jaamas37,
   apice = {SkiqosJaamas37},
   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},
   lens = {030-976-235-615-062},
   month = jun,
   number = 2,
   numpages = 30,
   openalex = {W4381996778},
   pages = {1--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},
   apice = {SkerecommenderCmbp235},
   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},
   lens = {046-208-009-872-49X},
   month = jun,
   numpages = 32,
   openalex = {W4362641065},
   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 = {WOS:000983750400001},
   year = 2023
}
@article{psyke-ia16,
   apice = {PsykeIa16},
   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},
   lens = {106-894-542-499-045},
   month = jul,
   number = 1,
   numpages = 22,
   openalex = {W4284967716},
   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/ia210120},
   urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-210120},
   volume = 16,
   wos = {WOS:000825367300003},
   year = 2022
}
@article{prolog50years-tplp22,
   apice = {Prolog50yearsTplp22},
   articleno = 100531,
   author = {Körner, Philipp and Beuschel, Michael and Barbosa, João and Costa, Vítor Santos and Dahl, Verónica and Hermenegildo, Manuel V. and Morales, Jose F. and Wielemaker, Jan and Diaz, Daniel and Abreu, Salvador and Ciatto, Giovanni},
   doi = {10.1017/S1471068422000102},
   editor = {De Nicola, Rocco},
   iris = {11585/901015},
   issn = {2352-2208},
   journal = {Theory and Practice of Logic Programming},
   keywords = {Prolog, logic programming systems, portability, rationale, evolution, vision},
   month = nov,
   number = 6,
   numpages = 25,
   pages = {776--858},
   publisher = {Cambridge University Press},
   title = {Fifty Years of {P}rolog and Beyond},
   url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD},
   urlopenaccess = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3A5329B6E3639879301A6D44346FD1DD/S1471068422000102a.pdf/fifty-years-of-prolog-and-beyond.pdf},
   volume = 22,
   wos = {WOS:000796763200001},
   year = 2022
}
@article{2pkt-swx16,
   apice = {2pktSwx16},
   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},
   lens = {009-008-823-868-972},
   month = dec,
   numpages = 7,
   openalex = {W3202284754},
   pages = {1--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 = {WOS:000706078900005},
   year = 2021
}
@article{lptech4mas-jaamas35,
   apice = {Lptech4masJaamas35},
   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},
   lens = {034-580-360-663-981},
   note = {Collection ``Current Trends in Research on Software Agents and Agent-Based Software Development''},
   number = 1,
   numpages = 67,
   openalex = {W3093365097},
   pages = {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 = {https://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 = {WOS:000579434600001},
   year = 2021
}
@article{blockchainmas-applsci10,
   apice = {BlockchainmasApplsci10},
   articleno = 7460,
   author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
   core = {343618159},
   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},
   lens = {007-247-970-949-495},
   month = oct,
   note = {Special Issue ``Advances in Blockchain Technology and Applications 2020''},
   number = 21,
   numpages = 22,
   openalex = {W3095609197},
   pages = {1--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 = {WOS:000589159900001},
   year = 2020
}
@article{bctcoordination-information11,
   apice = {BctcoordinationInformation11},
   articleno = 52,
   author = {Ciatto, Giovanni and Mariani, Stefano and Maffi, Alfredo and Omicini, Andrea},
   core = {333572149},
   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},
   lens = {053-365-386-479-004},
   month = jan,
   note = {Special Issue ``Blockchain Technologies for Multi-Agent Systems''},
   number = 1,
   numpages = 20,
   openalex = {W2999825403},
   pages = {1--20},
   scholar = {16345875581954179024},
   scopus = {2-s2.0-85079030248},
   title = {Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts},
   url = {https://www.mdpi.com/2078-2489/11/1/52},
   volume = 11,
   wos = {WOS:000513801000051},
   year = 2020
}
@article{logictech-information11,
   apice = {LogictechInformation11},
   articleno = 167,
   author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
   core = {304121587},
   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},
   lens = {000-282-226-770-373},
   month = mar,
   note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
   number = 3,
   numpages = 29,
   openalex = {W3012567678},
   pages = {1--29},
   publisher = {MDPI},
   scholar = {15744297419438793629},
   scopus = {2-s2.0-85082507008},
   title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
   url = {https://www.mdpi.com/2078-2489/11/3/167},
   volume = 11,
   wos = {WOS:000524309400026},
   year = 2020
}
@article{xaisurvey-ia14,
   apice = {XaisurveyIa14},
   author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
   core = {351905893},
   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},
   lens = {036-653-933-965-74X},
   month = sep,
   note = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
   number = 1,
   numpages = 26,
   openalex = {W3088836971},
   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 = {https://content.iospress.com/articles/intelligenza-artificiale/ia190036},
   urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-190036},
   volume = 14,
   wos = {WOS:000574865700002},
   year = 2020
}
@article{coordination-jlamp2020,
   apice = {CoordinationJlamp113},
   articleno = 100531,
   author = {Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Louvel, Maxime and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
   core = {287851415},
   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},
   lens = {042-226-663-690-838},
   month = jun,
   note = {Special Issue ``20 Years of Coordination Models and Languages''},
   numpages = 25,
   openalex = {W3008879920},
   pages = {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 = {https://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 = {WOS:000528260400001},
   year = 2020
}
@article{respectx-comsis15,
   apice = {RespectxComsis15},
   author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
   core = {287851430},
   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},
   lens = {003-425-888-910-122},
   month = oct,
   note = {{S}pecial Section: Contemporary Topics in Intelligent Distributed Computing},
   number = 3,
   openalex = {W2891876727},
   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 = {https://www.comsis.org/archive.php?show=ppridc-7418},
   urlpdf = {http://www.comsis.org/pdf.php?id=idc-7418},
   volume = 15,
   wos = {WOS:000446686100010},
   year = 2018
}
@article{lpaas-bdcc2,
   apice = {LpaasBdcc2},
   articleno = 23,
   author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
   core = {287851424},
   dblp = {journals/bdcc/CalegariC0DO18},
   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},
   lens = {017-986-911-790-519},
   number = 3,
   numpages = 26,
   openalex = {W2885077523},
   publisher = {MDPI},
   scholar = {247396456770353218},
   scopus = {2-s2.0-85075881133},
   title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
   url = {https://www.mdpi.com/2504-2289/2/3/23},
   urlpdf = {https://www.mdpi.com/2504-2289/2/3/23/pdf},
   volume = 2,
   year = 2018
}
22 articles in journal • top • index • bottom
@inproceedings{CDCCPV2026,
   author = {Cortecchia, Angela and Domini, Davide and Ciatto, Giovanni and Casadei, Roberto and Pianini, Danilo and Viroli, Mirko},
   booktitle = {2026 22nd International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT)},
   doi = {10.1109/DCOSS-IoT69657.2026.00027},
   keywords = {Modeling;Internet of Things;Aggregates;Elementary particles;Image sensors;Filtering;Measurement;Printing;Timing;Programming;Distributed Particle Filtering;Aggregate Computing;Aggregate Programming;Computational Fields;Distributed State Estimation;Internet of Things},
   pages = {161-168},
   title = {Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing},
   year = 2026
}
@incollection{ageml-adbis2026,
   apice = {AgemlAdbis2026},
   author = {Matteini, Mattia and Magnini, Matteo and Francia, Matteo and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {Advances in Databases and Information Systems: 30th European Conference, ADBIS 2026, Orl\'{e}ans, France, September 28 -- October 1, 2026, Proceedings},
   chapter = 7,
   editor = {Genoveva Vargas-Solar and Kostas Stefanidis and Themis Palpanas and Patrick Marcel and Mirian Halfeld-Ferrari},
   eisbn = {978-3-032-39820-8},
   eissn = {1611-3349},
   isbn = {978-3-032-39819-2},
   issn = {0302-9743},
   keywords = {MLOps, Data-centric AI, Agentic AI, AutoML, LLMs},
   month = sep,
   numpages = 17,
   pages = {83--99},
   part = {Core Database Systems and Serialization},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Agentic Architecture for Data-Centric {AutoML}},
   url = {https://link.springer.com/chapter/10.1007/978-3-032-39820-8_7},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-032-39820-8_7.pdf},
   volume = 16937,
   year = 2026
}
@incollection{agenttoolkit-eumas2025,
   abstract = {Intelligent agents have been a cornerstone of Artificial Intelligence (AI) since its early days—and received significant attention in the 1990s when the notion of autonomous agent was established, giving rise to research on Engineering Multi-Agent Systems (EMAS). Traditionally, this area has focused on theories, architectures, methodologies, paradigms, and languages for designing, implementing, and governing systems of autonomous agents. More recently, advances in Generative AI—and specifically large language models—have led to a new generation of agents and multi-agent systems, often referred to as Agentic AI. However, the conceptual bridges, overlaps, and complementarities between Agentic AI and traditional EMAS research are often unclear. The Agent Toolkits 2025 community session invited positions statements from senior members of the EMAS community to discuss these recent developments. This paper summarizes and integrates their contributions and outlines key directions for research on EMAS with Generative AI.},
   apice = {AgenttoolkitEumas2025},
   author = {Andrei Ciortea and Katharine Beaumont and Gianluca Aguzzi and Matteo Baldoni and Cristina Baroglio and Amit K. Chopra and Ciatto, Giovanni and Rem W. Collier and Mehdi Dastani and Angelo Ferrando and Andrea Gatti and Gürcan, Önder and Timotheus Kampik and Jérémy Lemée and Somsakun Maneerat and Elisa Marengo and Viviana Mascardi and Simon Mayer and Roberto Micalizio and Guillaume Muller and Vivek Nallur and Richard Niamke and Andrei Olaru and Heloise Pajot and Chloé Petridis and I. S. W. B. Prasetya and Ricci, Alessandro and Alexandru Sorici and Stefano Tedeschi and Michael Winikoff},
   booktitle = {Multi-Agent Systems: 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3–5, 2025, Proceedings, Part I},
   dblp = {conf/eumas/CiorteaBABBCCCDFGGKLMMM25.bib},
   doi = {10.1007/978-3-032-22817-8_22},
   editor = {Matteo Baldoni and Franziska Klügl and Andrei Olaru and Alexandru Sorici and Adina Magda Florea},
   keywords = {Engineering Multi-Agent Systems, Generative AI, Agent Toolkits},
   pages = {379--401},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Engineering Multi-agent Systems and Generative {AI:} Report from the Agent Toolkits 2025 Community Session},
   url = {https://link.springer.com/10.1007/978-3-032-22817-8_22},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-032-22817-8_22.pdf},
   volume = 16258,
   year = 2025
}
@inproceedings{agentsvsllmspanelwoa2025-eumas2025,
   apice = {Agentsvsllmspanelwoa2025Eumas2025},
   author = {Aguzzi, Gianluca and Ciatto, Giovanni and Angelo Ferrando and Andrea Gatti and Viviana Mascardi},
   booktitle = {Agent Toolkits Community Session @ EUMAS 2025, Informal Proceedings},
   location = {Bucharest, Romania},
   month = {3~} # sep,
   title = {{LLMs} as Agents, {LLMs} at the Service of Agents, or Agents at the Service of {LLMs}?},
   url = {https://interactions.ics.unisg.ch/agent-toolkits-2025/papers/aguzzi-et-al.pdf},
   year = 2025
}
@incollection{fairbridge-hiccs2025,
   apice = {FairnessHicss2025},
   author = {Ciatto, Giovanni and Matteini, Mattia and Laura Sartori and Maria Rebrean and Catelijne Muller and Andrea Borghesi and Calegari, Roberta},
   booktitle = {Proceedings of the 58th Hawaii International Conference on System Sciences},
   doi = {10.24251/HICSS.2025.777},
   iris = {11585/1018911},
   isbn = {978-0-9981331-8-8},
   keywords = {AI and Digital Discrimination, artificial intelligence, bias, design, fairness, multi-disciplinarity},
   location = {Hawaii, HI, USA},
   numpages = 10,
   openalex = {w4407208122},
   pages = {6504--6513},
   scholar = {5084539886289942855},
   scopus = {2-s2.0-105005142003},
   title = {{AI}-fairness: the {FAIRBRIDGE} approach to practically bridge the gap between socio-legal and technical perspectives},
   url = {https://hdl.handle.net/10125/109625},
   wos = {WOS:001443246900761},
   year = 2025
}
@inproceedings{nesyaichronicdiseasetelmed2025,
   apice = {NeSyAIChronicDiseaseTelmed2025},
   author = {Magnini, Matteo and Ciatto, Giovanni and Ahmet Emre Kuru and Christel Sirocchi and Montagna, Sara},
   booktitle = {2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)},
   doi = {10.1109/PerComWorkshops65533.2025.00106},
   editor = {Piero Castoldi and Anna Lina Ruscelli and Lorenzo Mucchi and Matti Hämäläinen},
   isbn = {979-8-3315-3553-7},
   keywords = {Symbolic Knowledge Injection, Neurosymbolic AI, Clinical protocols and data},
   month = {17-21 March},
   note = {4th International Workshop on Telemedicine and e-Health evolution in the new era of social distancing (TELMED 2025)},
   pages = {446--451},
   publisher = {IEEE},
   title = {Neuro-Symbolic AI for Supporting Chronic Disease Diagnosis and Monitoring},
   url = {https://ieeexplore.ieee.org/document/11038535},
   urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11038535},
   year = 2025
}
@inproceedings{plangenerationbdi-ecai2025,
   abstract = {Extending BDI agents with the ability to autonomously generate plans has long been a goal in the field of cognitive agent engineering to enhance their adaptability. Recent advances in GenAI are now opening new possibilities for plan generation, by leveraging the natural-language understanding, mean-end reasoning, and abstraction capabilities of LLMs. In this paper, we investigate the integration of GenAI-based plan generation into AgentSpeak(L) agents, and we analyse the implications of transferring knowledge between the LLM and the BDI agent, for the sake of dynamic plan generation. We propose a coherent framework where AgentSpeak(L) is extended with plan generation, and we model the boundaries of the generative process. We prototype our framework via the JaKtA BDI agent technology, and we methodologically assess the quality of the plans generated by LLMs of different sorts.},
   apice = {PlanGenerationBDIEcai2025},
   author = {Ciatto, Giovanni and Aguzzi, Gianluca and Battistini, Riccardo and Baiardi, Martina and Samuele Burattini and Ricci, Alessandro},
   booktitle = {28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)},
   doi = {10.3233/FAIA251223},
   editor = {Inês Lynce and Nello Murano and Mauro Vallati and Serena Villata and Chesani, Federico and Milano, Michela and Omicini, Andrea and Mehdi Dastani},
   keywords = {belief desire intention, BDI, multi-agent systems, planning, GenAI, LLM},
   numpages = 8,
   openalex = {W4415428067},
   pages = {3495--3502},
   publisher = {IOS Press},
   series = {Frontiers in Artificial Intelligence and Applications},
   title = {Exploiting GenAI for Plan Generation in BDI Agents},
   type = {InProceedings},
   url = {https://ebooks.iospress.nl/doi/10.3233/FAIA251223},
   urlopenaccess = {https://ebooks.iospress.nl/doi/10.3233/FAIA251223},
   volume = 413,
   year = 2025
}
@inproceedings{dslnesy-ansya2025,
   apice = {DslNesyAnsya2025},
   author = {Matteini, Mattia and Ciatto, Giovanni and Magnini, Matteo and Kuru, Emre and Aydo{\u g}an, Reyhan and Omicini, Andrea},
   booktitle = {ANSyA 2025: Advanced Neuro-Symbolic Applications},
   dblp = {conf/ansya/MatteiniCMKAO25},
   editor = {Agiollo, Andrea and Bardhi, Enkeleda and Ciatto, Giovanni and Dumancic, Giovanni and Marra, Giuseppe},
   iris = {11585/1048553},
   keywords = {symbolic knowledge injection, SKI-lang, NeSy, language, Python},
   month = oct,
   note = {Proceedings of the 1st International Workshop on Advanced Neuro-Symbolic Applications co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025)},
   numpages = 9,
   pages = {84--92},
   publisher = {CEUR-WS},
   scholar = {5084539886289942855},
   scopus = {2-s2.0-105038978909},
   series = {CEUR Workshop Proceedings},
   title = {A Domain-Specific Language for {NeSy} Focussing on Symbolic Knowledge Injection},
   url = {https://ceur-ws.org/Vol-4125/paper_21.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-4125/paper_21.pdf},
   urlpdf = {https://ceur-ws.org/Vol-4125/paper_21.pdf},
   volume = 4125,
   wos = {WOS:001664416600013},
   year = 2025
}
@inproceedings{skidatadegradation-woa2024,
   apice = {SkidatadegradationWoa2024},
   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,
   wos = {WOS:001788634000002},
   year = 2024
}
@inproceedings{masconcurrency-aamas2024,
   acm = {3663089},
   apice = {BdiconcurrencyAamas2024},
   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},
   doi = {10.65109/kvwh6977},
   iris = {11585/973178},
   isbn = {979-8-4007-0486-4},
   keywords = {Agent-Oriented Programming; Concurrency; BDI Agents; Threads},
   lens = {192-615-822-504-026},
   month = may,
   note = {Extended abstract},
   numpages = 3,
   openalex = {W7124281729},
   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{bdiconcurrency-emas2024,
   apice = {BdiconcurrencyEmas2024},
   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_3},
   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},
   lens = {065-726-912-088-000},
   month = oct,
   numpages = 22,
   openalex = {W4403742469},
   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{fauci-aequitas2024,
   apice = {FauciAequitas2024},
   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 = {1--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,
   wos = {WOS:001752291200008},
   year = 2024
}
@incollection{jakta-eumas2023,
   address = {Cham},
   apice = {KotlinBdiEumas2023},
   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 = 17,
   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/10.1007/978-3-031-43264-4_4},
   year = 2023
}
@inproceedings{asmeccecc2023,
   abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
   apice = {AsmeccECC2023},
   author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
   booktitle = {2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
   doi = {10.1109/ACSOS-C58168.2023.00052},
   keywords = {Edge-cloud continuum, heterogeneous infrastructure, openness, scalability},
   numpages = 6,
   pages = {128--133},
   publisher = {Springer},
   title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
   url = {https://ieeexplore.ieee.org/abstract/document/10336198},
   urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10336198},
   year = 2023
}
@inproceedings{ctl-aixia2022,
   address = {Aachen, Germany},
   apice = {CtlAixia2022},
   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{explanationprotocol-extraamas2023,
   apice = {ExplanationProtocolExtraamas2023},
   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, Spade, PyXMas},
   lens = {148-308-040-946-924},
   month = sep,
   numpages = 21,
   openalex = {W4386412605},
   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 = {https://link.springer.com/10.1007/978-3-031-40878-6_3},
   volume = 14127,
   year = 2023
}
@inproceedings{ecc-asmecc2023,
   abstract = {The Edge-Cloud Continuum (ECC) is an emerging paradigm for the holistic exploitation of all sorts of hardware resources. Compared with traditional cloud computing, ECC is more flexible, as it can operate with heterogeneous devices. ECC is thus particularly well-suited for implementing a compute infrastructure in contexts where hardware provisioning is not continuous, and where the need for resource sharing is high. This is the case, for instance, of research groups willing to share their computational resources, differing in terms of capabilities, maintenance, and provisioning. However, designing a small-scale ECC infrastructure is not trivial, as there are many admissible architectures, design choices, and technological solutions. In this paper, we report the experience of building a flexible architecture, involving both virtual and bare metal nodes, where researches can smoothly and occasionally (un)plug their own machines, and where computational tasks are dynamically balanced considering the currently available resources.},
   apice = {EccAsmecc2023},
   author = {Baiardi, Martina and Ciatto, Giovanni and Pianini, Danilo},
   booktitle = {Proceedings of the 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum},
   editor = {Roberto Casadei and Lukas Esterle and Stefano Forti},
   numpages = 6,
   title = {Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study},
   year = 2023
}
@incollection{hypercube-woa2022,
   apice = {HypercubeWoa2022},
   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 = {https://ceur-ws.org/Vol-3261/paper4.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3261/paper4.pdf},
   urlpdf = {https://ceur-ws.org/Vol-3261/paper4.pdf},
   volume = 3261,
   wos = {WOS:001788658400004},
   year = 2022
}
@incollection{kill-woa2022,
   apice = {KillWoa2022},
   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 = {https://ceur-ws.org/Vol-3261/paper5.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3261/paper5.pdf},
   urlpdf = {https://ceur-ws.org/Vol-3261/paper5.pdf},
   volume = 3261,
   wos = {WOS:001788658400005},
   year = 2022
}
@incollection{psyki-extraamas2022,
   apice = {PsykiExtraamas2022},
   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},
   lens = {001-522-718-541-434},
   note = {4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9--10, 2022, Revised Selected Papers},
   openalex = {W4297897134},
   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/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,
   apice = {SwpsykeExtraamas2022},
   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 = {Explainable AI, Knowledge extraction, Semantic Web, Intelligent agents, PSyKE},
   lens = {195-560-268-268-743},
   numpages = 19,
   openalex = {W4297897402},
   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 = {https://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
}
@inproceedings{dcc-aixia-2021-plp,
   apice = {PlpAixia2021},
   articleno = 3,
   author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni},
   booktitle = {AIxIA 2021 Discussion Papers},
   editor = {Viviana Mascardi and Matteo Palmonari and Giuseppe Vizzari},
   iris = {11585/876686},
   issn = {1613-0073},
   keywords = {probabilistic logic programming, symbolic AI, 2P-Kt},
   month = jan,
   numpages = 14,
   pages = {19--32},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85124419563},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Probabilistic logic programming in 2P-Kt},
   url = {https://ceur-ws.org/Vol-3078/paper-29.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3078/paper-29.pdf},
   volume = 3078,
   year = 2022
}
@inproceedings{logicapiml-cilc2022,
   apice = {LogicApi4MlCilc2022},
   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 = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Logic Programming library for Machine Learning: {API} design and prototype},
   url = {https://ceur-ws.org/Vol-3204/paper_12.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3204/paper_12.pdf},
   urlpdf = {https://ceur-ws.org/Vol-3204/paper_12.pdf},
   volume = 3204,
   year = 2022
}
@inproceedings{kins-cilc2022,
   apice = {KinsCilc2022},
   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 = {https://ceur-ws.org/Vol-3204/paper_25.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3204/paper_25.pdf},
   urlpdf = {https://ceur-ws.org/Vol-3204/paper_25.pdf},
   volume = 3204,
   wos = {WOS:001798558900019},
   year = 2022
}
@incollection{gridex-extraamas2021,
   address = {Cham, Switzerland},
   apice = {GridExExtraamas2021},
   author = {Sabbatini, Federico and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {Explainable and Transparent AI and Multi-Agent Systems. 3rd 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},
   lens = {128-962-186-028-465},
   month = jul,
   numpages = 21,
   openalex = {W3184161979},
   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 = {WOS:000691781800002},
   year = 2021
}
@incollection{imagination-extraamas2021,
   address = {Basel, Switzerland},
   apice = {ImaginationExtraamas2021},
   author = {Ciatto, Giovanni and Najjar, Amro and Calbimonte, Jean-Paul and Calvaresi, Davide},
   booktitle = {Explainable and Transparent AI and Multi-Agent Systems. 3rd 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},
   eisbn = {978-3-030-82017-6},
   eissn = {1611-3349},
   iris = {11585/842452},
   isbn = {978-3-030-82016-9},
   issn = {0302-9743},
   keywords = {Multi-agent systems; Imagination; BDI; Cognitive agents; XAI},
   numpages = 19,
   openalex = {W3184821246},
   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 = {https://link.springer.com/10.1007/978-3-030-82017-6_9},
   volume = 12688,
   wos = {WOS:000691781800009},
   year = 2021
}
@inproceedings{gnn-woa2021,
   apice = {GnnWoa2021},
   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},
   lens = {161-306-059-568-654},
   location = {Bologna, Italy},
   month = oct,
   note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
   numpages = 18,
   openalex = {W3202057208},
   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 = {https://ceur-ws.org/Vol-2963/paper18.pdf},
   volume = 2963,
   wos = {WOS:001788669700008},
   year = 2021
}
@inproceedings{lptech4mas-aamas2021,
   acm = {3464214},
   apice = {Lptech4masAamas2021},
   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 = {conf/atal/CalegariCMO21},
   doi = {10.65109/jfhv8653},
   iris = {11585/819065},
   isbn = {978-1-4503-8307-3},
   issn = {2523-5699},
   keywords = {SLR, Logic-based Technologies, MAS},
   lens = {126-157-901-254-193},
   month = may,
   note = {Summary of ``Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review''},
   numpages = 3,
   openalex = {W7124259367},
   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 = {https://dl.acm.org/doi/10.5555/3463952.3464214},
   urlpdf = {http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf},
   year = 2021
}
@incollection{2pkt-jelia2021,
   apice = {2pktJelia2021},
   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},
   lens = {002-647-933-288-326},
   note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
   numpages = 14,
   openalex = {W3162094021},
   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 = {https://link.springer.com/10.1007/978-3-030-75775-5_27},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
   volume = 12678,
   wos = {WOS:001697435300027},
   year = 2021
}
@incollection{shallow2deep-extraamas2021,
   address = {Cham, Switzerland},
   apice = {Shallow2deepExtraamas2021},
   author = {Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea},
   booktitle = {Explainable and Transparent AI and Multi-Agent Systems. 3rd 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},
   lens = {037-531-814-474-551},
   numpages = 20,
   openalex = {W3186876638},
   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 = {https://link.springer.com/10.1007/978-3-030-82017-6_5},
   volume = 12688,
   wos = {WOS:000691781800005},
   year = 2021
}
@incollection{expectation-extraamas2021,
   address = {Basel, Switzerland},
   apice = {ExpectationExtraamas2021},
   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. 3rd 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},
   lens = {186-406-418-569-540},
   month = jul,
   openalex = {W3184473407},
   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 = {https://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 = {https://link.springer.com/content/pdf/10.1007/978-3-030-82017-6_20.pdf},
   volume = 12688,
   wos = {WOS:000691781800020},
   year = 2021
}
@inproceedings{psyke-woa2021,
   apice = {PsykeWoa2021},
   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},
   lens = {138-404-520-962-779},
   location = {Bologna, Italy},
   month = oct,
   note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
   numpages = 20,
   openalex = {W3204048750},
   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 = {https://ceur-ws.org/Vol-2963/paper14.pdf},
   volume = 2963,
   wos = {WOS:001788669700003},
   year = 2021
}
@incollection{semanticselfcomposition-isola2020,
   address = {Cham},
   apice = {SemanticselfcompositionIsola2020},
   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},
   keywords = {service self-composition, semantic reasoning, tuple-based coordination.},
   lens = {077-721-082-480-435},
   month = oct,
   openalex = {W3096327388},
   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,
   wos = {WOS:001435185400013},
   year = 2020
}
@incollection{agentbasedxai-extraamas2020,
   apice = {AgentbasedxaiExtraamas2020},
   author = {Ciatto, Giovanni and Schumacher, Michael I. and Omicini, Andrea and Calvaresi, Davide},
   booktitle = {Explainable, Transparent Autonomous Agents and Multi-Agent Systems},
   core = {327096564},
   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},
   lens = {115-842-048-874-550},
   note = {Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9--13, 2020, Revised Selected Papers},
   numpages = 18,
   openalex = {W3041122017},
   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 = {https://link.springer.com/10.1007/978-3-030-51924-7_1},
   urlopenaccess = {https://cris.unibo.it/retrieve/b060a9ea-0f10-4ea4-bfa9-af4a2405e7c4/Author%20postprint.pdf},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-51924-7_1.pdf},
   volume = 12175,
   wos = {WOS:000695272300001},
   year = 2020
}
@inproceedings{agentbasedxai-aamas2020,
   acm = {3398992},
   apice = {AgentbasedxaiAamas2020},
   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},
   doi = {10.65109/vsjc1064},
   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},
   lens = {142-194-779-428-518},
   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 = {https://dl.acm.org/doi/10.5555/3398761.3398992},
   urlpdf = {http://ifaamas.org/Proceedings/aamas2020/pdfs/p1816.pdf},
   year = 2020
}
@inproceedings{kotlindsi4prolog-woa2020,
   address = {Aachen, Germany},
   apice = {Kotlindsi4prologWoa2020},
   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},
   issn = {1613-0073},
   keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
   lens = {118-082-078-695-668},
   location = {Bologna, Italy},
   month = oct,
   note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
   numpages = 18,
   openalex = {W3094844482},
   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 {K}t}: logic programming with objects \& functions in {K}otlin},
   url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
   urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
   volume = 2706,
   wos = {WOS:001788676900016},
   year = 2020
}
@incollection{proactivesc-blockchain2019,
   apice = {ProactivescBlockchain2019},
   author = {Ciatto, Giovanni and Maffi, Alfredo and Mariani, Stefano and Omicini, Andrea},
   booktitle = {Blockchain and Applications},
   core = {287851414},
   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},
   issn = {2194-5357},
   keywords = {Smart Contracts, Pro-activeness, Asynchronous Interaction},
   lens = {090-174-786-842-060},
   openalex = {W2955890680},
   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 = {https://link.springer.com/10.1007/978-3-030-23813-1_6},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-23813-1_6.pdf},
   volume = 1010,
   year = 2020
}
@inproceedings{nsc4xai-woa2020,
   address = {Aachen, Germany},
   apice = {Nsc4xaiWoa2020},
   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},
   lens = {066-731-248-588-981},
   location = {Bologna, Italy},
   month = oct,
   note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
   numpages = 17,
   openalex = {W3095616054},
   pages = {101--117},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85095616404},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
   url = {https://ceur-ws.org/Vol-2706/paper18.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-2706/paper18.pdf},
   urlpdf = {https://ceur-ws.org/Vol-2706/paper18.pdf},
   volume = 2706,
   wos = {WOS:001788676900008},
   year = 2020
}
@incollection{bctcoord-bct4mas2019,
   apice = {BctcoordBct4mas2019},
   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,
   core = {287851419},
   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},
   lens = {099-674-593-140-554},
   month = jun,
   openalex = {W2952205497},
   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 = {https://link.springer.com/10.1007/978-3-030-24299-2_7},
   volume = 1047,
   year = 2019
}
@incollection{edgeintelligenceguidelines-idcs2019,
   apice = {EdgeintelligenceguidelinesIdcs2019},
   author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
   booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
   core = {275904539},
   dblp = {conf/idcs/CalegariCDO19},
   doi = {10.1007/978-3-030-34914-1_25},
   eisbn = {978-3-030-34914-1},
   eissn = {1611-3349},
   iris = {11585/705119},
   isbn = {978-3-030-34913-4},
   issn = {0302-9743},
   keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
   lens = {040-178-813-197-058},
   location = {Napoli, Italy},
   month = {10--12~} # oct,
   openalex = {W2985491753},
   pages = {260--270},
   publisher = {Springer},
   scopus = {2-s2.0-85075905010},
   series = {Lecture Notes in Computer Science},
   title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines},
   url = {https://link.springer.com/10.1007/978-3-030-34914-1_25},
   volume = 11874,
   year = 2019
}
@incollection{xmas-aiiot2019,
   apice = {XmasAiiot2019},
   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},
   lens = {065-009-055-746-221},
   month = nov,
   openalex = {W2990849311},
   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{xailp-woa2019,
   apice = {XailpWoa2019},
   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},
   lens = {073-939-239-155-566},
   location = {Parma, Italy},
   month = {26--28~} # jun,
   numpages = 8,
   openalex = {W2965856400},
   pages = {105--112},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   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 = {https://ceur-ws.org/Vol-2404/paper16.pdf},
   volume = 2404,
   year = 2019
}
@inproceedings{tusow-icccn2019,
   address = {Valencia, Spain},
   apice = {TusowIcccn2019},
   author = {Ciatto, Giovanni and Rizzato, Lorenzo and Omicini, Andrea and Mariani, Stefano},
   booktitle = {The 28th International Conference on Computer Communications and Networks (ICCCN 2019)},
   core = {287851420},
   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},
   isbn13 = {978-1-7281-1855-0},
   issn = {2637-9430},
   keywords = {TuSoW, Edge computing, Coordination, Tuple spaces, LINDA, Web of Things},
   lens = {086-301-750-350-579},
   month = {29~} # jul # {--1~} # aug,
   openalex = {W2975077061},
   publisher = {IEEE},
   scopus = {2-s2.0-85073155391},
   title = {{TuSoW}: Tuple Spaces for Edge Computing},
   url = {https://ieeexplore.ieee.org/document/8846916},
   wos = {WOS:000533348400007},
   year = 2019
}
@incollection{autonomoussc-paams2019,
   apice = {AutonomousscPaams2019},
   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},
   core = {287851422},
   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},
   lens = {063-833-940-373-897},
   month = jun,
   numpages = 13,
   openalex = {W2954489620},
   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 = {https://link.springer.com/10.1007/978-3-030-24209-1_3},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-030-24209-1_3.pdf},
   volume = 11523,
   year = 2019
}
@incollection{techsurvey-coord2018,
   apice = {TechsurveyCoord2018},
   author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco and Louvel, Maxime},
   booktitle = {Coordination Models and Languages},
   core = {196287252},
   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},
   lens = {048-390-800-928-279},
   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,
   openalex = {W2804432015},
   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 = {https://link.springer.com/10.1007/978-3-319-92408-3_3},
   volume = 10852,
   wos = {WOS:001432879100003},
   year = 2018
}
@inproceedings{spacetimelp-woa2018,
   apice = {SpacetimelpWoa2018},
   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},
   lens = {143-593-833-862-986},
   location = {Palermo, Italy},
   month = {29--30~} # jun,
   numpages = 6,
   openalex = {W2893229461},
   pages = {63--68},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   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 = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
   urlpdf = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
   volume = 2215,
   year = 2018
}
@inproceedings{lpaas-ic2e2018,
   apice = {LpaasIc2e2018},
   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)},
   core = {287851432},
   dblp = {conf/ic2e/CalegariC0DO18},
   doi = {10.1109/IC2E.2018.00061},
   ieee = {8360344},
   iris = {11585/636933},
   isbn = {978-1-5386-5008-0},
   lens = {029-133-739-786-761},
   month = {17--20~} # apr,
   note = {Best paper award},
   openalex = {W2804481031},
   pages = {292--297},
   publisher = {IEEE Computer Society},
   scholar = {470119961420072962},
   scopus = {2-s2.0-85048334877},
   title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
   url = {https://ieeexplore.ieee.org/document/8360344/},
   urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
   wos = {WOS:000759774400038},
   year = 2018
}
@inproceedings{blockchainlp-woa2018,
   apice = {BlockchainlpWoa2018},
   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},
   lens = {054-724-593-838-469},
   location = {Palermo, Italy},
   month = jun,
   openalex = {W2893170444},
   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 = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
   urlpdf = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
   volume = 2215,
   year = 2018
}
@inproceedings{bctcoord-bct4mas2018wi,
   apice = {BctcoordBct4mas2018},
   author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
   booktitle = {2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI)},
   core = {287851428},
   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},
   lens = {117-526-811-136-024},
   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 = {https://ieeexplore.ieee.org/document/8609674},
   wos = {WOS:000458968200106},
   year = 2018
}
@inproceedings{blockchain-goodtechs2018,
   acm = {3284870},
   address = {New Work, NY, USA},
   apice = {BlockchainGoodtechs2018},
   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},
   core = {287851425},
   dblp = {conf/goodtechs/PianiniCC0VO18},
   doi = {10.1145/3284869.3284870},
   iris = {11585/655097},
   keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
   lens = {066-721-296-501-482},
   location = {Bologna, Italy},
   month = nov,
   openalex = {W2908544680},
   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 = {https://dl.acm.org/doi/10.1145/3284869.3284870},
   wos = {WOS:000470918900046},
   year = 2018
}
@inproceedings{snnta-assb17,
   apice = {SnnTaAssb17},
   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)},
   iris = {11585/618768},
   numpages = 15,
   pages = {55--69},
   publisher = {EDP Sciences},
   title = {{Spiking Neural Networks as Timed Automata}},
   url = {http://epigenomique.free.fr/en/index.php},
   year = 2017
}
@inproceedings{snn-ta-csbio17,
   acm = {3156350},
   address = {New York, NY, USA},
   apice = {SnnTaCsbio17},
   author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
   booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
   doi = {10.1145/3156346.3156350},
   iris = {11585/618763},
   isbn = {978-1-4503-5350-2},
   keywords = {Neural networks, Leaky Integrate and Fire Model, Timed Automata, Temporal Logic, Model Checking},
   location = {Nha Trang City, Viet Nam},
   numpages = 8,
   pages = {15--22},
   publisher = {ACM},
   series = {CSBio '17},
   title = {Formal Validation of Neural Networks As Timed Automata},
   url = {http://doi.acm.org/10.1145/3156346.3156350},
   year = 2017
}
@inproceedings{respect-idc2017,
   apice = {RespectxIdc2017},
   author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
   booktitle = {Intelligent Distributed Computing XI},
   core = {153482739},
   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},
   lens = {012-875-647-477-537},
   numpages = 13,
   openalex = {W2764241691},
   pages = {89--101},
   publisher = {Springer},
   scopus = {2-s2.0-85030981290},
   series = {Studies in Computational Intelligence},
   title = {Programming the Interaction Space Effectively with \sf{{R}e{S}pec{TX}}\rm},
   url = {https://link.springer.com/10.1007/978-3-319-66379-1_9},
   volume = 737,
   wos = {WOS:000451440400009},
   year = 2017
}
@inproceedings{coordination-woa2017,
   apice = {CoordinationWoa2017},
   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},
   lens = {028-177-911-580-393},
   month = jun,
   numpages = 4,
   openalex = {W2729653023},
   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 = {https://ceur-ws.org/Vol-1867/w11.pdf},
   volume = 1867,
   year = 2017
}
54 papers in proceedings • top • index • bottom
@incollection{neurosymbolic-woa25y,
   address = {Cham},
   apice = {NeurosymbolicWoa25Y},
   author = {Agiollo, Andrea and Calegari, Roberta and Ciatto, Giovanni and Magnini, Matteo and Omicini, Andrea and Sabbatini, Federico},
   booktitle = {The Agents Journey: Twenty-Five Years of Multi-agent Systems},
   chapter = 12,
   doi = {10.1007/978-3-032-22940-3_12},
   editor = {Mascardi, Viviana and Omicini, Andrea},
   eisbn = {978-3-032-22940-3},
   eissn = {1611-3349},
   iris = {11585/1061411},
   isbn = {978-3-032-22939-7},
   issn = {0302-9743},
   keywords = {Rational Agents, Logic Programming, Multi-agent Systems, Symbolic-Subsymbolic Integration},
   lens = {028-851-073-271-306},
   month = apr,
   numpages = 20,
   openalex = {W7155969644},
   pages = {320--339},
   publisher = {Springer Nature Switzerland},
   scholar = {21797340038813643},
   scopus = {2-s2.0-105041239279},
   series = {Lecture Notes in Computer Science},
   subseries = {State-of-the-Art Survey},
   title = {Intelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration},
   url = {https://link.springer.com/10.1007/978-3-032-22940-3_12},
   urlopenaccess = {https://link.springer.com/content/pdf/10.1007/978-3-032-22940-3_12.pdf},
   volume = 16395,
   year = 2026
}
1 book chapter • top • index • bottom
@book{extraamas2025,
   apice = {Extraamas2025},
   dblp = {conf/extraamas/2025},
   doi = {10.1007/978-3-032-01399-6},
   editor = {Davide Calvaresi and Amro Najaar and Omicini, Andrea and Reyhan Aydogan and Rachele Carli and Ciatto, Giovanni and Simona Tiribelli and Kary Främling},
   eisbn = {978-3-032-01399-6},
   eissn = {1611-3349},
   iris = {11585/1048535},
   isbn = {978-3-032-01398-9},
   issn = {0302-9743},
   keywords = {Multi-Agent Systems, Computing most probable explanation, Machine Learning, Law, Social and Behavioral Sciences, Artificial Intelligence, Knowledge Representation and Reasoning, Rule Learning},
   lens = {152-897-082-698-933},
   month = oct,
   openalex = {W4414994966},
   publisher = {Springer},
   scholar = {9214865659693901175},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   subtitle = {7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers},
   title = {Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems},
   url = {https://link.springer.com/10.1007/978-3-032-01398-9},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-032-01398-9.pdf},
   volume = 15939,
   year = 2025
}
@proceedings{woa2025,
   apice = {Woa2025},
   editor = {Ciatto, Giovanni and Enrico Blanzieri and Viviana Mascardi},
   issn = {1613-0073},
   location = {Trento, TN, Italy},
   month = {set},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {WOA 2025 – 26th Workshop ``From Objects to Agents''},
   url = {https://ceur-ws.org/Vol-4028/},
   urlopenaccess = {https://ceur-ws.org/Vol-4028/},
   volume = 4028,
   year = 2025
}
@book{extraamas2024,
   apice = {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},
   lens = {154-121-100-324-877},
   month = sep,
   openalex = {W4402782974},
   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
}
@proceedings{extraamas2023,
   apice = {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},
   lens = {014-917-413-627-059},
   month = sep,
   openalex = {W4386431365},
   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 = {https://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
}
@proceedings{proceedings-cilc2022,
   address = {Bologna, Italy},
   apice = {ProceedingsCilc2022},
   dblp = {conf/cilc/2022},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   iris = {11585/899538},
   issn = {1613-0073},
   location = {Bologna, Italy},
   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
}{{/code}})))
((({{code language="bibtex"}}@proceedings{proceedings-woa2021,
   address = {Aachen, Germany},
   apice = {ProceedingsWoa2021},
   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},
   lens = {132-633-768-294-517},
   location = {Bologna, Italy},
   month = oct,
   note = {22nd Workshop ``From Objects to Agents" (WOA 2021), Bologna, Italy, 1–3 September 2021. Proceedings},
   numpages = {II, 258},
   openalex = {W3119307673},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {WOA 2021 – 22nd Workshop ``From Objects to Agents''},
   url = {http://ceur-ws.org/Vol-2963/},
   volume = 2963,
   year = 2021
}{{/code}})))
((({{code language="bibtex"}}@proceedings{proceedings-woa2020,
   address = {Aachen, Germany},
   apice = {ProceedingsWoa2020},
   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},
   numpages = {VI, 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/},
   volume = 2706,
   year = 2020
}{{/code}})))
((({{code language="bibtex"}}@proceedings{aiiot2019-ceur2502,
   apice = {Aiiot2019},
   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},
   lens = {028-415-813-530-190},
   location = {Rende, Italy},
   month = nov,
   openalex = {W3157767076},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   title = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
   url = {https://ceur-ws.org/Vol-2502/},
   volume = 2502,
   year = 2019
}{{/code}})))
</div>
<div  class="mainselectbottom">
8 edited volumes &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="special" href=/bin/view/GiovanniCiatto/Publications/PerSort?sort=special&bibtex=true&inline=false&user=XWiki.GiovanniCiatto>
special issues
</a>
</div>
<div>
((({{code language="bibtex"}}@article{sicilc22-jlc33,
   apice = {SiCilc22Jlc33},
   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
}{{/code}})))
((({{code language="bibtex"}}@article{woa2021specialissue-ia16,
   apice = {Woa2021Ia16},
   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
}{{/code}})))
</div>
<div  class="mainselectbottom">
2 special issues &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="editorial" href=/bin/view/GiovanniCiatto/Publications/PerSort?sort=editorial&bibtex=true&inline=false&user=XWiki.GiovanniCiatto>
editorials/introductions/prefaces
</a>
</div>
<div>
((({{code language="bibtex"}}@article{preface-jlc33,
   apice = {PrefaceJlc33},
   author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   doi = {10.1093/logcom/exad031},
   eissn = {1465-363X},
   iris = {11585/951151},
   issn = {0955-792X},
   journal = {Journal of Logic and Computation},
   lens = {158-406-098-338-181},
   month = dec,
   note = {Special Issue ``Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022''},
   number = 8,
   numpages = 1,
   openalex = {W4379977885},
   pages = {1711},
   publisher = {Oxford University Press},
   scholar = {2353304508513748358},
   scopus = {2-s2.0-85180080592},
   title = {Preface},
   url = {https://academic.oup.com/logcom/article/33/8/1711/7190280},
   volume = 33,
   wos = {WOS:001003891800001},
   year = 2023
}{{/code}})))
((({{code language="bibtex"}}@article{woa2021editorial-ia16,
   apice = {Woa2021EditorialIa16},
   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},
   lens = {038-883-090-948-170},
   month = jul,
   note = {Editorial},
   number = 1,
   numpages = 3,
   openalex = {W4284966207},
   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},
   urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-220141},
   volume = 16,
   wos = {WOS:000825367300001},
   year = 2022
}{{/code}})))
((({{code language="bibtex"}}@inproceedings{preface-cilc2022,
   apice = {PrefaceCilc2022},
   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},
   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 = {https://ceur-ws.org/Vol-3204/xpreface.pdf},
   urlopenaccess = {https://ceur-ws.org/Vol-3204/xpreface.pdf},
   urlpdf = {https://ceur-ws.org/Vol-3204/xpreface.pdf},
   volume = 3204,
   year = 2022
}{{/code}})))
((({{code language="bibtex"}}@inproceedings{preface-woa2021,
   apice = {PrefaceWoa2021},
   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
}{{/code}})))
((({{code language="bibtex"}}@inproceedings{preface-woa2020,
   address = {Aachen, Germany},
   apice = {PrefaceWoa2020},
   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
}{{/code}})))
((({{code language="bibtex"}}@incollection{preface-aiiot2019,
   apice = {PrefaceAiiot2019},
   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,
   numpages = 1,
   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
}{{/code}})))
</div>
<div id="bottom" class="mainselectbottom">
6 editorials/introductions/prefaces &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>