Per tipo
@inproceedings{skemetrics-aaai2023,
address = {San Francisco, California},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {AAAI 2023 Spring Symposium Series},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
month = mar,
title = {On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes},
year = 2023
}
address = {San Francisco, California},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {AAAI 2023 Spring Symposium Series},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
month = mar,
title = {On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes},
year = 2023
}
@article{metabop-ifcolog10,
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Giovanni Sartor},
booktitle = {Special Issue: Advances in Argumentation in AI},
dblp = {journals/flap/PisanoCOS23},
editor = {D'Agostino, Marcello and D'Asaro, Fabio Aurelio and Larese, Costanza},
eissn = {2631-9829},
iris = {11585/926735},
isbn = {978-1-84890-433-0},
issn = {2631-9810},
journal = {Journal of Applied Logics},
keywords = {burdens of persuasion, argumentation, meta-argumentation},
month = may,
note = {Special Issue: Advances in Argumentation in AI},
number = 3,
numpages = 28,
pages = {393--420},
publisher = {College Publications},
scholar = {6899343197318040336},
scopus = {2-s2.0-85160661742},
title = {Burden of Persuasion: A Meta-argumentation Approach},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00059.pdf#page=134},
volume = 10,
wos = {WOS:001243893100005},
year = 2023
}
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Giovanni Sartor},
booktitle = {Special Issue: Advances in Argumentation in AI},
dblp = {journals/flap/PisanoCOS23},
editor = {D'Agostino, Marcello and D'Asaro, Fabio Aurelio and Larese, Costanza},
eissn = {2631-9829},
iris = {11585/926735},
isbn = {978-1-84890-433-0},
issn = {2631-9810},
journal = {Journal of Applied Logics},
keywords = {burdens of persuasion, argumentation, meta-argumentation},
month = may,
note = {Special Issue: Advances in Argumentation in AI},
number = 3,
numpages = 28,
pages = {393--420},
publisher = {College Publications},
scholar = {6899343197318040336},
scopus = {2-s2.0-85160661742},
title = {Burden of Persuasion: A Meta-argumentation Approach},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00059.pdf#page=134},
volume = 10,
wos = {WOS:001243893100005},
year = 2023
}
@article{hypercubeske-ia17,
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO23},
doi = {10.3233/IA-230001},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/941033},
journal = {Intelligenza Artificiale},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jun,
note = {Special issue: Selected papers from the 23rd Workshop ``From Objects to Agents'' (WOA 2022)},
number = 1,
numpages = 13,
pages = {63--75},
publisher = {IOS Press},
scholar = {14669296704428238758},
scopus = {2-s2.0-85168332389},
semanticscholar = {259324728},
title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
urlopenaccess = {https://cris.unibo.it/retrieve/3a2a510e-9dc5-4b07-b3f7-398cf2f21419/ia-2023-psyke.pdf},
volume = 17,
year = 2023
}
author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/ia/SabbatiniCCO23},
doi = {10.3233/IA-230001},
editor = {Ferrando, Angelo and Mascardi, Viviana},
iris = {11585/941033},
journal = {Intelligenza Artificiale},
keywords = {explainable AI, knowledge extraction, interpretable prediction, PSyKE},
month = jun,
note = {Special issue: Selected papers from the 23rd Workshop ``From Objects to Agents'' (WOA 2022)},
number = 1,
numpages = 13,
pages = {63--75},
publisher = {IOS Press},
scholar = {14669296704428238758},
scopus = {2-s2.0-85168332389},
semanticscholar = {259324728},
title = {Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia230001},
urlopenaccess = {https://cris.unibo.it/retrieve/3a2a510e-9dc5-4b07-b3f7-398cf2f21419/ia-2023-psyke.pdf},
volume = 17,
year = 2023
}
@article{arg2p-ail2023,
author = {Robaldo, Livio and Batsakis, Sotiris and Calegari, Roberta and Calimeri, Francesco and Fujita, Megumi and Governatori, Guido and Morelli, Maria Concetta and Pacenza, Francesco and Pisano, Giuseppe and Satoh, Ken and Tachmazidis, Ilias and Zangari, Jessica},
doi = {10.1007/s10506-023-09360-z},
eissn = {1572-8382},
issn = {0924-8463},
journal = {Artificial Intelligence and Law},
keywords = {Compliance checking, First-order knowledge, LegalTech},
month = jun,
numpages = 51,
title = {Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies},
url = {https://link.springer.com/10.1007/s10506-023-09360-z},
year = 2023
}
author = {Robaldo, Livio and Batsakis, Sotiris and Calegari, Roberta and Calimeri, Francesco and Fujita, Megumi and Governatori, Guido and Morelli, Maria Concetta and Pacenza, Francesco and Pisano, Giuseppe and Satoh, Ken and Tachmazidis, Ilias and Zangari, Jessica},
doi = {10.1007/s10506-023-09360-z},
eissn = {1572-8382},
issn = {0924-8463},
journal = {Artificial Intelligence and Law},
keywords = {Compliance checking, First-order knowledge, LegalTech},
month = jun,
numpages = 51,
title = {Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies},
url = {https://link.springer.com/10.1007/s10506-023-09360-z},
year = 2023
}
@article{arg2pcompcheck-jlc32,
author = {Livio Robaldo and Francesco Pacenza and Jessica Zangari and Calegari, Roberta and Francesco Calimeri and Giovanni Siragusa},
dblp = {journals/logcom/CalegariOPS22},
doi = {10.1093/logcom/exad034},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
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 = jun,
note = {Special Issue from the 37th Italian Conference on Computational Logic (CILC 2022)},
number = 2,
pages = {369--401},
publisher = {Oxford University Press},
scholar = {7687317421217944977},
scopus = {2-s2.0-85126283334},
title = {Efficient compliance checking of RDF data},
url = {https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exad034/7190757},
volume = 32,
wos = {000762067600009},
year = 2023
}
author = {Livio Robaldo and Francesco Pacenza and Jessica Zangari and Calegari, Roberta and Francesco Calimeri and Giovanni Siragusa},
dblp = {journals/logcom/CalegariOPS22},
doi = {10.1093/logcom/exad034},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
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 = jun,
note = {Special Issue from the 37th Italian Conference on Computational Logic (CILC 2022)},
number = 2,
pages = {369--401},
publisher = {Oxford University Press},
scholar = {7687317421217944977},
scopus = {2-s2.0-85126283334},
title = {Efficient compliance checking of RDF data},
url = {https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exad034/7190757},
volume = 32,
wos = {000762067600009},
year = 2023
}
@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
}
@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
}
@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
}
@article{defreasoning-j-2021,
author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
doi = {10.3390/j4040061},
editor = {Ivascu, Larisa},
issn = {2571-8800},
journal = {J},
keywords = {argumentation; defeasible reasoning; tools and technologies; Arg2P},
month = dec,
note = {Special Issue The Impact of Artificial Intelligence on Law},
number = 4,
pages = {897-914},
publisher = {MDPI},
status = {Published},
title = {Argumentation and Defeasible Reasoning in the Law},
url = {https://www.mdpi.com/2571-8800/4/4/61},
volume = 4,
year = 2021}
author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Lagioia, Francesca and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
doi = {10.3390/j4040061},
editor = {Ivascu, Larisa},
issn = {2571-8800},
journal = {J},
keywords = {argumentation; defeasible reasoning; tools and technologies; Arg2P},
month = dec,
note = {Special Issue The Impact of Artificial Intelligence on Law},
number = 4,
pages = {897-914},
publisher = {MDPI},
status = {Published},
title = {Argumentation and Defeasible Reasoning in the Law},
url = {https://www.mdpi.com/2571-8800/4/4/61},
volume = 4,
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
}
@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
}
@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
}
@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
}
@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
}
@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{2p-alpnews2016,
Author = {Calegari, Roberta and Denti, Enrico},
Journal = {ALP Newsletter},
Month = dec,
Publisher = {Association for Logic Programming},
Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
Year = 2016}
Author = {Calegari, Roberta and Denti, Enrico},
Journal = {ALP Newsletter},
Month = dec,
Publisher = {Association for Logic Programming},
Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
Year = 2016}
@article{2p-alpnews2013,
author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta},
iris = {11585/230475},
journal = {ALP Newsletter},
month = oct,
publisher = {Association for Logic Programming},
title = {{\textsf{tu}Prolog}: Making {P}rolog Ubiquitous},
url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/},
year = 2013
}
author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta},
iris = {11585/230475},
journal = {ALP Newsletter},
month = oct,
publisher = {Association for Logic Programming},
title = {{\textsf{tu}Prolog}: Making {P}rolog Ubiquitous},
url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/},
year = 2013
}
@inproceedings{vicinity-ximl2023,
address = {Krakov, Poland},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 3rd International Workshop on Explainable and Interpretable Machine Learning (XI-ML 2023)},
title = {Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques},
year = 2023
}
address = {Krakov, Poland},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 3rd International Workshop on Explainable and Interpretable Machine Learning (XI-ML 2023)},
title = {Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques},
year = 2023
}
@inproceedings{exact-kodis2023,
address = {Rhodes, Greece},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 2nd International Workshop on Knowledge Diversity (KoDis 2023)},
title = {{ExACT} Explainable Clustering: Unravelling the Intricacies of Cluster Formation},
year = 2023
}
address = {Rhodes, Greece},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 2nd International Workshop on Knowledge Diversity (KoDis 2023)},
title = {{ExACT} Explainable Clustering: Unravelling the Intricacies of Cluster Formation},
year = 2023
}
@inproceedings{creepy-beware2023,
address = {Rome, Italy},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2023)},
title = {Unveiling Opaque Predictors via Explainable Clustering: The {CReEPy} Algorithm},
year = 2023
}
address = {Rome, Italy},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2023)},
title = {Unveiling Opaque Predictors via Explainable Clustering: The {CReEPy} Algorithm},
year = 2023
}
@inproceedings{fairness-ijcai2023,
address = {Macau, China},
author = {Calegari, Roberta and Castañé, Gabriel G. and Milano, Michela and O'Sullivan, Barry},
booktitle = {32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)},
doi = {https://doi.org/10.24963/ijcai.2023/735},
keywords = {AI fairness, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {August 19--25},
pages = {6554-6562},
publisher = {IJCAI},
title = {Assessing and Enforcing Fairness in the {AI} Lifecycle},
year = 2023
}
address = {Macau, China},
author = {Calegari, Roberta and Castañé, Gabriel G. and Milano, Michela and O'Sullivan, Barry},
booktitle = {32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)},
doi = {https://doi.org/10.24963/ijcai.2023/735},
keywords = {AI fairness, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {August 19--25},
pages = {6554-6562},
publisher = {IJCAI},
title = {Assessing and Enforcing Fairness in the {AI} Lifecycle},
year = 2023
}
@inproceedings{cream-kr2023,
address = {Rhodes, Greece},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {20th International Conference on Principles of Knowledge Representation and Reasoning},
doi = {10.24963/kr.2023/58},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
iris = {11585/893144},
isbn = {978-1-956792-02-7},
issn = {2334-1033},
keywords = {Explainable AI, Applications that combine KR with machine learning, Integrating knowledge representation and machine learning, KR and machine learning, inductive logic programming, knowledge acquisition},
month = aug,
pages = {593--603},
publisher = {IJCAI Organization},
scopus = {2-s2.0-85176733868},
title = {Explainable Clustering with CREAM},
url = {https://proceedings.kr.org/2023/58/},
urlpdf = {https://proceedings.kr.org/2023/58/kr2023-0058-sabbatini-et-al.pdf},
year = 2023
}
address = {Rhodes, Greece},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {20th International Conference on Principles of Knowledge Representation and Reasoning},
doi = {10.24963/kr.2023/58},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
iris = {11585/893144},
isbn = {978-1-956792-02-7},
issn = {2334-1033},
keywords = {Explainable AI, Applications that combine KR with machine learning, Integrating knowledge representation and machine learning, KR and machine learning, inductive logic programming, knowledge acquisition},
month = aug,
pages = {593--603},
publisher = {IJCAI Organization},
scopus = {2-s2.0-85176733868},
title = {Explainable Clustering with CREAM},
url = {https://proceedings.kr.org/2023/58/},
urlpdf = {https://proceedings.kr.org/2023/58/kr2023-0058-sabbatini-et-al.pdf},
year = 2023
}
@incollection{cooparg-aixia2022,
address = {Cham, Switzerland},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
chapter = 10,
dblp = {conf/aiia/PisanoCO22},
doi = {10.1007/978-3-031-27181-6_10},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
eisbn = {978-3-031-27181-6},
institution = {University of Udine},
iris = {11585/926736},
isbn = {978-3-031-27180-9},
issn = {0302-9743},
keywords = {argumentation, arg2p, cooperative argumentation, multi-agent systems, cooperative reasoning},
location = {Udine, Italy},
month = mar,
note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
numpages = 14,
pages = {140--153},
publisher = {Springer},
scholar = {611421105673679245},
scopus = {2-s2.0-85151050879},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Multi-Agent Cooperative Argumentation in {Arg\textsf{2}P}},
url = {http://link.springer.com/10.1007/978-3-031-27181-6_10},
volume = 13796,
wos = {WOS:000999015100010},
year = 2023
}
address = {Cham, Switzerland},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
chapter = 10,
dblp = {conf/aiia/PisanoCO22},
doi = {10.1007/978-3-031-27181-6_10},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
eisbn = {978-3-031-27181-6},
institution = {University of Udine},
iris = {11585/926736},
isbn = {978-3-031-27180-9},
issn = {0302-9743},
keywords = {argumentation, arg2p, cooperative argumentation, multi-agent systems, cooperative reasoning},
location = {Udine, Italy},
month = mar,
note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
numpages = 14,
pages = {140--153},
publisher = {Springer},
scholar = {611421105673679245},
scopus = {2-s2.0-85151050879},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Multi-Agent Cooperative Argumentation in {Arg\textsf{2}P}},
url = {http://link.springer.com/10.1007/978-3-031-27181-6_10},
volume = 13796,
wos = {WOS:000999015100010},
year = 2023
}
@inproceedings{explainableclustering-woa2023,
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {WOA 2023 -- 24th Workshop ``From Objects to Agents''},
editor = {Rino Falcone and Cristiano Castelfranchi and Alessandro Sapienza and Filippo Cantucci},
iris = {11585/952626},
issn = {1613-0073},
keywords = {Explainable clustering, Explainable artificial intelligence, Symbolic knowledge extraction, PSyKE},
month = nov,
numpages = 14,
pages = {232--245},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85179624285},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents},
url = {https://ceur-ws.org/Vol-3579/paper18.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3579/paper18.pdf},
urlpdf = {https://ceur-ws.org/Vol-3579/paper18.pdf},
volume = 3579,
year = 2023
}
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {WOA 2023 -- 24th Workshop ``From Objects to Agents''},
editor = {Rino Falcone and Cristiano Castelfranchi and Alessandro Sapienza and Filippo Cantucci},
iris = {11585/952626},
issn = {1613-0073},
keywords = {Explainable clustering, Explainable artificial intelligence, Symbolic knowledge extraction, PSyKE},
month = nov,
numpages = 14,
pages = {232--245},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85179624285},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents},
url = {https://ceur-ws.org/Vol-3579/paper18.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3579/paper18.pdf},
urlpdf = {https://ceur-ws.org/Vol-3579/paper18.pdf},
volume = 3579,
year = 2023
}
@article{psyketrust-aixia2022,
address = {Cham, Switzerland},
author = {Calegari, Roberta and Federico, Sabbatini},
booktitle = {AIxIA 2022},
doi = {10.1007/978-3-031-27181-6_1},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
eisbn = {978-3-031-27181-6},
institution = {University of Udine},
isbn = {978-3-031-27180-9},
issn = {0302-9743},
location = {Udine, Italy},
month = mar,
note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
numpages = 14,
pages = {3--16},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {PSyKE} Technology for Trustworthy Artificial Intelligence},
url = {https://doi.org/10.1007/978-3-031-27181-6_1},
volume = 13796,
year = 2023
}
address = {Cham, Switzerland},
author = {Calegari, Roberta and Federico, Sabbatini},
booktitle = {AIxIA 2022},
doi = {10.1007/978-3-031-27181-6_1},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
eisbn = {978-3-031-27181-6},
institution = {University of Udine},
isbn = {978-3-031-27180-9},
issn = {0302-9743},
location = {Udine, Italy},
month = mar,
note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
numpages = 14,
pages = {3--16},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {PSyKE} Technology for Trustworthy Artificial Intelligence},
url = {https://doi.org/10.1007/978-3-031-27181-6_1},
volume = 13796,
year = 2023
}
@incollection{clustering-extraamas2023,
address = {London, UK},
author = {Sabbatini, Federico and Calegari, Roberta},
doi = {10.1007/978-3-031-40877-9},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
isbn = {978-3-031-40877-9},
issn = {0302-9743},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Clustering},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors},
url = {http://link.springer.com/10.1007/978-3-031-40877-9},
volume = 14127,
year = 2023
}
address = {London, UK},
author = {Sabbatini, Federico and Calegari, Roberta},
doi = {10.1007/978-3-031-40877-9},
editor = {Calvaresi, Davide and Najjar, Amro and Omicini, Andrea and Aydoǧan, Reyhan and Carli, Rachele and Ciatto, Giovanni and Mualla, Yazan and Främling, Kary},
isbn = {978-3-031-40877-9},
issn = {0302-9743},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Clustering},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors},
url = {http://link.springer.com/10.1007/978-3-031-40877-9},
volume = 14127,
year = 2023
}
@inproceedings{vicinity-ximl2023,
address = {Krakov, Poland},
author = {Eleonora Misino and Calegari, Roberta and Michele Lombardi and Milano, Michela},
booktitle = {AEQUITAS 2023 – Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023)},
issn = {1613-0073},
keywords = {fair ranking, fair matchmaking, fairness in AI},
series = {CEUR Workshop Proceedings},
title = {{FAiRDAS}: Fairness-Aware Ranking as Dynamic Abstract System},
url = {https://ceur-ws.org/Vol-3523/paper5.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3523/paper5.pdf},
volume = 3523,
year = 2023
}
address = {Krakov, Poland},
author = {Eleonora Misino and Calegari, Roberta and Michele Lombardi and Milano, Michela},
booktitle = {AEQUITAS 2023 – Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023)},
issn = {1613-0073},
keywords = {fair ranking, fair matchmaking, fairness in AI},
series = {CEUR Workshop Proceedings},
title = {{FAiRDAS}: Fairness-Aware Ranking as Dynamic Abstract System},
url = {https://ceur-ws.org/Vol-3523/paper5.pdf},
urlopenaccess = {https://ceur-ws.org/Vol-3523/paper5.pdf},
volume = 3523,
year = 2023
}
@inproceedings{fire-ecai2023,
address = {Krakov, Poland},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023)},
doi = {10.3233/FAIA230496},
eissn = {978-1-64368-437-6 },
iris = {11585/952617},
pages = {2033--2040},
editor = {Kobi Gal and Ann Nowé and Grzegorz J. Nalepa and Roy Fairstein and Roxana Rădulescu},
scopus = {2-s2.0-85175827763},
series = {Frontiers in Artificial Intelligence and Applications},
subseries = {ECAI 2023},
title = {Symbolic Knowledge-Extraction Evaluation Metrics: The {FiRe} Score},
url = {https://ebooks.iospress.nl/doi/10.3233/FAIA230496},
volume = 372,
year = 2023
}
address = {Krakov, Poland},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023)},
doi = {10.3233/FAIA230496},
eissn = {978-1-64368-437-6 },
iris = {11585/952617},
pages = {2033--2040},
editor = {Kobi Gal and Ann Nowé and Grzegorz J. Nalepa and Roy Fairstein and Roxana Rădulescu},
scopus = {2-s2.0-85175827763},
series = {Frontiers in Artificial Intelligence and Applications},
subseries = {ECAI 2023},
title = {Symbolic Knowledge-Extraction Evaluation Metrics: The {FiRe} Score},
url = {https://ebooks.iospress.nl/doi/10.3233/FAIA230496},
volume = 372,
year = 2023
}
@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}
@inproceedings{skemetrics-xaifin2022,
address = {New York, NY, USA},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Workshop on Explainable AI in Finance @ICAIF 2022},
doi = {10.48550/arXiv.2211.00238},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
month = {November 2},
scholar = {5021962022669458541},
semanticscholar = {253244189},
title = {Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper},
url = {https://arxiv.org/abs/2211.00238},
urlopenaccess = {https://arxiv.org/abs/2211.00238},
year = 2022
}
address = {New York, NY, USA},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {Workshop on Explainable AI in Finance @ICAIF 2022},
doi = {10.48550/arXiv.2211.00238},
keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
month = {November 2},
scholar = {5021962022669458541},
semanticscholar = {253244189},
title = {Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper},
url = {https://arxiv.org/abs/2211.00238},
urlopenaccess = {https://arxiv.org/abs/2211.00238},
year = 2022
}
@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}
}
@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{logicapiml-cilc2022,
author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
issn = {1613-0073},
keywords = {logic programming, machine learning, API, 2P-Kt},
location = {Bologna, Italy},
numpages = 15,
pages = {104--118},
publisher = {CEUR-WS},
series = {ceurws},
subseries = {AI*IA Series},
title = {Logic Programming library for Machine Learning: {API} design and prototype},
url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
volume = 3204,
year = 2022
}
author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
issn = {1613-0073},
keywords = {logic programming, machine learning, API, 2P-Kt},
location = {Bologna, Italy},
numpages = 15,
pages = {104--118},
publisher = {CEUR-WS},
series = {ceurws},
subseries = {AI*IA Series},
title = {Logic Programming library for Machine Learning: {API} design and prototype},
url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
volume = 3204,
year = 2022
}
@inproceedings{gridrex-kr2022,
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
doi = {10.24963/kr.2022/57},
editor = {Kern-Isberner, Gabriele and Lakemeyer, Gerhard and Meyer, Thomas},
iris = {11585/893144},
isbn = {978-1-956792-01-0},
issn = {2334-1033},
keywords = {Explainable AI, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {July 31--August 5},
pages = {554--563},
publisher = {IJCAI Organization},
title = {Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: {GridREx} {\&} {PEDRO}},
url = {https://proceedings.kr.org/2022/57/},
year = 2022
}
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
doi = {10.24963/kr.2022/57},
editor = {Kern-Isberner, Gabriele and Lakemeyer, Gerhard and Meyer, Thomas},
iris = {11585/893144},
isbn = {978-1-956792-01-0},
issn = {2334-1033},
keywords = {Explainable AI, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
month = {July 31--August 5},
pages = {554--563},
publisher = {IJCAI Organization},
title = {Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: {GridREx} {\&} {PEDRO}},
url = {https://proceedings.kr.org/2022/57/},
year = 2022
}
@inproceedings{cluster-ske-xlokr2022,
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation},
keywords = {Explainable AI; Symbolic knowledge extraction; Clustering},
month = {July 31},
title = {Clustering-Based Approaches for Symbolic Knowledge Extraction},
url = {https://arxiv.org/abs/2211.00234},
year = 2022
}
address = {Haifa, Israel},
author = {Sabbatini, Federico and Calegari, Roberta},
booktitle = {XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation},
keywords = {Explainable AI; Symbolic knowledge extraction; Clustering},
month = {July 31},
title = {Clustering-Based Approaches for Symbolic Knowledge Extraction},
url = {https://arxiv.org/abs/2211.00234},
year = 2022
}
@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
}
@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
}
@inproceedings{xai-arg2P-causal2021,
author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
booktitle = {Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)},
editor = {LeBlanc, Emily and Vennekens, Joost and Son, Tran Cao and Cabalar, Pedro and Fandiño, Jorge and Balduccini, Marcello and Lierler, Yuliya},
iris = {11585/836343},
location = {Porto, Portugal (virtual)},
month = sep,
numpages = 14,
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Explainability through argumentation in logic programming},
url = {http://ceur-ws.org/Vol-2970/causalpaper2.pdf},
volume = 2970,
year = 2021
}
author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
booktitle = {Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)},
editor = {LeBlanc, Emily and Vennekens, Joost and Son, Tran Cao and Cabalar, Pedro and Fandiño, Jorge and Balduccini, Marcello and Lierler, Yuliya},
iris = {11585/836343},
location = {Porto, Portugal (virtual)},
month = sep,
numpages = 14,
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {Explainability through argumentation in logic programming},
url = {http://ceur-ws.org/Vol-2970/causalpaper2.pdf},
volume = 2970,
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{calegari-bpicail2021,
keywords = {Burden of persuasion, argumentation, legal reasoning},
year = 2021,
pages = {180–184},
author = {Calegari, Roberta and Riveret, Regis and Sartor, Giovanni},
numpages = 5,
month = jun,
publisher = {ACM},
doi = {10.1145/3462757.3466078},
isbn = {9781450385268},
title = {The Burden of Persuasion in Structured Argumentation},
booktitle = {ICAIL'21: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law},
editor = {Maranhão, Juliano and Wyner, Adam Zachary},
url = {https://dl.acm.org/doi/10.1145/3462757.3466078},
series = {ICAIL'21},
location = {São Paulo - Brazil}}
keywords = {Burden of persuasion, argumentation, legal reasoning},
year = 2021,
pages = {180–184},
author = {Calegari, Roberta and Riveret, Regis and Sartor, Giovanni},
numpages = 5,
month = jun,
publisher = {ACM},
doi = {10.1145/3462757.3466078},
isbn = {9781450385268},
title = {The Burden of Persuasion in Structured Argumentation},
booktitle = {ICAIL'21: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law},
editor = {Maranhão, Juliano and Wyner, Adam Zachary},
url = {https://dl.acm.org/doi/10.1145/3462757.3466078},
series = {ICAIL'21},
location = {São Paulo - Brazil}}
@InProceedings{bp-standardproof-clar2021,
author={Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
editor={Baroni, Pietro and Benzmüller, Christoph and Wáng, Yὶ N.},
title={Burdens of Persuasion and Standards of Proof in Structured Argumentation},
booktitle={Logic and Argumentation},
year=2021,
publisher={Springer International Publishing},
address={Cham},
pages={40--59},
doi={10.1007/978-3-030-89391-0_3},
isbn="978-3-030-89391-0"
}
author={Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
editor={Baroni, Pietro and Benzmüller, Christoph and Wáng, Yὶ N.},
title={Burdens of Persuasion and Standards of Proof in Structured Argumentation},
booktitle={Logic and Argumentation},
year=2021,
publisher={Springer International Publishing},
address={Cham},
pages={40--59},
doi={10.1007/978-3-030-89391-0_3},
isbn="978-3-030-89391-0"
}
@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
}
@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
}
@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{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
}
@inproceedings{lptech4mas-aamas2021,
acm = {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 = {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-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{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{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{calegari-jurix2020,
location = {Brno, Czech Republic},
Month = {9-11~} # dec,
booktitle = {Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference},
Series = {Frontiers in Artificial Intelligence and Applications},
editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr},
author = {Calegari, Roberta and Sartor, Giovanni},
title = {A Model for the Burden of Persuasion in Argumentation},
pages = {13-22},
doi = {10.3233/FAIA200845},
Volume = 334,
year=2020
}
location = {Brno, Czech Republic},
Month = {9-11~} # dec,
booktitle = {Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference},
Series = {Frontiers in Artificial Intelligence and Applications},
editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr},
author = {Calegari, Roberta and Sartor, Giovanni},
title = {A Model for the Burden of Persuasion in Argumentation},
pages = {13-22},
doi = {10.3233/FAIA200845},
Volume = 334,
year=2020
}
@inproceedings{calegari-ICLP2020,
author = {Calegari, Roberta and Sartor, Giovanni},
title = {Burden of Persuasion in Argumentation},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical Communications), {ICLP} 2020},
year = 2020,
keywords = {Burden of Proof; Argument Evaluation; Labelling Semantics; Legal Reasoning; Legal argument},
Month = {18--24~} # sep,
location = {Rende (CS), Italy},
editor = {Ricca, Francesco and Russo, Alessandra and Greco, Sergio and Leone, Nicola and Artikis, Alexander and Friedrich, Gerhard and Fodor, Paul and Kimmig, Angelika and Lisi, Francesca and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = 325,
publisher = {Open Publishing Association},
pages = {151--163},
doi = {10.4204/EPTCS.325.21}
}
author = {Calegari, Roberta and Sartor, Giovanni},
title = {Burden of Persuasion in Argumentation},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical Communications), {ICLP} 2020},
year = 2020,
keywords = {Burden of Proof; Argument Evaluation; Labelling Semantics; Legal Reasoning; Legal argument},
Month = {18--24~} # sep,
location = {Rende (CS), Italy},
editor = {Ricca, Francesco and Russo, Alessandra and Greco, Sergio and Leone, Nicola and Artikis, Alexander and Friedrich, Gerhard and Fodor, Paul and Kimmig, Angelika and Lisi, Francesca and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = 325,
publisher = {Open Publishing Association},
pages = {151--163},
doi = {10.4204/EPTCS.325.21}
}
@inproceedings{calegari-arg-jurix2020,
location = {Brno/Prague, Czech Republic},
Month = {9-11~} # dec,
booktitle = {Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference},
Series = {Frontiers in Artificial Intelligence and Applications},
editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr},
author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
title = {{A}rg-tu{P}rolog: a modular logic argumentation tool for {PIL}},
pages = {265-268},
doi = {10.3233/FAIA200880},
Volume = 334,
year=2020
}
location = {Brno/Prague, Czech Republic},
Month = {9-11~} # dec,
booktitle = {Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference},
Series = {Frontiers in Artificial Intelligence and Applications},
editor = {Villata, Serena and Harašta, Jakub and Křemen, Petr},
author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
title = {{A}rg-tu{P}rolog: a modular logic argumentation tool for {PIL}},
pages = {265-268},
doi = {10.3233/FAIA200880},
Volume = 334,
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{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
}
@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{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
}
@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{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
}
@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-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
}
@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
}
@Inbook{Calegari2018,
author="Calegari, Roberta
and Denti, Enrico",
editor="De Pietro, Giuseppe
and Gallo, Luigi
and Howlett, Robert J.
and Jain, Lakhmi C.",
title="Context Reasoning and Prediction in Smart Environments: The Home Manager Case",
bookTitle="Intelligent Interactive Multimedia Systems and Services 2017",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="451--460",
isbn="978-3-319-59480-4",
doi="10.1007/978-3-319-59480-4_45",
url="http://dx.doi.org/10.1007/978-3-319-59480-4_45",
note="Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017"
}
author="Calegari, Roberta
and Denti, Enrico",
editor="De Pietro, Giuseppe
and Gallo, Luigi
and Howlett, Robert J.
and Jain, Lakhmi C.",
title="Context Reasoning and Prediction in Smart Environments: The Home Manager Case",
bookTitle="Intelligent Interactive Multimedia Systems and Services 2017",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="451--460",
isbn="978-3-319-59480-4",
doi="10.1007/978-3-319-59480-4_45",
url="http://dx.doi.org/10.1007/978-3-319-59480-4_45",
note="Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017"
}
@inproceedings{insci2016-smartspace,
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
location = {Firenze, Italy},
booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
year = 2016,
keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
status = {Published},
venue_list = {--},
url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
month = {12-14 September},
series = {Lecture Notes in Computer Science},
eisbn = {978-3-319-45982-0},
issn = {0302-9743},
publisher = {Springer International Publishing},
author = {Calegari, Roberta and Denti, Enrico},
chapter = 26,
title = {The Butlers Framework for Socio-Technical Smart Spaces},
isbn = {978-3-319-45981-3},
note = {Accepted as a poster},
pages = {306-317},
venue_j = {Journals.Lncs},
volume = 9934,
numpages = 12,
wos = {000389030700026},
doi = {10.1007/978-3-319-45982-0 2}}
@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
}
@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{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
}
@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{homemanager-its2014,
Address = {Taipei, Taiwan},
author = {Denti, Enrico and Calegari, Roberta and Prandini, Marco},
title = {Extending a Smart Home Multi-Agent System with Role-Based Access Control},
Booktitle = {5th International Conference on Internet Technologies \& Society 2014 (ITS 2014)},
Editor = {Kommers, Piet and Issa, Tomayess and Chang, Dian-Fu and Isaías, Pedro},
Month = {10--12~} # dec,
Pages = {23-30},
Publisher = {IADIS Press},
ISBN = {978-989-8533-29-6},
Year = 2014,
Note = {Best Paper Award}
}
Address = {Taipei, Taiwan},
author = {Denti, Enrico and Calegari, Roberta and Prandini, Marco},
title = {Extending a Smart Home Multi-Agent System with Role-Based Access Control},
Booktitle = {5th International Conference on Internet Technologies \& Society 2014 (ITS 2014)},
Editor = {Kommers, Piet and Issa, Tomayess and Chang, Dian-Fu and Isaías, Pedro},
Month = {10--12~} # dec,
Pages = {23-30},
Publisher = {IADIS Press},
ISBN = {978-989-8533-29-6},
Year = 2014,
Note = {Best Paper Award}
}
@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}
@proceedings{proceedings-cilc2022,
address = {Bologna, Italy},
dblp = {conf/cilc/2022},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/899538},
issn = {1613-0073},
note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings},
numpages = 3,
publisher = {CEUR-WS},
scholar = {2685358200094686924},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic },
url = {http://ceur-ws.org/Vol-3204/},
volume = 3204,
year = 2022
}
address = {Bologna, Italy},
dblp = {conf/cilc/2022},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/899538},
issn = {1613-0073},
note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings},
numpages = 3,
publisher = {CEUR-WS},
scholar = {2685358200094686924},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic },
url = {http://ceur-ws.org/Vol-3204/},
volume = 3204,
year = 2022
}
@article{proceedings-iclpworkshops2022,
dblp = {conf/iclp/2022w},
editor = {Joaquín Arias and Calegari, Roberta and Luke Dickens and Wolfgang Faber and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily LeBlanc and Michael Morak and Elmer Salazar and Jessica Zangari},
issn = {1613-0073},
location = {Haifa, Israel},
month = {31 July – 1 August},
publisher = {CEUR-WS},
series = {CEUR Workshop Proceedings},
subtitle = {Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022)},
title = {ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops},
url = {https://ceur-ws.org/Vol-3193/},
volume = 3193,
year = 2022
}
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
}
@proceedings{proceedings-woa2021,
address = {Aachen, Germany},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/2021},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834360},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
pages = {II, 258},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From Objects to Agents},
url = {http://ceur-ws.org/Vol-2963/},
volume = 2963,
year = 2021
}
address = {Aachen, Germany},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblp = {conf/woa/2021},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834360},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
pages = {II, 258},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From Objects to Agents},
url = {http://ceur-ws.org/Vol-2963/},
volume = 2963,
year = 2021
}
@proceedings{proceedings-woa2020,
address = {Aachen, Germany},
booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
dblp = {conf/woa/2020},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781511},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
pages = {VII, 251},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From Objects to Agents},
url = {http://ceur-ws.org/Vol-2706/},
urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
dblp = {conf/woa/2020},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781511},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
pages = {VII, 251},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From Objects to Agents},
url = {http://ceur-ws.org/Vol-2706/},
urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
volume = 2706,
year = 2020
}
@article{sicilc22-jlc33,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
eissn = {1465-363X},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
month = dec,
number = 8,
numpages = 187,
pages = {1711--1897},
publisher = {Oxford University Press},
title = {Special Issue ``{C}omputational Logic on {P}rolog's 50th Anniversary: Highlights from {CILC 2022}''},
url = {https://academic.oup.com/logcom/issue/33/8#1795054-7190756},
volume = 33,
year = 2023
}
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
eissn = {1465-363X},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
month = dec,
number = 8,
numpages = 187,
pages = {1711--1897},
publisher = {Oxford University Press},
title = {Special Issue ``{C}omputational Logic on {P}rolog's 50th Anniversary: Highlights from {CILC 2022}''},
url = {https://academic.oup.com/logcom/issue/33/8#1795054-7190756},
volume = 33,
year = 2023
}
@article{woa2021specialissue-ia16,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
eissn = {2211-0097},
iris = {11585/890644},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
month = jul,
note = {Special Issue},
number = 1,
publisher = {IOS Press},
scholar = {14076350362719309270},
title = {Selected papers from the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
url = {https://content.iospress.com/articles/intelligenza-artificiale/ia161s1},
urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia161s1?id=intelligenza-artificiale%2Fia161s1},
volume = 16,
year = 2022
}
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
}
@article{preface-jlc33,
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
doi = {10.1093/logcom/exad031},
eissn = {1465-363X},
iris = {11585/951151},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
month = dec,
note = {Special Issue ``Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022''},
number = 8,
numpages = 1,
pages = {1711},
publisher = {Oxford University Press},
scholar = {2353304508513748358},
scopus = {2-s2.0-85180080592},
title = {Preface},
url = {https://academic.oup.com/logcom/article/33/8/1711/7190280},
volume = 33,
wos = {WOS:001003891800001},
year = 2023
}
author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
doi = {10.1093/logcom/exad031},
eissn = {1465-363X},
iris = {11585/951151},
issn = {0955-792X},
journal = {Journal of Logic and Computation},
month = dec,
note = {Special Issue ``Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022''},
number = 8,
numpages = 1,
pages = {1711},
publisher = {Oxford University Press},
scholar = {2353304508513748358},
scopus = {2-s2.0-85180080592},
title = {Preface},
url = {https://academic.oup.com/logcom/article/33/8/1711/7190280},
volume = 33,
wos = {WOS:001003891800001},
year = 2023
}
@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
}
@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
}
@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{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
}
— Prodotti
2P
LPaaS
Arg-tuProlog
— Eventi
WOA 2021
— Progetti
CompuLaw
— Associazioni
AIxIA
— Corsi
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers