Search Results for author:
Found 3 papers, 1 papers with code
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language of the recent extension of the I-DLV system for stream reasoning called I-DLV-sr.
I-DLV-sr: A Stream Reasoning System based on I-DLV
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV system.
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes.
