COSTABILE, ROBERTA

COSTABILE, ROBERTA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 1-gen-2020 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; Manna, Marco
Enhancing DLV for Large-Scale Reasoning 1-gen-2019 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Large Scale DLV: Preliminary Results 1-gen-2019 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies 1-gen-2019 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Memory-Saving Evaluation Plans for Datalog 1-gen-2019 Allocca, C.; Costabile, R.; Fiorentino, A.; Perri, S.; Zangari, J.
Querying large expressive horn ontologies 1-gen-2019 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.
Reasoning over Ontologies with DLV 1-gen-2020 Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.