@article{skeislr-acmcs,
acm = {3645103},
articleno = 161,
author = {Ciatto, Giovanni and Sabbatini, Federico and Agiollo, Andrea and Magnini, Matteo and Omicini, Andrea},
doi = {10.1145/3645103},
eissn = {1557-734},
issn = {0360-0300},
journal = {ACM Computing Surveys},
keywords = {Logic; Machine learning theory; Hybrid symbolic-numeric methods; Knowledge representation and reasoning},
month = jun,
number = 6,
numpages = 35,
pages = {161:1--161:35},
publisher = {ACM},
scholar = {13701373869146776438},
scopus = {2-s2.0-85188835517},
semanticscholar = {267611660},
title = {Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review},
url = {https://dl.acm.org/doi/10.1145/3645103},
urlopenaccess = {https://dl.acm.org/doi/pdf/10.1145/3645103},
urlpdf = {https://dl.acm.org/doi/pdf/10.1145/3645103},
volume = 56,
year = 2024
} @article{skiqos-jaamas37,
articleno = 27,
author = {Agiollo, Andrea and Rafanelli, Andrea and Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
dblp = {journals/aamas/AgiolloRMCO23},
doi = {10.1007/s10458-023-09609-6},
iris = {11585/932553},
issn = {1573-7454},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {symbolic knowledge injection, quality of service, efficiency, robustness, PSyKI},
month = jun,
number = 2,
numpages = 30,
pages = {27:1-27:30},
scholar = {6493335879803556297},
scopus = {2-s2.0-85162972232},
semanticscholar = {259234850},
title = {Symbolic Knowledge Injection meets Intelligent Agents: {QoS} metrics and experiments},
url = {https://link.springer.com/10.1007/s10458-023-09609-6},
volume = 37,
wos = {WOS:001013184000001},
year = 2023
} @article{hypercubeske-ia17,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO23},
doi = {10.3233/IA-230001},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/941033},
journal = {Intelligenza Artificiale},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jun,
note = {Special issue: Selected papers from the 23rd Workshop ``From Objects to Agents'' (WOA 2022)},
number = 1,
numpages = 13,
pages = {63--75},
publisher = {IOS Press},
scholar = {14669296704428238758},
scopus = {2-s2.0-85168332389},
title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
volume = 17,
year = 2023
} @article{skerecommender-cmbp235,
acm = {10.1016/j.cmpb.2023.107536},
articleno = 107536,
author = {Magnini, Matteo and Ciatto, Giovanni and Cantürk, Furkan and Aydoǧan, Reyhan and Omicini, Andrea},
dblp = {journals/cmpb/MagniniCCAO23},
doi = {10.1016/j.cmpb.2023.107536},
iris = {11585/923772},
issn = {0169-2607},
journal = {Computer Methods and Programs in Biomedicine},
keywords = {explainable artificial intelligence, symbolic knowledge extraction, recommendation systems, nutrition, neural networks},
month = jun,
numpages = 32,
pubmed = {37060685},
scholar = {14455392383017605572},
scopus = {2-s2.0-85152230884},
semanticscholar = {261426939},
title = {Symbolic Knowledge Extraction for Explainable Nutritional Recommenders},
url = {https://www.sciencedirect.com/science/article/pii/S0169260723002018},
volume = 235,
wos = {000983750400001},
year = 2023
} @article{kins-jlc33,
author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
dblp = {journals/logcom/MagniniCO23},
doi = {10.1093/logcom/exad037},
eissn = {1465-363X},
iris = {11585/950567},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
keywords = {neural network, expalinable AI, symbolic knowledge injection, KINS, PSyKI},
month = dec,
number = 8,
numpages = 19,
pages = {1832--1850},
publisher = {Oxford University Press},
scholar = {2353304508513748358},
scopus = {2-s2.0-85179896166},
semanticscholar = {266726315},
title = {Knowledge injection of {D}atalog rules via Neural Network Structuring with {KINS}},
url = {https://academic.oup.com/logcom/article/33/8/1832/7190990},
volume = 33,
wos = {WOS:001003002200001},
year = 2023
} @article{psyke-ia16,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO22},
doi = {10.3233/IA-210120},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
eissn = {2211-0097},
iris = {11585/890822},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
keywords = {Explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jul,
number = 1,
numpages = 22,
pages = {27--48},
publisher = {IOS Press},
scholar = {7559675640918015038},
scopus = {2-s2.0-85134193338},
semanticscholar = {250400188},
title = {Symbolic knowledge extraction from opaque {ML} predictors in {PSyKE}: Platform design \& experiments},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141},
volume = 16,
wos = {WOS:000825367300003},
year = 2022
} @article{prolog50years-tplp22,
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 = {000796763200001},
year = 2022
} @article{lptech4mas-jaamas35,
articleno = 1,
author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
dblp = {journals/aamas/CalegariCMO21},
doi = {10.1007/s10458-020-09478-3},
editor = {Bergenti, Federico and Baldoni, Matteo and Winikoff, Michael and Seghrouchni, Amal El Fallah},
eissn = {1573-7454},
iris = {11585/775368},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {SLR; Logic-based Technologies; MAS},
note = {Collection ``Current Trends in Research on Software Agents and Agent-Based Software Development''},
number = 1,
numpages = 67,
pages = {1:1--1:67},
publonsid = {34852575},
scholar = {3394967429087589940},
scopus = {2-s2.0-85092892414},
semanticscholar = {225142049},
title = {Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review},
url = {http://link.springer.com/10.1007/s10458-020-09478-3},
urlpdf = {https://link.springer.com/content/pdf/10.1007/s10458-020-09478-3.pdf},
volume = 35,
wos = {000579434600001},
year = 2021
} @article{2pkt-swx16,
articleno = 100817,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/softx/CiattoCO21},
doi = {10.1016/j.softx.2021.100817},
iris = {11585/834368},
issn = {2352-7110},
journal = {SoftwareX},
keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
month = dec,
numpages = 7,
pages = {100817:1--100817:7},
publisher = {Elsevier B.V.},
scholar = {11747595476298173121},
scopus = {2-s2.0-85122782224},
semanticscholar = {244208338},
title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf},
urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf},
volume = 16,
wos = {000706078900005},
year = 2021
} @article{bctcoordination-information11,
articleno = 52,
author = {Ciatto, Giovanni and Mariani, Stefano and Maffi, Alfredo and Omicini, Andrea},
dblp = {journals/information/CiattoMMO20},
doi = {10.3390/info11010052},
editor = {Calvaresi, Davide and Dubovitskaya, Alevtina and Schumacher, Michael and Taveter, Kuldar},
iris = {11585/714395},
issn = {2078-2489},
journal = {Information},
month = jan,
note = {Special Issue ``Blockchain Technologies for Multi-Agent Systems''},
number = 1,
numpages = 20,
pages = {1--20},
scholar = {16345875581954179024},
scopus = {2-s2.0-85079030248},
title = {Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts},
url = {http://www.mdpi.com/2078-2489/11/1/52},
volume = 11,
wos = {000513801000051},
year = 2020
} @article{coordination-jlamp2020,
articleno = 100531,
author = {Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Louvel, Maxime and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
dblp = {journals/jlap/CiattoMSLOZ20},
doi = {10.1016/j.jlamp.2020.100531},
editor = {De Nicola, Rocco},
iris = {11585/746605},
issn = {2352-2208},
journal = {Journal of Logical and Algebraic Methods in Programming},
keywords = {coordination technologies; middleware; survey},
month = jun,
note = {Special Issue ``20 Years of Coordination Models and Languages''},
numpages = 25,
pages = {100531:1--25},
publisher = {Elsevier Science B.V.},
scholar = {5771430051197203219},
scopus = {2-s2.0-85092901278},
semanticscholar = {211731248},
title = {Twenty Years of Coordination Technologies: {COORDINATION} contribution to the State of Art},
url = {http://www.sciencedirect.com/science/article/pii/S235222082030016X},
urlopenaccess = {https://cris.unibo.it/retrieve/3efbf817-89a4-4226-bd2d-3d480df01dd3/Twenty%20Years%20of%20Coordination%20Technologies%20COORDINATION%20Contribution%20to%20the%20State%20of%20Art%20%28postprint%29.pdf},
volume = 113,
wos = {000528260400001},
year = 2020
} @article{blockchainmas-applsci10,
articleno = 7460,
author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco},
doi = {10.3390/app10217460},
editor = {Tonelli, Roberto and Ortu, Marco and Pinna, Andrea},
iris = {11585/775705},
issn = {2076-3417},
journal = {Applied Sciences},
keywords = {blockchain; smart contracts; agents; autonomy; multi-agent systems; Tenderfone},
month = oct,
note = {Special Issue ``Advances in Blockchain Technology and Applications 2020''},
number = 21,
numpages = 22,
pages = {7460:1--7460:22},
publisher = {MDPI},
scholar = {3552587418093943018},
scopus = {2-s2.0-85094167294},
semanticscholar = {228967442},
series = {Advances in Blockchain Technology and Applications 2020},
title = {From Agents to Blockchain: Stairway to Integration},
url = {https://www.mdpi.com/2076-3417/10/21/7460},
urlpdf = {https://www.mdpi.com/2076-3417/10/21/7460/pdf},
volume = 10,
wos = {000589159900001},
year = 2020
} @article{logictech-information11,
articleno = 167,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
dblp = {journals/information/CalegariCDO20},
doi = {10.3390/info11030167},
editor = {Susilo, Willy},
iris = {11585/752671},
issn = {2078-2489},
journal = {Information},
keywords = {symbolic AI; logic-based technologies; intelligent systems},
month = mar,
note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
number = 3,
numpages = 29,
pages = {167:1--167:29},
publisher = {MDPI},
scholar = {15744297419438793629},
scopus = {2-s2.0-85082507008},
title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
url = {http://www.mdpi.com/2078-2489/11/3/167},
volume = 11,
wos = {000524309400026},
year = 2020
} @article{xaisurvey-ia14,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
dblp = {journals/ia/CalegariCO20},
doi = {10.3233/IA-190036},
editor = {Baldoni, Matteo and Bergenti, Federico and Monica, Stefania and Vizzari, Giuseppe},
iris = {11585/772707},
journal = {Intelligenza Artificiale},
keywords = {XAI, symbolic and sub-symbolic AI, explainability, interpretability, trustable system},
month = sep,
note = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
number = 1,
numpages = 26,
pages = {7--32},
publisher = {IOS Press},
scholar = {14107040211648876458},
scopus = {2-s2.0-85092388493},
semanticscholar = {222137614},
title = {On the integration of symbolic and sub-symbolic techniques for {XAI}: A survey},
url = {http://content.iospress.com/articles/intelligenza-artificiale/ia190036},
volume = 14,
wos = {000574865700002},
year = 2020
} @article{lpaas-bdcc2,
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
} @article{respectx-comsis15,
author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/comsis/CiattoMO18},
doi = {10.2298/CSIS180111031C},
editor = {Bădică, Costin and Trawiński, Bogdan},
eissn = {2406-1018},
iris = {11585/646056},
issn = {1820-0214},
journal = {Computer Science and Information Systems},
keywords = {coordination, multi-agent systems, Eclipse IDE, TuCSoN, ReSpecTX},
month = oct,
note = {{S}pecial Section: Contemporary Topics in Intelligent Distributed Computing},
number = 3,
pages = {655--682},
publisher = {ComSIS Consortium},
scholar = {14640975833342876198},
scopus = {2-s2.0-85055164807},
title = {{\sf{{R}e{S}pec{T}}$\mathbb{X}$}: Programming Interaction Made Easy},
url = {http://www.comsis.org/archive.php?show=ppridc-7418},
urlpdf = {http://www.comsis.org/pdf.php?id=idc-7418},
volume = 15,
wos = {000446686100010},
year = 2018
} 
0000-0002-1841-8996