Sfoglia per Autore
Artificial Intelligence. ECAI 2023 International Workshops
2024-01-01 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
2024-01-01 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
2023-01-01 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
2023-01-01 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
2023-01-01 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
2023-01-01 Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio
Efficient compliance checking of RDF data
2023-01-01 Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023-01-01 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
Artificial Intelligence in Medicine: From Imaging to Omics
2023-01-01 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
2022-01-01 Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro
Taking stock of available technologies for compliance checking on first-order knowledge
2022-01-01 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)
2022-01-01 Calimeri, F.; Perri, S.; Zumpano, E.
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments
2022-01-01 Segato, Alice; Calimeri, Francesco; Testa, Irene; Corbetta, Valentina; Riva, Marco; Demomi, Elena
Role of Deep Learning for Smart Health Care
2022-01-01 Sherwani, M. K.; Aziz, A.; Calimeri, F.
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery
2022-01-01 Cafolla, D.; Calimeri, F.; Cao, H.; Russo, M.; Sappey-Marinier, D.; Zaffino, P.
Lesion segmentation in lung CT scans using unsupervised adversarial learning
2022-01-01 Sherwani, M. K.; Marzullo, A.; De Momi, E.; Calimeri, F.
AIM in Medical Informatics
2022-01-01 Bruno, Pierangela; Calimeri, Francesco; Greco, Gianluigi
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
2022-01-01 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
2022-01-01 Scarfone, M.; Bruno, P.; Calimeri, F.
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
2022-01-01 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
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 |
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