Sfoglia per Serie
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.
Two applications of concept refinement
2017-01-01 Confalonieri, R.; Troquard, N.; Galliani, P.; Kutz, O.; Penaloza, R.; Porello, D.
Two Introductory Data-driven Activities for Secondary Schools
2023-01-01 Guerrini, G.; Traversaro, D.
UAV teams in emergency scenarios: A summary of the work within the project PRISMA
2015-01-01 Recchiuto, C.; Sgorbissa, A.; Wanderlingh, F.; Zaccaria, R.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Two applications of concept refinement | 1-gen-2017 | Confalonieri, R.; Troquard, N.; Galliani, P.; Kutz, O.; Penaloza, R.; Porello, D. | |
Two Introductory Data-driven Activities for Secondary Schools | 1-gen-2023 | Guerrini, G.; Traversaro, D. | |
UAV teams in emergency scenarios: A summary of the work within the project PRISMA | 1-gen-2015 | Recchiuto, C.; Sgorbissa, A.; Wanderlingh, F.; Zaccaria, R. |
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