Sfoglia per Serie
Probabilistic Bounds on Complexity of Networks Computing Binary Classification Tasks
2018-01-01 Kurkova, Vera; Sanguineti, Marcello
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), Harrachov, Czech Republic, January 23-28, 2016
2016-01-01 Freivalds, Rusins Martins; Engels, Gregor; Catania, Barbara; Spánek, Roman; Rimnac, Martin
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2016)
2016-01-01 Finzi, Alberto; Farinelli, Alessandro; Mastrogiovanni, Fulvio
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.
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