Picture for Maria Concetta Morelli

Maria Concetta Morelli

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Add code
Aug 26, 2022
Figure 1 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Figure 2 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Viaarxiv icon

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

Add code
Aug 05, 2021
Figure 1 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 2 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 3 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 4 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Viaarxiv icon

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

Add code
Aug 06, 2020
Figure 1 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 2 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 3 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 4 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Viaarxiv icon