Per Year
@incollection{kill-woa2022,
author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
dblp = {conf/woa/MagniniCO22},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/899373},
issn = {1613-0073},
keywords = {symbolic knowledge injection; AI; ML; neural networks; KILL; PSyKI},
month = nov,
numpages = 16,
pages = {61--76},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {514437633827732665},
scopus = {2-s2.0-85142481549},
semanticscholar = {253270036},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {A view to a {KILL}: Knowledge Injection via Lambda Layer},
url = {http://ceur-ws.org/Vol-3261/paper5.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3261/paper5.pdf},
urlpdf = {http://ceur-ws.org/Vol-3261/paper5.pdf},
volume = 3261,
year = 2022
} @article{nqueens-tplp22,
author = {Drabent, W{\l}odzimierz},
doi = {10.1017/S1471068421000223},
journal = {Theory and Practice of Logic Programming},
number = 1,
pages = {37--50},
publisher = {Cambridge University Press},
title = {On Correctness and Completeness of an n {Q}ueens Program},
volume = 22,
year = 2022} @proceedings{proceedings-cilc2022,
address = {Bologna, Italy},
dblp = {conf/cilc/2022},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/899538},
issn = {1613-0073},
note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings},
numpages = 3,
publisher = {CEUR-WS},
scholar = {2685358200094686924},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic },
url = {http://ceur-ws.org/Vol-3204/},
volume = 3204,
year = 2022
} @article{ctd-ia22,
author = {Andrea Loreggia and Calegari, Roberta and Emiliano Lorini and Francesca Rossi and Sartor, Giovanni},
dblp = {journals/ia/SabbatiniCCO22},
doi = {10.3233/IA-221057},
eissn = {2211-0097},
iris = {11585/912872},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
keywords = {Deontic logic, GCP-nets, ceteris-paribus semantics, contrary-to-duty, strong and weak permission},
month = dec,
number = 2,
numpages = 22,
pages = {185-198},
publisher = {IOS Press},
scholar = {7559675640918015038},
scopus = {2-s2.0-85146170765},
title = {How to model contrary-to-duty with GCP-nets},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia221057},
volume = 16,
wos = {000905455600003},
year = 2022
} @inproceedings{calegari-aixia2021,
address = {Cham},
author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
doi = 10.1007/978-3-031-08421-8_7,
editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
isbn = {978-3-031-08421-8},
month = jul,
pages = {91--103},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
title = {Modular Logic Argumentation in Arg-TuProlog},
volume = 13196,
year = 2022} @article{woa2021editorial-ia16,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
dblp = {journals/ia/CalegariCOV22},
doi = {10.3233/IA-220141},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
eissn = {2211-0097},
iris = {11585/890645},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
month = jul,
note = {Editorial},
number = 1,
numpages = 3,
pages = {3--5},
publisher = {IOS Press},
scholar = {6709418487090647027},
scopus = {2-s2.0-85134154125},
semanticscholar = {250399907},
title = {Special Issue for the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141},
urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia220141?id=intelligenza-artificiale/ia220141},
volume = 16,
wos = {WOS:000825367300001},
year = 2022
} @article{ricci-wodt2021,
acm = {10.1145/3507909},
articleno = 101,
author = {Ricci, Alessandro and Croatti, Angelo and Mariani, Stefano and Montagna, Sara and Marco Picone},
doi = {10.1145/3507909},
journal = {ACM Transactions on Internet Technology},
number = 4,
numpages = 30,
semanticscholar = {246488871},
title = {Web of Digital Twins},
url = {https://dl.acm.org/doi/10.1145/3507909},
urlpdf = {https://dl.acm.org/doi/pdf/10.1145/3507909},
volume = 22,
year = 2022
} @article{psyke-ia16,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO22},
doi = {10.3233/IA-210120},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
eissn = {2211-0097},
iris = {11585/890822},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
keywords = {Explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jul,
number = 1,
numpages = 22,
pages = {27--48},
publisher = {IOS Press},
scholar = {7559675640918015038},
scopus = {2-s2.0-85134193338},
semanticscholar = {250400188},
title = {Symbolic knowledge extraction from opaque {ML} predictors in {PSyKE}: Platform design \& experiments},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia220141},
volume = 16,
wos = {WOS:000825367300003},
year = 2022
} @inproceedings{kins-cilc2022,
author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
dblp = {conf/cilc/MagniniCO22},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/899494},
issn = {1613-0073},
keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI},
location = {Bologna, Italy},
numpages = 14,
pages = {254--267},
publisher = {CEUR-WS},
scholar = {10469078385425944401},
scopus = {2-s2.0-85138240764},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {{KINS}: Knowledge Injection via Network Structuring},
url = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
urlpdf = {http://ceur-ws.org/Vol-3204/paper_25.pdf},
volume = 3204,
year = 2022
} @inproceedings{preface-cilc2022,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/899481},
issn = {1613-0073},
keywords = {neural network; explainable AI; symbolic knowledge injection; KINS; PSyKI},
location = {Bologna, Italy},
numpages = 2,
pages = {i--ii},
publisher = {CEUR-WS},
scholar = {3420577376460146552},
scopus = {2-s2.0-85138309193},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Preface -- {P}roceedings of the 37th {I}talian {C}onference on {C}omputational {L}ogic ({CILC 2022})},
url = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
urlpdf = {http://ceur-ws.org/Vol-3204/xpreface.pdf},
volume = 3204,
year = 2022
} @incollection{skiqs-woa2022,
author = {Agiollo, Andrea and Rafanelli, Andrea and Omicini, Andrea},
booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
dblp = {conf/woa/AgiolloRO22},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/899383},
issn = {1613-0073},
keywords = {symbolic knowledge injection, quality of service, efficiency, understandability, robustness},
month = nov,
numpages = 18,
pages = {30--47},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {5478874943780106057},
scopus = {2-s2.0-85142522311},
semanticscholar = {253270240},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Towards Quality-of-Service Metrics for Symbolic Knowledge Injection},
url = {http://ceur-ws.org/Vol-3261/paper3.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3261/paper3.pdf},
urlpdf = {http://ceur-ws.org/Vol-3261/paper3.pdf},
volume = 3261,
year = 2022
} @article{lescaspgde2022,
author = {Galileo Sartor and Jacinto Dávila and Marco Billi and Giuseppe Contissa and Pisano, Giuseppe and Robert Kowalski},
booktitle = {Workshop on Goal-directed Execution of Answer Set Programs},
keywords = {Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English},
series = {GDE 2022},
title = {Integration of Logical English and s(CASP)},
urlpdf = {http://platon.etsii.urjc.es/%7Ejarias/GDE-2022/GDE-01.pdf}
} @article{arg2p-jlc32,
author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni},
dblp = {journals/logcom/CalegariOPS22},
doi = {10.1093/logcom/exab089},
editors = {Calimeri, Francesco and Perri, Simona and Zumpano. Ester},
iris = {11585/877812},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
keywords = {Arg2P, intelligent systems engineering, explainable intelligent systems, logic-based technology, argumentation, defeasible reasoning, multi-agent systems},
month = mar,
note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)},
number = 2,
pages = {369--401},
publisher = {Oxford University Press},
scholar = {7687317421217944977},
scopus = {2-s2.0-85126283334},
title = {{Arg\textsf{2}P}: An argumentation framework for explainable intelligent systems},
url = {https://academic.oup.com/logcom/article-abstract/32/2/369/6513341},
volume = 32,
wos = {000762067600009},
year = 2022
} @book{intelligentsystemspracticalguide-book2021,
author = {Hopgood, Adrian A.},
isbn = {9780367336165},
isbn10 = {0367336162},
publisher = {CRC Press},
title = {Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence},
url = {https://www.routledge.com/Intelligent-Systems-for-Engineers-and-Scientists-A-Practical-Guide-to-Artificial/Hopgood/p/book/9781032126760},
year = 2022
} @incollection{burdenofpersuasion-aixia2021,
address = {Cham},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
dblp = {conf/aiia/PisanoCOS21},
doi = {10.1007/978-3-031-08421-8_8},
editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
iris = {11585/893244},
isbn = {978-3-031-08421-8},
keywords = {Burdens of persuasion · Argumentation · Meta-argumentation},
location = {Milan, Italy},
month = jul,
pages = {104--119},
publisher = {Springer International Publishing},
scholar = {17799901578643288638},
scopus = {2-s2.0-85135015182},
series = {Lecture Notes in Computer Science},
subseries = {AI*IA Series},
title = {Burden of Persuasion in Meta-argumentation},
url = {http://link.springer.com/10.1007/978-3-031-08421-8_8},
urlopenaccess = {https://cris.unibo.it/retrieve/005890bb-146a-4ab9-9b0b-63a7032c6e9d/AIxIA2021-METABP.pdf},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-08421-8_8.pdf},
volume = 13196,
wos = {WOS:000876859300008},
year = 2022
} @article{proceedings-iclpworkshops2022,
dblp = {conf/iclp/2022w},
editor = {Joaquín Arias and Calegari, Roberta and Luke Dickens and Wolfgang Faber and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily LeBlanc and Michael Morak and Elmer Salazar and Jessica Zangari},
issn = {1613-0073},
location = {Haifa, Israel},
month = {31 July – 1 August},
publisher = {CEUR-WS},
series = {CEUR Workshop Proceedings},
subtitle = {Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022)},
title = {ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops},
url = {https://ceur-ws.org/Vol-3193/},
volume = 3193,
year = 2022
} @article{conflictscomma2022,
author = {Pisano, Giuseppe and Calegari, Roberta and Henry Prakken and Sartor, Giovanni},
booktitle = {Computational Models of Argument},
doi = {10.3233/FAIA220160},
editor = {Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido},
eisbn = {978-1-64368-307-2},
institution = {Cardiff University},
isbn = {978-1-64368-306-5},
keywords = {meta-argumentation, argumentation, ASPIC+},
location = {Cardiff},
numpages = 12,
pages = {284--295},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
title = {Arguing About the Existence of Conflicts},
url = {https://ebooks.iospress.nl/volumearticle/60756},
volume = 353,
year = 2022
} @inproceedings{gnn2gnn-uai2022,
author = {Agiollo, Andrea and Omicini, Andrea},
booktitle = {Uncertainty in Artificial Intelligence},
dblp = {conf/uai/AgiolloO22},
editor = {Cussens, James and Zhang, Kun},
iris = {11585/899465},
issn = {2640-3498},
month = aug,
note = {Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, {UAI} 2022, 1-5 August 2022, Eindhoven, The Netherlands},
pages = {32--42},
publisher = {ML Research Press},
scholar = {3643983533846865361},
series = {Proceedings of Machine Learning Research},
title = {{GNN2GNN}: Graph Neural Networks to Generate Neural Networks},
url = {https://proceedings.mlr.press/v180/agiollo22a.html},
urlopenaccess = {https://proceedings.mlr.press/v180/agiollo22a/agiollo22a.pdf},
volume = 180,
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{woa2021specialissue-ia16,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
eissn = {2211-0097},
iris = {11585/890644},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
month = jul,
note = {Special Issue},
number = 1,
publisher = {IOS Press},
scholar = {14076350362719309270},
title = {Selected papers from the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia161s1},
urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia161s1?id=intelligenza-artificiale%2Fia161s1},
volume = 16,
year = 2022
} @incollection{swpsyke-extraamas2022,
author = {Sabbatini, Federico and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
chapter = 8,
dblp = {conf/atal/SabbatiniCO22},
doi = {10.1007/978-3-031-15565-9_8},
editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
iris = {11585/899474},
isbn = {978-3-031-15564-2},
keywords = {Symbolic Knowledge Injection, Explainable AI, XAI, Neural Networks, PSyKI},
numpages = 19,
pages = {124--142},
publisher = {Springer},
scholar = {11339767386934277898},
scopus = {2-s2.0-85140488560},
series = {Lecture Notes in Computer Science},
subtitle = {4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers},
title = {Semantic Web-Based Interoperability for Intelligent Agents with {PSyKE}},
url = {http://link.springer.com/10.1007/978-3-031-15565-9_8},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-15565-9_8.pdf},
volume = 13283,
wos = {WOS:000870042100008},
year = 2022
} @inproceedings{skemetrics-xaifin2022,
address = {New York, NY, USA},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Workshop on Explainable AI in Finance @ICAIF 2022},
doi = {10.48550/arXiv.2211.00238},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
month = {November 2},
scholar = {5021962022669458541},
semanticscholar = {253244189},
title = {Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper},
url = {https://arxiv.org/abs/2211.00238},
urlopenaccess = {https://arxiv.org/abs/2211.00238},
year = 2022
} @article{smartcollectiveservices-ieeeiotj9,
author = {Casadei, Roberto and Giancarlo Fortino and Pianini, Danilo and Placuzzi, Andrea and Claudio Savaglio and Viroli, Mirko},
dblp = {journals/iotj/CasadeiFPPSV22},
doi = {10.1109/JIOT.2022.3172470},
ieee = {9768117},
journal = {IEEE Internet of Things Journal},
keywords = {cloud services, collective services, cyber–physical systems, deployment methodology, edge intelligence, mobile and ubiquitous systems, pulverizable architectures, service middleware and platform, simulation},
number = 20,
pages = {20136--20148},
title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge},
url = {http://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
} @incollection{hypercube-woa2022,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''},
dblp = {conf/woa/SabbatiniCCO22},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/899358},
issn = {1613-0073},
keywords = {Explainable AI; Knowledge extraction; Interpretable prediction; PSyKE},
month = nov,
numpages = 13,
pages = {48--60},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {8614662013642803891},
scopus = {2-s2.0-85142519111},
semanticscholar = {253270041},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model},
url = {http://ceur-ws.org/Vol-3261/paper4.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3261/paper4.pdf},
urlpdf = {http://ceur-ws.org/Vol-3261/paper4.pdf},
volume = 3261,
year = 2022
} @ARTICLE {9325551,
author = {A. Ricci and A. Croatti and S. Montagna},
journal = {IEEE Internet Computing},
title = {Pervasive and Connected Digital Twins—A Vision for Digital Health},
year = {2022},
volume = {26},
number = {05},
issn = {1941-0131},
pages = {26-32},
abstract = {Healthcare is a primary domain where digital twins are being explored and applied. In this context, the main perspective explored in research and industry insofar is about the virtualization of standalone assets—such as devices, structures, and patients—in a digital twin as-an-application perspective. However, in the real world, these assets are often related to each other, taking part in the same processes and physical ecosystem. In this article, we discuss a vision in which digital twins are used to virtualizing contexts and situations involving multiple related strategic assets of a health organization, resulting in ecosystems of digital twins based on a digital-twin as-a-service perspective. Trauma management is considered as a specific concrete real-world example; nevertheless, open ecosystems of digital twins appear to be a blueprint for virtualizing complex physical realities applicable across different application domains.},
keywords = {digital twin;internet;hospitals;monitoring;real-time systems;interoperability;accidents},
doi = {10.1109/MIC.2021.3052039},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
month = {sep}
} @article{agi-acmcs54,
author = {Mariani, Stefano and Cabri, Giacomo and Zambonelli, Franco},
doi = {10.1145/3431231},
journal = {ACM Computing Surveys},
keywords = {Autonomous vehicles, cooperative driving, coordination, autonomy, survey},
number = 1,
pages = {19:1--19:33},
title = {Coordination of Autonomous Vehicles: Taxonomy and Survey},
url = {https://doi.org/10.1145/3431231},
volume = 54,
year = 2022
} @incollection{psyki-extraamas2022,
author = {Magnini, Matteo and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {Explainable and Transparent AI and Multi-Agent Systems},
chapter = 6,
dblp = {conf/atal/MagniniCO22},
doi = {10.1007/978-3-031-15565-9_6},
editor = {Calvaresi, Davide and Najjar, Amro and Winikoff, Michael and Främling, Kary},
eisbn = {978-3-031-15565-9},
eissn = {1611-3349},
iris = {11585/899511},
isbn = {978-3-031-15564-2},
issn = {0302-9743},
keywords = {Symbolic Knowledge Injection, Explainable AI, XAI, Neural Networks, PSyKI},
note = {4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9--10, 2022, Revised Selected Papers},
pages = {90--108},
publisher = {Springer},
scholar = {7587528289517313138},
scopus = {2-s2.0-85138317005},
semanticscholar = {252545848},
series = {Lecture Notes in Computer Science},
title = {On the Design of {PSyKI}: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors},
url = {https://link.springer.com/chapter/10.1007/978-3-031-15565-9_6},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-15565-9_6.pdf},
volume = 13283,
wos = {WOS:000870042100006},
year = 2022
} @inproceedings{gridrex-kr2022,
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
doi = {10.24963/kr.2022/57},
editor = {Kern-Isberner, Gabriele and Lakemeyer, Gerhard and Meyer, Thomas},
iris = {11585/893144},
isbn = {978-1-956792-01-0},
issn = {2334-1033},
keywords = {Explainable AI, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {July 31--August 5},
pages = {554--563},
publisher = {IJCAI Organization},
title = {Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: {GridREx} {\&} {PEDRO}},
url = {https://proceedings.kr.org/2022/57/},
year = 2022
} @inproceedings{cluster-ske-xlokr2022,
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation},
keywords = {Explainable AI; Symbolic knowledge extraction; Clustering},
month = {July 31},
title = {Clustering-Based Approaches for Symbolic Knowledge Extraction},
url = {https://arxiv.org/abs/2211.00234},
year = 2022
} @inproceedings{dcc-aixia-2021-plp,
keywords = {probabilistic logic programming, symbolic AI, 2P-Kt},
year = 2022,
articleNo = 3,
pages = {19-32},
author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni},
sort = {inproceedings},
numpages = 14,
volume = 3078,
issn = {1613-0073},
month = {jan},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
status = {Published},
title = {Probabilistic logic programming in 2P-Kt},
booktitle = {AIxIA 2021 Discussion Papers},
editor = {Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
url = {http://ceur-ws.org/Vol-3078/paper-29.pdf},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series}
} @inproceedings{logicapiml-cilc2022,
author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
issn = {1613-0073},
keywords = {logic programming, machine learning, API, 2P-Kt},
location = {Bologna, Italy},
numpages = 15,
pages = {104--118},
publisher = {CEUR-WS},
series = {ceurws},
subseries = {AI*IA Series},
title = {Logic Programming library for Machine Learning: {API} design and prototype},
url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
volume = 3204,
year = 2022
}
publications
/
2022
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini