FUSCA', DAVIDE
FUSCA', DAVIDE
Dipartimento di Matematica e Informatica
Answer set programming and declarative problem solving in game AIs
2013-01-01 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
Enhancing DLV for Large-Scale Reasoning
2019-01-01 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
External computations and interoperability in the new DLV grounder
2017-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework
2019-01-01 Calimeri, Francesco; Fuscà, Davide; Germano, Stefano; Perri, Simona; Zangari, Jessica
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
I-DLV: The new intelligent grounder of DLV
2017-01-01 Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica
I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016]
2017-01-01 Calimeri, Francesco; Fusca', Davide; Perri, S; Zangari, Jessica
Large Scale DLV: Preliminary Results
2019-01-01 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies
2019-01-01 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Optimizing answer set computation via heuristic-based decomposition
2018-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Reasoning over Ontologies with DLV
2020-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
The ASP System DLV2
2017-01-01 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
The ASP System DLV: Advancements and Applications
2018-01-01 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Answer set programming and declarative problem solving in game AIs | 1-gen-2013 | Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona | |
| Enhancing DLV for Large-Scale Reasoning | 1-gen-2019 | Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
| External computations and interoperability in the new DLV grounder | 1-gen-2017 | Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica | |
| Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework | 1-gen-2019 | Calimeri, Francesco; Fuscà, Davide; Germano, Stefano; Perri, Simona; Zangari, Jessica | |
| I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector | 1-gen-2017 | Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J. | |
| I-DLV: The new intelligent grounder of DLV | 1-gen-2017 | Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica | |
| I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016] | 1-gen-2017 | Calimeri, Francesco; Fusca', Davide; Perri, S; Zangari, Jessica | |
| Large Scale DLV: Preliminary Results | 1-gen-2019 | Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
| Large-scale reasoning on expressive horn ontologies | 1-gen-2019 | Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
| Optimizing answer set computation via heuristic-based decomposition | 1-gen-2018 | Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica | |
| Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
| Reasoning over Ontologies with DLV | 1-gen-2020 | Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
| The ASP System DLV2 | 1-gen-2017 | Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J. | |
| The ASP System DLV: Advancements and Applications | 1-gen-2018 | Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica |