Per Year
@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
}
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}
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
}
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{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
}
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{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
}
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
}
@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
}
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
}
@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
}
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{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
}
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
}
@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
}
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
}
@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}
}
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{preface-woa2021,
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
}
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
}
@inproceedings{psyke-woa2021,
articleno = 3,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/SabbatiniCCO21},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834364},
issn = {1613-0073},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 20,
pages = {29--48},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {879185583484020388},
scopus = {2-s2.0-85116894019},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {On the Design of {PSyKE}: A Platform for Symbolic Knowledge Extraction},
url = {http://ceur-ws.org/Vol-2963/paper14.pdf},
volume = 2963,
year = 2021
}
articleno = 3,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/SabbatiniCCO21},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834364},
issn = {1613-0073},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 20,
pages = {29--48},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {879185583484020388},
scopus = {2-s2.0-85116894019},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {On the Design of {PSyKE}: A Platform for Symbolic Knowledge Extraction},
url = {http://ceur-ws.org/Vol-2963/paper14.pdf},
volume = 2963,
year = 2021
}
@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
}
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
}
@incollection{2pkt-jelia2021,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
dblp = {conf/jelia/CiattoCO21},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
iris = {11585/838787},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
numpages = 14,
pages = {407--420},
publisher = {Springer},
scholar = {10383616383578677634},
scopus = {2-s2.0-85111134199},
semanticscholar = {234475670},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
volume = 12678,
year = 2021
}
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
dblp = {conf/jelia/CiattoCO21},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
iris = {11585/838787},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
numpages = 14,
pages = {407--420},
publisher = {Springer},
scholar = {10383616383578677634},
scopus = {2-s2.0-85111134199},
semanticscholar = {234475670},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
volume = 12678,
year = 2021
}
@incollection{xaiethics-aiia2020,
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {AIxIA 2020 -- Advances in Artificial Intelligence},
chapter = 2,
dblp = {conf/aiia/CalegariOS20a},
doi = {10.1007/978-3-030-73065-9_2},
editor = {Baldoni, Matteo and Bandini, Stefania},
eisbn = {978-3-030-77091-4},
eissn = {1611-3349},
iris = {11585/838789},
isbn = {978-3-030-77090-7},
issn = {0302-9743},
keywords = {explainable AI · ethical AI · argumentation · logic programming · abduction · probabilistic LP · inductive LP},
numpages = 18,
pages = {19--36},
publisher = {Springer Nature},
scholar = {13475146938124131264},
scopus = {2-s2.0-85111351072},
series = {Lecture Notes in Computer Science},
title = {Explainable and Ethical {AI}: A Perspective on Argumentation and Logic Programming},
url = {http://link.springer.com/10.1007/978-3-030-77091-4_2},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-77091-4_2.pdf},
volume = 12414,
wos = {000886994000002},
year = 2021
}
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {AIxIA 2020 -- Advances in Artificial Intelligence},
chapter = 2,
dblp = {conf/aiia/CalegariOS20a},
doi = {10.1007/978-3-030-73065-9_2},
editor = {Baldoni, Matteo and Bandini, Stefania},
eisbn = {978-3-030-77091-4},
eissn = {1611-3349},
iris = {11585/838789},
isbn = {978-3-030-77090-7},
issn = {0302-9743},
keywords = {explainable AI · ethical AI · argumentation · logic programming · abduction · probabilistic LP · inductive LP},
numpages = 18,
pages = {19--36},
publisher = {Springer Nature},
scholar = {13475146938124131264},
scopus = {2-s2.0-85111351072},
series = {Lecture Notes in Computer Science},
title = {Explainable and Ethical {AI}: A Perspective on Argumentation and Logic Programming},
url = {http://link.springer.com/10.1007/978-3-030-77091-4_2},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-77091-4_2.pdf},
volume = 12414,
wos = {000886994000002},
year = 2021
}
@inproceedings{lptech4mas-aamas2021,
acm = {10.5555/3463952.3464214},
author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
booktitle = {20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021)},
dblp = {journals/aamas/CalegariCMO21},
iris = {11585/819065},
isbn = {978-1-4503-8307-3},
issn = {2523-5699},
keywords = {SLR, Logic-based Technologies, MAS},
month = may,
note = {Summary of ``Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review''},
numpages = 3,
pages = {1721-1723},
scholar = {10241330461334370464},
scopus = {2-s2.0-85112328211},
title = {Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review},
url = {http://dl.acm.org/doi/10.5555/3463952.3464214},
urlpdf = {http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf},
year = 2021
}
acm = {10.5555/3463952.3464214},
author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
booktitle = {20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021)},
dblp = {journals/aamas/CalegariCMO21},
iris = {11585/819065},
isbn = {978-1-4503-8307-3},
issn = {2523-5699},
keywords = {SLR, Logic-based Technologies, MAS},
month = may,
note = {Summary of ``Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review''},
numpages = 3,
pages = {1721-1723},
scholar = {10241330461334370464},
scopus = {2-s2.0-85112328211},
title = {Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review},
url = {http://dl.acm.org/doi/10.5555/3463952.3464214},
urlpdf = {http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf},
year = 2021
}
@inproceedings{arg2p-cilc2021,
address = {Parma, Italy},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {CILC 2021 -- Italian Conference on Computational Logic. Proceedings of the 36th Italian Conference on Computational Logic},
dblp = {conf/cilc/PisanoCOS21},
editor = {Monica, Stefania and Bergenti, Federico},
iris = {11585/838785},
issn = {1613-0073},
keywords = {Argumentation · Defeasible preferences · Arg2P},
month = {7-9~} # sep,
pages = {16--30},
publisher = {CEUR-WS},
scholar = {12433999243058736062},
scopus = {2-s2.0-85122863663},
semanticscholar = {243990504},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {A Mechanism for Reasoning over Defeasible Preferences in {Arg\textsf{2}P}},
url = {http://ceur-ws.org/Vol-3002/paper10.pdf},
urlpdf = {http://ceur-ws.org/Vol-3002/paper10.pdf},
volume = 3002,
year = 2021
}
address = {Parma, Italy},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {CILC 2021 -- Italian Conference on Computational Logic. Proceedings of the 36th Italian Conference on Computational Logic},
dblp = {conf/cilc/PisanoCOS21},
editor = {Monica, Stefania and Bergenti, Federico},
iris = {11585/838785},
issn = {1613-0073},
keywords = {Argumentation · Defeasible preferences · Arg2P},
month = {7-9~} # sep,
pages = {16--30},
publisher = {CEUR-WS},
scholar = {12433999243058736062},
scopus = {2-s2.0-85122863663},
semanticscholar = {243990504},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {A Mechanism for Reasoning over Defeasible Preferences in {Arg\textsf{2}P}},
url = {http://ceur-ws.org/Vol-3002/paper10.pdf},
urlpdf = {http://ceur-ws.org/Vol-3002/paper10.pdf},
volume = 3002,
year = 2021
}
@inproceedings{metabp-ai321,
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 = nov,
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,
year = 2021
}
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 = nov,
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,
year = 2021
}
@inproceedings{distributedarg-woa2021,
articleno = 12,
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/PisanoCO21},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834366},
issn = {1613-0073},
keywords = {Argumentation, MAS, cooperative argumentation, distributed argumentation process},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 16,
pages = {162--177},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {13615595110063768054},
scopus = {2-s2.0-85116856131},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards cooperative argumentation for {MAS}: An actor-based approach},
url = {http://ceur-ws.org/Vol-2963/paper17.pdf},
volume = 2963,
year = 2021
}
articleno = 12,
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/PisanoCO21},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834366},
issn = {1613-0073},
keywords = {Argumentation, MAS, cooperative argumentation, distributed argumentation process},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 16,
pages = {162--177},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {13615595110063768054},
scopus = {2-s2.0-85116856131},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards cooperative argumentation for {MAS}: An actor-based approach},
url = {http://ceur-ws.org/Vol-2963/paper17.pdf},
volume = 2963,
year = 2021
}
@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
}
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
}
@inproceedings{arg2p-cilc2020,
address = {Aachen, Germany},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic},
dblp = {conf/cilc/PisanoCOS20},
editor = {Calimeri, Francesco and Perri, Simona and Zumpano, Ester},
iris = {11585/776173},
issn = {1613-0073},
keywords = {argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence},
location = {Rende, CS, Italy},
month = {13-15~} # oct,
numpages = 16,
organization = {Sun SITE Central Europe, RWTH Aachen University},
pages = {51--66},
publisher = {CEUR-WS},
scholar = {11457064787617704916},
scopus = {2-s2.0-85095821934},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Arg-{{\sf tu}Prolog}: A {{\sf tu}Prolog}-based argumentation framework},
url = {http://ceur-ws.org/Vol-2710/paper4.pdf},
volume = 2710,
year = 2020
}
address = {Aachen, Germany},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic},
dblp = {conf/cilc/PisanoCOS20},
editor = {Calimeri, Francesco and Perri, Simona and Zumpano, Ester},
iris = {11585/776173},
issn = {1613-0073},
keywords = {argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence},
location = {Rende, CS, Italy},
month = {13-15~} # oct,
numpages = 16,
organization = {Sun SITE Central Europe, RWTH Aachen University},
pages = {51--66},
publisher = {CEUR-WS},
scholar = {11457064787617704916},
scopus = {2-s2.0-85095821934},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Arg-{{\sf tu}Prolog}: A {{\sf tu}Prolog}-based argumentation framework},
url = {http://ceur-ws.org/Vol-2710/paper4.pdf},
volume = 2710,
year = 2020
}
@inproceedings{nsc4xai-woa2020,
address = {Aachen, Germany},
articleno = 8,
author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/PisanoCCO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781387},
issn = {1613-0073},
keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 17,
pages = {101--117},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095616404},
scopus-id = {2-s2.0-85095616404},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper18.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
articleno = 8,
author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/PisanoCCO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781387},
issn = {1613-0073},
keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 17,
pages = {101--117},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095616404},
scopus-id = {2-s2.0-85095616404},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper18.pdf},
volume = 2706,
year = 2020
}
@inproceedings{compulaw-woa2020,
address = {Aachen, Germany},
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariOS20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781376},
issn = {1613-0073},
keywords = {computable law, multi-agent system, argumentation, logic, hybrid approaches},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 15,
pages = {54--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095574538},
scopus-id = {2-s2.0-85095574538},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Computable Law as Argumentation-based {MAS}},
url = {http://ceur-ws.org/Vol-2706/paper10.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariOS20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781376},
issn = {1613-0073},
keywords = {computable law, multi-agent system, argumentation, logic, hybrid approaches},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 15,
pages = {54--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095574538},
scopus-id = {2-s2.0-85095574538},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Computable Law as Argumentation-based {MAS}},
url = {http://ceur-ws.org/Vol-2706/paper10.pdf},
volume = 2706,
year = 2020
}
@inproceedings{kotlindsi4prolog-woa2020,
address = {Aachen, Germany},
author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoCSDO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781391},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
pages = {219--236},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095597762},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoCSDO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781391},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
pages = {219--236},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095597762},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
year = 2020
}
@inproceedings{preface-woa2020,
address = {Aachen, Germany},
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
}
address = {Aachen, Germany},
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
}
@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
}
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
}
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
}
@inproceedings{arglpxai-aiia2020,
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {XAI.it 2020 -- Italian Workshop on Explainable Artificial Intelligence 2020},
dblp = {conf/aiia/CalegariOS20},
editor = {Musto, Cataldo and Magazzeni, Daniele and Ruggieri, Salvatore and Semeraro, Giovanni},
iris = {11585/780458},
keywords = {explainable AI, ethical AI, argumentation, logic programming, abduction, probabilistic LP, inductive LP},
month = nov,
note = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)},
pages = {55--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85098916778},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Argumentation and Logic Programming for Explainable and Ethical {AI}},
url = {http://ceur-ws.org/Vol-2742/paper5.pdf},
volume = 2742,
year = 2020
}
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {XAI.it 2020 -- Italian Workshop on Explainable Artificial Intelligence 2020},
dblp = {conf/aiia/CalegariOS20},
editor = {Musto, Cataldo and Magazzeni, Daniele and Ruggieri, Salvatore and Semeraro, Giovanni},
iris = {11585/780458},
keywords = {explainable AI, ethical AI, argumentation, logic programming, abduction, probabilistic LP, inductive LP},
month = nov,
note = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)},
pages = {55--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85098916778},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Argumentation and Logic Programming for Explainable and Ethical {AI}},
url = {http://ceur-ws.org/Vol-2742/paper5.pdf},
volume = 2742,
year = 2020
}
@article{lpaas-ijguc10,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/ijguc/CalegariDMO19},
doi = {10.1504/IJGUC.2019.10022135},
editor = {de Macedo, Douglas Dyllon Jeronimo and Messina, Fabrizio},
eissn = {1741-8488},
iris = {11585/657394},
issn = {1741-847X},
journal = {International Journal of Grid and Utility Computing},
keywords = {IoT, logic programming, multi-agent systems, pervasive computing, LPaaS, artificial intelligence, interoperability},
number = 4,
pages = {344--360},
publisher = {Inderscience},
scholar = {3690275178730600901},
scopus = {2-s2.0-85069787119},
title = {Logic Programming as a Service in Multi-Agent Systems for the {I}nternet of {T}hings},
url = {https://www.inderscience.com/info/inarticle.php?artid=100878},
volume = 10,
wos = {000476657400005},
year = 2019
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/ijguc/CalegariDMO19},
doi = {10.1504/IJGUC.2019.10022135},
editor = {de Macedo, Douglas Dyllon Jeronimo and Messina, Fabrizio},
eissn = {1741-8488},
iris = {11585/657394},
issn = {1741-847X},
journal = {International Journal of Grid and Utility Computing},
keywords = {IoT, logic programming, multi-agent systems, pervasive computing, LPaaS, artificial intelligence, interoperability},
number = 4,
pages = {344--360},
publisher = {Inderscience},
scholar = {3690275178730600901},
scopus = {2-s2.0-85069787119},
title = {Logic Programming as a Service in Multi-Agent Systems for the {I}nternet of {T}hings},
url = {https://www.inderscience.com/info/inarticle.php?artid=100878},
volume = 10,
wos = {000476657400005},
year = 2019
}
@incollection{xmas-aiiot2019,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea and Calvaresi, Davide},
booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
dblp = {conf/aiia/CiattoCOC19},
editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/707345},
issn = {1613-0073},
keywords = {MAS; XMAS; XAI; explainability; road map},
month = nov,
pages = {40--53},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16440456382689731727},
scopus = {2-s2.0-85075953890},
series = {CEUR Workshop Proceedings},
title = {Towards {XMAS}: e{X}plainability through {M}ulti-{A}gent {S}ystems},
url = {http://ceur-ws.org/Vol-2502/paper3.pdf},
urlpdf = {http://ceur-ws.org/Vol-2502/paper3.pdf},
volume = 2502,
year = 2019
}
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea and Calvaresi, Davide},
booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
dblp = {conf/aiia/CiattoCOC19},
editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/707345},
issn = {1613-0073},
keywords = {MAS; XMAS; XAI; explainability; road map},
month = nov,
pages = {40--53},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16440456382689731727},
scopus = {2-s2.0-85075953890},
series = {CEUR Workshop Proceedings},
title = {Towards {XMAS}: e{X}plainability through {M}ulti-{A}gent {S}ystems},
url = {http://ceur-ws.org/Vol-2502/paper3.pdf},
urlpdf = {http://ceur-ws.org/Vol-2502/paper3.pdf},
volume = 2502,
year = 2019
}
@incollection{defeasiblelegalreasoning-jurix2019,
author = {Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Omicini, Andrea and Sartor, Giovanni},
booktitle = {Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference},
dblp = {conf/paams/CiattoM0O19},
doi = {10.3233/FAIA190320},
editor = {Araszkiewicz, Michał and Rodríguez-Doncel, Víctor},
eisbn = {978-1-64368-049-1},
iris = {11585/708232},
isbn = {978-1-64368-048-4},
keywords = {AI and Law, legal reasoning, defeasible reasoning, argumentation},
location = {Madrid, Spain},
month = {11-13~} # dec,
numpages = 6,
pages = {169--174},
publisher = {IOS Press},
scopus = {2-s2.0-85082137325},
series = {Frontiers in Artificial Intelligence and Applications},
title = {Defeasible Systems in Legal Reasoning: A Comparative Assessment},
volume = 322,
wos = {000624479900019},
year = 2019
}
author = {Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Omicini, Andrea and Sartor, Giovanni},
booktitle = {Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference},
dblp = {conf/paams/CiattoM0O19},
doi = {10.3233/FAIA190320},
editor = {Araszkiewicz, Michał and Rodríguez-Doncel, Víctor},
eisbn = {978-1-64368-049-1},
iris = {11585/708232},
isbn = {978-1-64368-048-4},
keywords = {AI and Law, legal reasoning, defeasible reasoning, argumentation},
location = {Madrid, Spain},
month = {11-13~} # dec,
numpages = 6,
pages = {169--174},
publisher = {IOS Press},
scopus = {2-s2.0-85082137325},
series = {Frontiers in Artificial Intelligence and Applications},
title = {Defeasible Systems in Legal Reasoning: A Comparative Assessment},
volume = 322,
wos = {000624479900019},
year = 2019
}
@incollection{xailp-woa2019,
author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea},
booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariCDO19},
editor = {Bergenti, Federico and Monica, Stefania},
iris = {11585/692870},
keywords = {XAI, logic programming, machine learning, symbolic vs. subsymbolic},
location = {Parma, Italy},
month = {26--28~} # jun,
numpages = 8,
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 = {http://ceur-ws.org/Vol-2404/paper16.pdf},
volume = 2404,
year = 2019
}
author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea},
booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariCDO19},
editor = {Bergenti, Federico and Monica, Stefania},
iris = {11585/692870},
keywords = {XAI, logic programming, machine learning, symbolic vs. subsymbolic},
location = {Parma, Italy},
month = {26--28~} # jun,
numpages = 8,
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 = {http://ceur-ws.org/Vol-2404/paper16.pdf},
volume = 2404,
year = 2019
}
@incollection{microintelligencelp-mmasII,
author = {Omicini, Andrea and Calegari, Roberta},
booktitle = {Massively Multi-Agent Systems II},
chapter = 2,
dblp = {conf/mmas/OmiciniC18},
doi = {10.1007/978-3-030-20937-7_2},
editor = {Lin, Donghui and Ishida, Toru and Zambonelli, Franco and Noda, Itsuki},
iris = {11585/687499},
isbn = {978-3-030-20937-7},
keywords = {pervasive system, MMAS, micro-intelligence, logic-based, LPaaS},
month = may,
note = {International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers},
pages = {21--35},
publisher = {Springer},
publonsid = {22195270},
scopus = {2-s2.0-85066143737},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Injecting (Micro)Intelligence in the {IoT}: Logic-based Approaches for {(M)MAS}},
url = {http://link.springer.com/10.1007/978-3-030-20937-7_2},
volume = 11422,
year = 2019
}
author = {Omicini, Andrea and Calegari, Roberta},
booktitle = {Massively Multi-Agent Systems II},
chapter = 2,
dblp = {conf/mmas/OmiciniC18},
doi = {10.1007/978-3-030-20937-7_2},
editor = {Lin, Donghui and Ishida, Toru and Zambonelli, Franco and Noda, Itsuki},
iris = {11585/687499},
isbn = {978-3-030-20937-7},
keywords = {pervasive system, MMAS, micro-intelligence, logic-based, LPaaS},
month = may,
note = {International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers},
pages = {21--35},
publisher = {Springer},
publonsid = {22195270},
scopus = {2-s2.0-85066143737},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Injecting (Micro)Intelligence in the {IoT}: Logic-based Approaches for {(M)MAS}},
url = {http://link.springer.com/10.1007/978-3-030-20937-7_2},
volume = 11422,
year = 2019
}
@incollection{edgeintelligenceguidelines-idcs2019,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
location = {Napoli, Italy},
month = {10--12~} # oct,
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 = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
}
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
location = {Napoli, Italy},
month = {10--12~} # oct,
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 = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
}
@inproceedings{lpaas-ic2e2018,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
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 = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
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 = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
@article{lpaas-tplp18,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/tplp/CalegariDMO18},
doi = {10.1017/S1471068418000364},
editor = {Fioretto, Ferdinando and Pontelli, Enrico},
iris = {11585/642508},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
pages = {846--873},
publisher = {Cambridge University Press},
scholar = {13482792136370336832},
scopus = {2-s2.0-85050006559},
title = {Logic Programming as a Service},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
volume = 18,
wos = {000443682000005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/tplp/CalegariDMO18},
doi = {10.1017/S1471068418000364},
editor = {Fioretto, Ferdinando and Pontelli, Enrico},
iris = {11585/642508},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
pages = {846--873},
publisher = {Cambridge University Press},
scholar = {13482792136370336832},
scopus = {2-s2.0-85050006559},
title = {Logic Programming as a Service},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
volume = 18,
wos = {000443682000005},
year = 2018
}
@article{labelledlp-fi161,
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
@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
}
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
}
@inproceedings{spacetimelp-woa2018,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646038},
keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
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 = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646038},
keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
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 = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
@inproceedings{blockchainlp-woa2018,
author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646042},
keywords = {blockchain, logic programming, smart contracts},
location = {Palermo, Italy},
month = jun,
pages = {69--74},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {816353538952619884},
scopus = {2-s2.0-85054323401},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646042},
keywords = {blockchain, logic programming, smart contracts},
location = {Palermo, Italy},
month = jun,
pages = {69--74},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {816353538952619884},
scopus = {2-s2.0-85054323401},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
url = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
@inproceedings{lpaas-icnsc2017,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017)},
dblp = {conf/icnsc/CalegariD0O17},
doi = {10.1109/ICNSC.2017.8000070},
editor = {Fortino, Giancarlo and Zhou, MengChu and Lukszo, Zofia and Vasilakos, Athanasios V. and Basile, Francesco and Palau, Carlos and Liotta, Antonio and Fanti, Maria Pia and Guerrieri, Antonio and Vinci, Andrea},
eisbn = {978-1-5090-4428-0},
ieee = {8000070},
iris = {11585/605740},
isbn = {978-1-5090-4428-3},
keywords = {IoT, logic programming, LPaaS, pervasive computing, artificial intelligence, interoperability},
location = {Calabria, Italy},
month = may,
numpages = 6,
pages = {72--77},
publisher = {IEEE},
scopus = {2-s2.0-85025141526},
title = {{L}ogic {P}rogramming as a {S}ervice ({LPaaS}): Intelligence for the {IoT}},
url = {http://ieeexplore.ieee.org/document/8000070/},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
wos = {000463480000013},
year = 2017
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017)},
dblp = {conf/icnsc/CalegariD0O17},
doi = {10.1109/ICNSC.2017.8000070},
editor = {Fortino, Giancarlo and Zhou, MengChu and Lukszo, Zofia and Vasilakos, Athanasios V. and Basile, Francesco and Palau, Carlos and Liotta, Antonio and Fanti, Maria Pia and Guerrieri, Antonio and Vinci, Andrea},
eisbn = {978-1-5090-4428-0},
ieee = {8000070},
iris = {11585/605740},
isbn = {978-1-5090-4428-3},
keywords = {IoT, logic programming, LPaaS, pervasive computing, artificial intelligence, interoperability},
location = {Calabria, Italy},
month = may,
numpages = 6,
pages = {72--77},
publisher = {IEEE},
scopus = {2-s2.0-85025141526},
title = {{L}ogic {P}rogramming as a {S}ervice ({LPaaS}): Intelligence for the {IoT}},
url = {http://ieeexplore.ieee.org/document/8000070/},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
wos = {000463480000013},
year = 2017
}
@inproceedings{lpaas-woa2016,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
@inproceedings{lvlp-cilc2016,
address = {Milano, Italy},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
address = {Milano, Italy},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
@conference{homeMan2-icaart2015,
Address = {Lisbon, Portugal},
Author = {Denti, Enrico and Calegari, Roberta},
Booktitle = {7th International Conference on Agents and Artificial Intelligence 2015 (ICAART 2015)},
Editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap},
Month = {10--12~} # jan,
Title = {{B}utler-ising {H}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence},
Pages = {249-256},
Publisher = {SCITEPRESS – Science and Technology Publications},
Isbn = {978-989-758-073-4},
Doi = {10.5220/0005284002490256},
Year = 2015}
Address = {Lisbon, Portugal},
Author = {Denti, Enrico and Calegari, Roberta},
Booktitle = {7th International Conference on Agents and Artificial Intelligence 2015 (ICAART 2015)},
Editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap},
Month = {10--12~} # jan,
Title = {{B}utler-ising {H}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence},
Pages = {249-256},
Publisher = {SCITEPRESS – Science and Technology Publications},
Isbn = {978-989-758-073-4},
Doi = {10.5220/0005284002490256},
Year = 2015}
@inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
@inproceedings{ctg-sigsoft2007,
acm = {1287684},
Address = {New York, NY, USA},
Author = {Calegari, Roberta and Musolesi, Mirco and Raimondi, Franco and Mascolo, Cecilia},
Booktitle = {6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE 2007)},
Doi = {10.1145/1287624.1287684},
Isbn = {978-1-59593-811-4},
Keywords = {connectivity model, delay tolerant networking, opportunistic systems, protocol testing},
Location = {Dubrovnik, Croatia},
Numpages = {10},
Pages = {415--424},
Publisher = {ACM},
Series = {ESEC-FSE '07},
Url = {http://dl.acm.org/citation.cfm?doid=1287684},
Title = {{CTG}: A Connectivity Trace Generator for Testing the Performance of Opportunistic Mobile Systems},
Url = {http://doi.acm.org/10.1145/1287624.1287684},
Year = 2007}
acm = {1287684},
Address = {New York, NY, USA},
Author = {Calegari, Roberta and Musolesi, Mirco and Raimondi, Franco and Mascolo, Cecilia},
Booktitle = {6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE 2007)},
Doi = {10.1145/1287624.1287684},
Isbn = {978-1-59593-811-4},
Keywords = {connectivity model, delay tolerant networking, opportunistic systems, protocol testing},
Location = {Dubrovnik, Croatia},
Numpages = {10},
Pages = {415--424},
Publisher = {ACM},
Series = {ESEC-FSE '07},
Url = {http://dl.acm.org/citation.cfm?doid=1287684},
Title = {{CTG}: A Connectivity Trace Generator for Testing the Performance of Opportunistic Mobile Systems},
Url = {http://doi.acm.org/10.1145/1287624.1287684},
Year = 2007}
— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers