MORELLI, MARIA CONCETTA
MORELLI, MARIA CONCETTA
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.007 secondi).
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
2020-01-01 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; Manna, Marco
I-DLV-sr: A stream reasoning system based on I-DLV
2021-01-01 Calimeri, F.; Manna, M.; Mastria, E.; Morelli, M. C.; Perri, S.; Zangari, J.
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Comparison between Datalog-based Languages for Stream Reasoning | 1-gen-2022 | Leone, N.; Manna, M.; Morelli, M. C.; Perri, S. | |
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 | |
I-DLV-sr: A stream reasoning system based on I-DLV | 1-gen-2021 | Calimeri, F.; Manna, M.; Mastria, E.; Morelli, M. C.; Perri, S.; Zangari, J. | |
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. |