Davide Fuscà

According to our database, Davide Fuscà authored at least 18 papers between 2013 and 2020.

Collaborative distances:

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

2020

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2020

2019

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

New Gener. Comput., 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

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

2018

The ASP System DLV: Advancements and Applications.

Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Künstliche Intell., 2018

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 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

2017

I-DLV: The new intelligent grounder of DLV.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Intelligenza Artificiale, 2017

A Framework for Easing the Development of Applications Embedding Answer Set Programming.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

CoRR, 2017

The ASP System DLV2.

Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.

Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

External Computations and Interoperability in the New DLV Grounder.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

A framework for easing the development of applications embedding answer set programming.

Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

<i>I</i> -dlv: The New Intelligent Grounder of dlv.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2013

Answer Set Programming and Declarative Problem Solving in Game AIs.

Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013