A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
COSTABILE, ROBERTA, CATALANO, GELSOMINA, CUTERI, BERNARDO, CONCETTA MORELLI, MARIA, LEONE, NICOLA, MANNA, MARCO
Published in Theory and practice of logic programming (01.11.2020)
Published in Theory and practice of logic programming (01.11.2020)
Get full text
Journal Article
Enhancing DLV for Large-Scale Reasoning
Leone, Nicola, Allocca, Carlo, Alviano, Mario, Calimeri, Francesco, Civili, Cristina, Costabile, Roberta, Fiorentino, Alessio, Fuscà, Davide, Germano, Stefano, Laboccetta, Giovanni, Cuteri, Bernardo, Manna, Marco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica
Published in Logic Programming and Nonmonotonic Reasoning
Published in Logic Programming and Nonmonotonic Reasoning
Get full text
Book Chapter
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Costabile, Roberta, Catalano, Gelsomina, Cuteri, Bernardo, Morelli, Maria Concetta, Leone, Nicola, Manna, Marco
Year of Publication 06.08.2020
Year of Publication 06.08.2020
Get full text
Journal Article