Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 148
Titolo Data di pubblicazione Autore(i) File
Artificial Intelligence. ECAI 2023 International Workshops 1-gen-2024 Nowaczyk, Sławomir; Biecek, Przemysław; Christopher Chung, Neo; Vallati, Mauro; Skruch, Paweł; Jaworek-Korjakowska, Joanna; Parkinson, Simon; Nikitas, Alexandros; Atzmüller, Martin; Kliegr, Tomáš; Schmid, Ute; Bobek, Szymon; Lavrac, Nada; Peeters, Marieke; van Dierendonck, Roland; Robben, Saskia; Mercier-Laurent, Eunika; Kayakutlu, Gülgün; Lech Owoc, Mieczyslaw; Mason, Karl; Wahid, Abdul; Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Terracina, Giorgio; Wolter, Diedrich; Leidner, Jochen L.; Kohlhase, Michael; Dimitrova, Vania
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 1-gen-2024 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 1-gen-2023 Robaldo, Livio; Batsakis, Sotiris; Calegari, Roberta; Calimeri, Francesco; Fujita, Megumi; Governatori, Guido; Morelli, MARIA CONCETTA; Pacenza, Francesco; Pisano, Giuseppe; Satoh, Ken; Tachmazidis, Ilias; Zangari, Jessica
Beyond rankings: Learning (more) from algorithm validation 1-gen-2023 Ross, T.; Bruno, P.; Reinke, A.; Wiesenfarth, M.; Koeppel, L.; Full, P. M.; Pekdemir, B.; Godau, P.; Trofimova, D.; Isensee, F.; Adler, T. J.; Tran, T. N.; Moccia, S.; Calimeri, F.; Muller-Stich, B. P.; Kopp-Schneider, A.; Maier-Hein, L.
Radiomics-Based Machine Learning Model for Predicting Overall and Progression-Free Survival in Rare Cancer: A Case Study for Primary CNS Lymphoma Patients 1-gen-2023 Destito, M.; Marzullo, A.; Leone, R.; Zaffino, P.; Steffanoni, S.; Erbella, F.; Calimeri, F.; Anzalone, N.; De Momi, E.; Ferreri, A. J. M.; Calimeri, T.; Spadea, M. F.
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 1-gen-2023 Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio
Efficient compliance checking of RDF data 1-gen-2023 Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 1-gen-2023 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
Artificial Intelligence in Medicine: From Imaging to Omics 1-gen-2023 Adornetto, Carlo; Bruno, Pierangela; Calimeri, Francesco; DE ROSE, Edoardo; Greco, Gianluigi
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022 1-gen-2022 Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro
Taking stock of available technologies for compliance checking on first-order knowledge 1-gen-2022 Robaldo, L.; Batsakis, S.; Calegari, R.; Calimeri, F.; Fujita, M.; Governatori, G.; Morelli, M. C.; Pisano, G.; Satoh, K.; Tachmazidis, I.
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 1-gen-2022 Calimeri, F.; Perri, S.; Zumpano, E.
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments 1-gen-2022 Segato, Alice; Calimeri, Francesco; Testa, Irene; Corbetta, Valentina; Riva, Marco; Demomi, Elena
Role of Deep Learning for Smart Health Care 1-gen-2022 Sherwani, M. K.; Aziz, A.; Calimeri, F.
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery 1-gen-2022 Cafolla, D.; Calimeri, F.; Cao, H.; Russo, M.; Sappey-Marinier, D.; Zaffino, P.
Lesion segmentation in lung CT scans using unsupervised adversarial learning 1-gen-2022 Sherwani, M. K.; Marzullo, A.; De Momi, E.; Calimeri, F.
AIM in Medical Informatics 1-gen-2022 Bruno, Pierangela; Calimeri, Francesco; Greco, Gianluigi
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 1-gen-2022 Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F.
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images 1-gen-2022 Scarfone, M.; Bruno, P.; Calimeri, F.
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 1-gen-2022 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
Mostrati risultati da 1 a 20 di 148
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