Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Armando TACCHELLA"'
Publikováno v:
Italian Journal of Educational Technology (2022)
Universities often carry out initiatives to assist upper secondary students in their choice of university faculties and courses. However, most of such initiatives are transmissive, and do not offer students hands-on experiences or opportunities for p
Externí odkaz:
https://doaj.org/article/ac0fed90565b442cbb24bca53b5953cf
Autor:
Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale
Publikováno v:
IEEE Robotics and Automation Letters. 8:2930-2937
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ad4cc498169f1c32f77c970c8925f79
https://doi.org/10.1109/lra.2023.3263368
https://doi.org/10.1109/lra.2023.3263368
Autor:
Luca Oneto, Nicoló Navarin, Battista Biggio, Federico Errica, Alessio Micheli, Franco Scarselli, Monica Bianchini, Luca Demetrio, Pietro Bongini, Armando Tacchella, Alessandro Sperduti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::425b654b7e66ad756ea66cff54065a0b
http://hdl.handle.net/11365/1202864
http://hdl.handle.net/11365/1202864
Publikováno v:
Cognitive Systems Research. 58:230-233
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::779bc06cee101db4ba910fc8bd1bb521
https://doi.org/10.1016/j.cogsys.2019.07.006
https://doi.org/10.1016/j.cogsys.2019.07.006
Publikováno v:
ECMS
Scopus-Elsevier
Scopus-Elsevier
We investigate the application of methodologies for the analysis of complex networks to understand the properties of systems of systems in a cybersecurity context. We are interested to resilience and attribution: the first relates to the behavior of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d2eb091b0e3cde445f40f022401b4b3
https://doi.org/10.7148/2021-0260
https://doi.org/10.7148/2021-0260
Autor:
Roberto Sebastiani, Armando Tacchella
Publikováno v:
Frontiers in Artificial Intelligence and Applications
In the last two decades, modal and description logics have provided a theoretical framework for important applications in many areas of computer science. For this reason, the problem of automated reasoning in modal and description logics has been tho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91f7ee7c910f188703ee5865056032f8
https://doi.org/10.3233/faia201016
https://doi.org/10.3233/faia201016
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA
ATVA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9a5644394715273ab60a8aab20dffc9
https://doi.org/10.1007/978-3-030-88885-5_23
https://doi.org/10.1007/978-3-030-88885-5_23
Autor:
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
In this paper, we enable automated property verification of deliberative components in robot control architectures. We focus on formalizing the execution context of Behavior Trees (BTs) to provide a scalable, yet formally grounded, methodology to ena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a5b87a98ef9093f39a2c174e7afa8a4
https://hdl.handle.net/11567/1094839
https://hdl.handle.net/11567/1094839
Publikováno v:
AIxIA 2021 – Advances in Artificial Intelligence ISBN: 9783031084201
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfea61f907e65e2f42cb064a58f0c62c
https://hdl.handle.net/11567/1094836
https://hdl.handle.net/11567/1094836