A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. - Roberta Costabile; Gelsomina Catalano; Bernardo Cuteri; Maria Concetta Morelli; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2020)

I-DLV-sr: A Stream Reasoning System based on I-DLV. - Francesco Calimeri; Marco Manna; Elena Mastria; Maria Concetta Morelli; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2021)

Taking stock of available technologies for compliance checking on first-order knowledge. - Livio Robaldo; Sotiris Batsakis; Roberta Calegari; Francesco Calimeri; Megumi Fujita; Guido Governatori; Maria Concetta Morelli; Giuseppe Pisano; Ken Satoh; Ilias Tachmazidis (CILC, 2022)

A Formal Comparison between Datalog-based Languages for Stream Reasoning. - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (Datalog, 2022)

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (CoRR, 2022)

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. - Livio Robaldo; Sotiris Batsakis; Roberta Calegari; Francesco Calimeri; Megumi Fujita; Guido Governatori; Maria Concetta Morelli; Francesco Pacenza; Giuseppe Pisano; Ken Satoh; Ilias Tachmazidis; Jessica Zangari (Artif. Intell. Law, 2024)