Sfoglia per Serie
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2017)
2017-01-01 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2018)
2018-01-01 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015
2015-01-01 Odile, Papini; Salem, Benferhat; Laurent, Garcia; Marie-Laure, Mugnier; Eduardo L., Fermé; Thomas, Meyer; Renata, Wassermann; Torsten, Hahmann; Ken, Baclawski; Adila, Krisnadhi; Pavel, Klinov; Stefano, Borgo; Oliver, Kutz; Porello, D
Recurring retrieval needs in diverse and dynamic dataspaces: Issues and reference framework
2017-01-01 Catania, Barbara; DE FINO, Francesco; Guerrini, Giovanna
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond
2018-01-01 Ferrando, A.
A semantic framework for adaptive web-based systems
2005-01-01 Carmagnola, F.; Cena, F.; Gena, C.; Torre, I.
A simple proof-theoretic characterization of Stable Models
2023-01-01 Giunchiglia, Enrico; Maratea, M.; Mochi, M.
The cost of context repair: Presupposition accomodation
2017-01-01 Di Paola, Simona; Domaneschi, Filippo
Timed trace expressions
2019-01-01 Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
2022-01-01 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
Towards a first-order modal formalisation of the unified foundational ontology
2017-01-01 Porello, D.; Guizzardi, G.
Towards a reference ontology of money: Monetary objects, currencies and related concepts
2020-01-01 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.; Guarino, N.
Towards an ontological core for cognitively justified robots
2022-01-01 Borgo, S.; Ferrario, R.; Masolo, C.; Porello, D.
Towards even more irresistible axiom weakening
2020-01-01 Confalonieri, R.; Galliani, P.; Kutz, O.; Porello, D.; Righetti, G.; Troquard, N.
Towards multi-robot task-motion planning for navigation in belief space
2020-01-01 Thomas, A.; Mastrogiovanni, F.; Baglietto, M.
Towards the Internet of Safe and Intelligent Postal+ Things
2019-01-01 Ancona, M.; Mascardi, V.; Noceti, N.; Odone, F.; Ahsen, W.; Scribellito, A.
Tracing and preventing sharing and mutation
2019-01-01 Giannini, P.; Servetto, M.; Zucca, E.
Transcultural Health-Aware Guides for the Elderly
2020-01-01 Bordini, Rafael H.; Mascardi, Viviana; Costantini, Stefania; El Fallah Seghrouchni, Amal; Lespérance, Yves; Ricci, Alessandro
Trust Metrics for Task Assignment in Cooperative Teams of Robots
2022-01-01 Grillo, A.; Recchiuto, Carmine; Carpin, Stefano; Sgorbissa, Antonio
Trustworthy AI in Video Surveillance: The IMMAGINA Project
2023-01-01 Ledda, E.; Putzu, L.; Delussu, R.; Fumera, G.; Roli, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2017) | 1-gen-2017 | Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio | |
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2018) | 1-gen-2018 | Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio | |
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 | 1-gen-2015 | Odile, Papini; Salem, Benferhat; Laurent, Garcia; Marie-Laure, Mugnier; Eduardo L., Fermé; Thomas, Meyer; Renata, Wassermann; Torsten, Hahmann; Ken, Baclawski; Adila, Krisnadhi; Pavel, Klinov; Stefano, Borgo; Oliver, Kutz; Porello, D | |
Recurring retrieval needs in diverse and dynamic dataspaces: Issues and reference framework | 1-gen-2017 | Catania, Barbara; DE FINO, Francesco; Guerrini, Giovanna | |
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond | 1-gen-2018 | Ferrando, A. | |
A semantic framework for adaptive web-based systems | 1-gen-2005 | Carmagnola, F.; Cena, F.; Gena, C.; Torre, I. | |
A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, M. | |
The cost of context repair: Presupposition accomodation | 1-gen-2017 | Di Paola, Simona; Domaneschi, Filippo | |
Timed trace expressions | 1-gen-2019 | Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V. | |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. | 1-gen-2022 | Dodaro, Carmine; Maratea, Marco; Riccio, Francesco | |
Towards a first-order modal formalisation of the unified foundational ontology | 1-gen-2017 | Porello, D.; Guizzardi, G. | |
Towards a reference ontology of money: Monetary objects, currencies and related concepts | 1-gen-2020 | Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.; Guarino, N. | |
Towards an ontological core for cognitively justified robots | 1-gen-2022 | Borgo, S.; Ferrario, R.; Masolo, C.; Porello, D. | |
Towards even more irresistible axiom weakening | 1-gen-2020 | Confalonieri, R.; Galliani, P.; Kutz, O.; Porello, D.; Righetti, G.; Troquard, N. | |
Towards multi-robot task-motion planning for navigation in belief space | 1-gen-2020 | Thomas, A.; Mastrogiovanni, F.; Baglietto, M. | |
Towards the Internet of Safe and Intelligent Postal+ Things | 1-gen-2019 | Ancona, M.; Mascardi, V.; Noceti, N.; Odone, F.; Ahsen, W.; Scribellito, A. | |
Tracing and preventing sharing and mutation | 1-gen-2019 | Giannini, P.; Servetto, M.; Zucca, E. | |
Transcultural Health-Aware Guides for the Elderly | 1-gen-2020 | Bordini, Rafael H.; Mascardi, Viviana; Costantini, Stefania; El Fallah Seghrouchni, Amal; Lespérance, Yves; Ricci, Alessandro | |
Trust Metrics for Task Assignment in Cooperative Teams of Robots | 1-gen-2022 | Grillo, A.; Recchiuto, Carmine; Carpin, Stefano; Sgorbissa, Antonio | |
Trustworthy AI in Video Surveillance: The IMMAGINA Project | 1-gen-2023 | Ledda, E.; Putzu, L.; Delussu, R.; Fumera, G.; Roli, F. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile