Per anno
@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 }
@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 }
@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 }
@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}
@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}}
@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" }
@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 }
— 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