Sfoglia per Serie
Probabilistic Answers over Inconsistent Knowledge Bases
2020-01-01 Calautti, M.; Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, 08 November 2023
2023-01-01 Calimeri, Francesco; Dragoni, Mauro; Stella, Fabio
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), Torino, Italy, October 22, 2018
2019-01-01 Cuzzocrea, Alfredo Massimiliano; Bonchi, Francesco; Gunopulos, Dimitrios
Querying cultural heritage knowledge bases in natural language: Discussion paper
2019-01-01 Cuteri, B.; Reale, K.; Ricca, F.
Querying Data Exchange Settings beyond Positive Queries
2022-01-01 Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, G.; Leone, N.; Manna, M.
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Random models of very hard 2QBF and disjunctive programs: An overview
2018-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study
2018-01-01 Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
A reputation mechanism to support cooperation of IoT devices
2019-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.
Scheduling Periodic Treatments via Answer Set Programming
2023-01-01 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming
2021-01-01 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation
2018-01-01 Bruno, P.; Zaffino, P.; Scaramuzzino, S.; De Rosa, S.; Indolfi, C.; Calimeri, F.; Spadea, M. F.
A Sequence to Sequence Approach for Knowledge Base Relation Linking
2021-01-01 Barbara, Vito; Manuel, Borroto; Ricca, Francesco
Simple user assistance by data posting
2019-01-01 Masciari, E.; Sacca, D.; Trubitsyna, I.
A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions
2020-01-01 Argento, L.; Graziano, S.; Garro, A.; Guzzo, A.; Pasqua, F.; Sacca, D.
Smart applications for smart city: A contribution to innovation
2014-01-01 Citrigno, S.; Graziano, S.; Lupia, F.; Sacca, D.
Smart Data Exchange
2020-01-01 Greco, S.; Ianni, M.; Masciari, E.; Sacca, D.; Trubitsyna, I.
Some experiments on activity outlier detection
2021-01-01 Ianni, M.; Masciari, 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