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
}
@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
}
@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