Per Year

@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
}

@article{ctd-ia22,
    apice = {ContrarytodutyIa22},
    author = {Andrea Loreggia and Calegari, Roberta and Emiliano Lorini and Francesca Rossi and Sartor, Giovanni},
    dblp = {journals/ia/LoreggiaCLRS22},
    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},
    urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-221057},
    volume = 16,
    wos = {WOS:000905455600003},
    year = 2022
}

@inproceedings{calegari-aixia2021,
    address = {Cham},
    apice = {ModularArg2pAixia2021},
    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},
    iris = {11585/903795},
    isbn = {978-3-031-08421-8},
    month = jul,
    pages = {91--103},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-85135031367},
    series = {Lecture Notes in Computer Science},
    subseries = {AIxIA Series},
    title = {Modular Logic Argumentation in Arg-TuProlog},
    volume = 13196,
    year = 2022
}

@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
}

@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
}

@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
}

@article{arg2p-jlc32,
    apice = {Arg2pJlc32},
    author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni},
    dblp = {journals/logcom/CalegariOPS22},
    doi = {10.1093/logcom/exab089},
    editor = {Francesco Calimeri and Simona Perri and Ester Zumpano},
    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},
    lens = {108-808-937-990-575},
    month = mar,
    note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)},
    number = 2,
    openalex = {W4206516686},
    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 = {WOS:000762067600009},
    year = 2022
}

@incollection{burdenofpersuasion-aixia2021,
    address = {Cham},
    apice = {BurdenofpersuasionAixia2021},
    author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
    dblp = {conf/aiia/PisanoCOS21a},
    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},
    lens = {158-280-406-888-96X},
    location = {Milan, Italy},
    month = jul,
    openalex = {W4285820874},
    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 = {https://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,
    apice = {ProceedingsIclpWorkshops2022},
    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{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
}

@inproceedings{complchecking-cilc2022,
    abstract = {This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositional level is of little usefulness for concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. This paper formalizes a selected use case in the considered reasoners and compares the implementations. The comparison will highlight that lot of further research still need to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework. All source codes are available at https://github.com/liviorobaldo/compliancecheckers},
    apice = {ComplCheckingCilc2022},
    author = {Livio Robaldo and Sotiris Batsakis and Calegari, Roberta and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Pisano, Giuseppe and Ken Satoh and Ilias Tachmazidis},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/903805},
    keywords = {Compliance checking, Normative reasoning, LegalTech},
    numpages = 16,
    pages = {1--16},
    publisher = {CEUR Workshop Proceedings},
    scopus = {2-s2.0-85138245042},
    series = {AI*IA Series},
    title = {Taking stock of available technologies for compliance checking on first-order knowledge},
    url = {https://ceur-ws.org/Vol-3204/},
    urlpdf = {https://ceur-ws.org/Vol-3204/paper_1.pdf},
    volume = 3204,
    year = 2022
}

@inproceedings{skemetrics-xaifin2022,
    address = {New York, NY, USA},
    apice = {SkemetricsXaifin2022},
    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
}

@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
}

@inproceedings{metabp-ai321,
    apice = {MetabpAi32021},
    author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
    booktitle = {Advances in Argumentation in Artificial Intelligence 2021},
    dblp = {conf/aiia/PisanoCOS21},
    editor = {D'Agostino, Marcello and Aurelio D'Asaro, Fabio and Larese, Costanza},
    iris = {11585/893243},
    issn = {1613-0073},
    keywords = {burdens of persuasion, argumentation, meta-argumentation, reasoning over burdens},
    month = feb,
    note = {Proceedings of the Workshop on Advances in Argumentation in Artificial Intelligence (AI$^{3}$ 2021), co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, November 29, 2021},
    numpages = 19,
    pages = {5:1--5:19},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {10187981790280478304},
    scopus = {2-s2.0-85125434069},
    series = {CEUR Workshop Proceedings},
    subseries = {AIxIA Series},
    title = {Burden of persuasion in argumentation: A meta-argumentation approach},
    url = {http://ceur-ws.org/Vol-3086/paper5.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3086/paper5.pdf},
    volume = 3086,
    wos = {WOS:001796750900007},
    year = 2022
}

@inproceedings{gridrex-kr2022,
    address = {Haifa, Israel},
    apice = {PsykeKr2022},
    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},
    apice = {ExplainableClusteringWsKr2022},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {XLoKR 2022 - 3rd 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
}

@article{conflictscomma2022,
    apice = {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/doi/10.3233/FAIA220160},
    volume = 353,
    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
}