I-DLV-sr: a stream reasoning system based on I-DLV F Calimeri, M Manna, E Mastria, MC Morelli, S Perri, J Zangari Theory and Practice of Logic Programming 21 (5), 610-628, 2021 | 12 | 2021 |
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies L Robaldo, S Batsakis, R Calegari, F Calimeri, M Fujita, G Governatori, ... Artificial Intelligence and Law, 1-51, 2023 | 8 | 2023 |
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification R Costabile, G Catalano, B Cuteri, MC Morelli, N Leone, M Manna Theory and Practice of Logic Programming 20 (6), 864-879, 2020 | 5 | 2020 |
Taking stock of available technologies for compliance checking on first-order knowledge L Robaldo, S Batsakis, R Calegari, F Calimeri, M Fujita, G Governatori, ... | 3 | 2022 |
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version) N Leone, M Manna, MC Morelli, S Perri arXiv preprint arXiv:2208.12726, 2022 | | 2022 |
A Formal Comparison between Datalog-based Languages for Stream Reasoning. N Leone, M Manna, MC Morelli, S Perri Datalog, 151-165, 2022 | | 2022 |