Sfoglia per Serie
Argumentation meets Process Mining: An architecture for log interpretation
2021-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.; Pontieri, L.
Artificial Intelligence in Medicine: From Imaging to Omics
2023-01-01 Adornetto, Carlo; Bruno, Pierangela; Calimeri, Francesco; DE ROSE, Edoardo; Greco, Gianluigi
An ASP based solution for operating room scheduling with surgical teams in hospital environments
2020-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
An ASP-based solution to the Operating Room Scheduling with care units
2021-01-01 Galata, G.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.
Augmented reality for the enhancement of archaeological heritage: A Calabrian experience
2019-01-01 Berlino, A.; Caroprese, L.; La Marca, A.; Vocaturo, E.; Zumpano, E.
Case studies for a new IoT programming paradigm: Fluidware
2019-01-01 Mariani, S.; Casadei, R.; Fornari, F.; Fortino, G.; Pianini, D.; Re, B.; Russo, W.; Savaglio, C.; Viroli, M.; Zambonelli, F.
Characterizing Nexus of Similarity between Entities
2023-01-01 Agresta, G.; Amendola, G.; Cofone, P.; Manna, M.; Ricioppo, A.
Chemotherapy treatment scheduling via answer set programming
2020-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Combining Semantic Web search with the power of inductive reasoning
2009-01-01 D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Compilation of aggregates in ASP: Preliminary results
2020-01-01 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
Compilation of ASP programs: Recent developments
2023-01-01 Dodaro, C.; Mazzotta, G.; Ricca, F.
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
A compiler for stratified Datalog programs: preliminary results
2017-01-01 Cuteri, Bernardo; Ricca, Francesco
Computational strategies for trust-aware abstract argumentation frameworks
2020-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.
Compute Paracoherent Answer Sets via Saturation
2018-01-01 Ricca, Francesco
Computing extensions’ probabilities over probabilistic bipolar abstract argumentation frameworks
2019-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.; Scala, F.
Computing modular paracoherent answer sets: Preliminary result
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Confortation: about a new qualitative category for analyzing biomedical texts
2009-01-01 Amardeilh, F.; Battistelli, D.; Folino, A.; Geretto, P.; Kuznik, L.; Minel, J.
Continual Learning for medical image classification
2022-01-01 Quarta, A.; Bruno, P.; Calimeri, F.
Debugging of answer set programs using paracoherent reasoning
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Argumentation meets Process Mining: An architecture for log interpretation | 1-gen-2021 | Fazzinga, B.; Flesca, S.; Furfaro, F.; Pontieri, L. | |
| Artificial Intelligence in Medicine: From Imaging to Omics | 1-gen-2023 | Adornetto, Carlo; Bruno, Pierangela; Calimeri, Francesco; DE ROSE, Edoardo; Greco, Gianluigi | |
| An ASP based solution for operating room scheduling with surgical teams in hospital environments | 1-gen-2020 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. | |
| An ASP-based solution to the Operating Room Scheduling with care units | 1-gen-2021 | Galata, G.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I. | |
| Augmented reality for the enhancement of archaeological heritage: A Calabrian experience | 1-gen-2019 | Berlino, A.; Caroprese, L.; La Marca, A.; Vocaturo, E.; Zumpano, E. | |
| Case studies for a new IoT programming paradigm: Fluidware | 1-gen-2019 | Mariani, S.; Casadei, R.; Fornari, F.; Fortino, G.; Pianini, D.; Re, B.; Russo, W.; Savaglio, C.; Viroli, M.; Zambonelli, F. | |
| Characterizing Nexus of Similarity between Entities | 1-gen-2023 | Agresta, G.; Amendola, G.; Cofone, P.; Manna, M.; Ricioppo, A. | |
| Chemotherapy treatment scheduling via answer set programming | 1-gen-2020 | Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
| Combining Semantic Web search with the power of inductive reasoning | 1-gen-2009 | D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T. | |
| Compilation of aggregates in ASP: Preliminary results | 1-gen-2020 | Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F. | |
| Compilation of ASP programs: Recent developments | 1-gen-2023 | Dodaro, C.; Mazzotta, G.; Ricca, F. | |
| Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics | 1-gen-2023 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| A compiler for stratified Datalog programs: preliminary results | 1-gen-2017 | Cuteri, Bernardo; Ricca, Francesco | |
| Computational strategies for trust-aware abstract argumentation frameworks | 1-gen-2020 | Fazzinga, B.; Flesca, S.; Furfaro, F. | |
| Compute Paracoherent Answer Sets via Saturation | 1-gen-2018 | Ricca, Francesco | |
| Computing extensions’ probabilities over probabilistic bipolar abstract argumentation frameworks | 1-gen-2019 | Fazzinga, B.; Flesca, S.; Furfaro, F.; Scala, F. | |
| Computing modular paracoherent answer sets: Preliminary result | 1-gen-2019 | Cuteri, B.; Dodaro, C.; Ricca, F. | |
| Confortation: about a new qualitative category for analyzing biomedical texts | 1-gen-2009 | Amardeilh, F.; Battistelli, D.; Folino, A.; Geretto, P.; Kuznik, L.; Minel, J. | |
| Continual Learning for medical image classification | 1-gen-2022 | Quarta, A.; Bruno, P.; Calimeri, F. | |
| Debugging of answer set programs using paracoherent reasoning | 1-gen-2019 | Cuteri, B.; Dodaro, C.; Ricca, F. |
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