Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
I-DLV-sr: A Stream Reasoning System based on I-DLV
Francesco Calimeri, Marco Manna, Elena Mastria +3
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 s…
cs.AI2020
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 +3
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. In…