Per Year
@article{2pkt-swx16,
articleno = 100817,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/softx/CiattoCO21},
doi = {10.1016/j.softx.2021.100817},
iris = {11585/834368},
issn = {2352-7110},
journal = {SoftwareX},
keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
month = dec,
numpages = 7,
pages = {100817:1--100817:7},
publisher = {Elsevier B.V.},
scholar = {11747595476298173121},
scopus = {2-s2.0-85122782224},
semanticscholar = {244208338},
title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf},
urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf},
volume = 16,
wos = {000706078900005},
year = 2021
}
articleno = 100817,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
dblp = {journals/softx/CiattoCO21},
doi = {10.1016/j.softx.2021.100817},
iris = {11585/834368},
issn = {2352-7110},
journal = {SoftwareX},
keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
month = dec,
numpages = 7,
pages = {100817:1--100817:7},
publisher = {Elsevier B.V.},
scholar = {11747595476298173121},
scopus = {2-s2.0-85122782224},
semanticscholar = {244208338},
title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf},
urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf},
volume = 16,
wos = {000706078900005},
year = 2021
}
@incollection{2pkt-jelia2021,
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
dblp = {conf/jelia/CiattoCO21},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
iris = {11585/838787},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
numpages = 14,
pages = {407--420},
publisher = {Springer},
scholar = {10383616383578677634},
scopus = {2-s2.0-85111134199},
semanticscholar = {234475670},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
volume = 12678,
year = 2021
}
author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {Logics in Artificial Intelligence},
dblp = {conf/jelia/CiattoCO21},
doi = {10.1007/978-3-030-75775-5_27},
editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
iris = {11585/838787},
keywords = {Prolog; Stream processing; 2P-Kt; State machine},
note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
numpages = 14,
pages = {407--420},
publisher = {Springer},
scholar = {10383616383578677634},
scopus = {2-s2.0-85111134199},
semanticscholar = {234475670},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of \textsf{2}{P}-\textsc{Kt}},
url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_27.pdf},
volume = 12678,
year = 2021
}
@incollection{xaiethics-aiia2020,
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {AIxIA 2020 -- Advances in Artificial Intelligence},
chapter = 2,
dblp = {conf/aiia/CalegariOS20a},
doi = {10.1007/978-3-030-73065-9_2},
editor = {Baldoni, Matteo and Bandini, Stefania},
eisbn = {978-3-030-77091-4},
eissn = {1611-3349},
iris = {11585/838789},
isbn = {978-3-030-77090-7},
issn = {0302-9743},
keywords = {explainable AI · ethical AI · argumentation · logic programming · abduction · probabilistic LP · inductive LP},
numpages = 18,
pages = {19--36},
publisher = {Springer Nature},
scholar = {13475146938124131264},
scopus = {2-s2.0-85111351072},
series = {Lecture Notes in Computer Science},
title = {Explainable and Ethical {AI}: A Perspective on Argumentation and Logic Programming},
url = {http://link.springer.com/10.1007/978-3-030-77091-4_2},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-77091-4_2.pdf},
volume = 12414,
wos = {000886994000002},
year = 2021
}
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {AIxIA 2020 -- Advances in Artificial Intelligence},
chapter = 2,
dblp = {conf/aiia/CalegariOS20a},
doi = {10.1007/978-3-030-73065-9_2},
editor = {Baldoni, Matteo and Bandini, Stefania},
eisbn = {978-3-030-77091-4},
eissn = {1611-3349},
iris = {11585/838789},
isbn = {978-3-030-77090-7},
issn = {0302-9743},
keywords = {explainable AI · ethical AI · argumentation · logic programming · abduction · probabilistic LP · inductive LP},
numpages = 18,
pages = {19--36},
publisher = {Springer Nature},
scholar = {13475146938124131264},
scopus = {2-s2.0-85111351072},
series = {Lecture Notes in Computer Science},
title = {Explainable and Ethical {AI}: A Perspective on Argumentation and Logic Programming},
url = {http://link.springer.com/10.1007/978-3-030-77091-4_2},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-77091-4_2.pdf},
volume = 12414,
wos = {000886994000002},
year = 2021
}
@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}
@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"
}
@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
}
— 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