Per Sort
@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{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{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{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{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{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{labelledlp-fi161,
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
@article{lpaas-bdcc2,
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
@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{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
}
— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers