Davide Fuscà

18 papers B 2C 3Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2020 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program.
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
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
2019 J jnl
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput.
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
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
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
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
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
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
2018 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
CoRR
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2018 C conf
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
PADL
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
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
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
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
2017 J jnl
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2017 — conf
External Computations and Interoperability in the New DLV Grounder.
AI*IA
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 — conf
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.
RCRA@AI*IA
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
2017 J jnl
I-DLV: The new intelligent grounder of DLV.
Intelligenza Artificiale
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 C conf
A framework for easing the development of applications embedding answer set programming.
PPDP
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
2016 — conf
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.
AI*IA
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2013 — conf
Answer Set Programming and Declarative Problem Solving in Game AIs.
PAI@AI*IA
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri