Maria Concetta Morelli

Orcid: 0000-0003-4211-6928

According to our database1, Maria Concetta Morelli authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law, June, 2024

2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR, 2022

A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

Taking stock of available technologies for compliance checking on first-order knowledge.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021
I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program., 2021

2020
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
Theory Pract. Log. Program., 2020


  Loading...