MORELLI, MARIA CONCETTA

MORELLI, MARIA CONCETTA  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
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.