Davide Fuscà

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 18

Top Topics

Satisfiability Modulo Theories

Answer Set Programming

Modular Ontologies

Top Venues

Publications

Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20 (2) (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)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Gener. Comput. 37 (1) (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)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR (2018)
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
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. PADL (2018)
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)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
A Framework for Easing the Development of Applications Embedding Answer Set Programming. CoRR (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11 (1) (2017)
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. RCRA@AI*IA (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
External Computations and Interoperability in the New DLV Grounder. AI*IA (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
A framework for easing the development of applications embedding answer set programming. PPDP (2016)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI*IA (2016)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
-dlv: The New Intelligent Grounder of dlv. AI*IA (2016)
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
Answer Set Programming and Declarative Problem Solving in Game AIs. PAI@AI*IA (2013)