Roberta Costabile

According to our database, Roberta Costabile authored at least 8 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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, Maria Concetta Morelli, Nicola Leone, Marco Manna

Theory Pract. Log. Program., 2020

2019

Querying Large Expressive Horn Ontologies.

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

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Enhancing DLV for Large-Scale Reasoning.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Memory-Saving Evaluation Plans for Datalog.

Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Large-Scale Reasoning on Expressive Horn Ontologies.

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

Proceedings of the Datalog 2.0 2019, 2019

Large Scale DLV: Preliminary Results.

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

Proceedings of the 34th Italian Conference on Computational Logic, 2019

An ASP-based Approach for Optimizing DLV Evaluation.

Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Reasoning over Ontologies with DLV.

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

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018