Roberta Costabile

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 9

Top Topics

Logical Reasoning

Knowledge Representation

Maximal Tractable

Decision Support

Top Venues

Publications

Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. CoRR (2020)
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Theory Pract. Log. Program. 20 (6) (2020)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
Memory-Saving Evaluation Plans for Datalog. JELIA (2019)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Reasoning over Ontologies with DLV. IC3K (2018)