Maria Concetta Morelli

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Nicola Leone, Marco Manna, Roberta Costabile, 2020, Theory Pract. Log. Program..

I-DLV-sr: A Stream Reasoning System based on I-DLV pdf

Marco Manna, Simona Perri, Jessica Zangari, 2021, Theory and Practice of Logic Programming.

Taking stock of available technologies for compliance checking on first-order knowledge

Maria Concetta Morelli, L. Robaldo, Francesco Calimeri, 2022, CILC.

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies

Maria Concetta Morelli, L. Robaldo, Francesco Calimeri, 2023, Artificial Intelligence and Law.

A Formal Comparison between Datalog-based Languages for Stream Reasoning

Maria Concetta Morelli, N. Leone, S. Perri, 2022, Datalog.