MORELLI, MARIA CONCETTA
MORELLI, MARIA CONCETTA
Dipartimento di Matematica e Informatica
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
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
2024-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
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 | |
| Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies | 1-gen-2024 | 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 | |
| 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. |