ZANGARI, JESSICA
ZANGARI, JESSICA
Dipartimento di Matematica e Informatica
A framework for easing the development of applications embedding answer set programming
2016-01-01 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
A machine learning guided rewriting approach for asp logic programs
2020-01-01 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
Answer set programming and declarative problem solving in game AIs
2013-01-01 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023-01-01 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
2022-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
2016-01-01 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries
2020-01-01 Fiorentino, A.; Zangari, J.; Manna, M.
Efficiently Coupling the I-DLV Grounder with ASP Solvers
2018-01-01 Calimeri, F.; Dodaro, C.; Fusca, D.; Perri, S.; Zangari, J.
Embedding ASP in mobile systems: discussion and preliminary implementations
2015-01-01 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
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.
Enhancing Magic Sets with an Application to Ontological Reasoning
2019-01-01 Alviano, M.; Leone, N.; Veltri, P.; Zangari, J.
External computations and interoperability in the new DLV grounder
2017-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
First Steps towards Reasoning on Big Data with DLV
2018-01-01 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; 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
How Modern Deductive Database Systems Can Enhance Data Integration
2018-01-01 Calimeri, F.; Perri, Simona; Terracina, G.; Zangari, J.
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
I-DLV-sr: A stream reasoning system based on I-DLV
2021-01-01 Calimeri, F.; Manna, M.; Mastria, E.; Morelli, M. C.; Perri, S.; Zangari, J.
I-DLV: The new intelligent grounder of DLV
2016-01-01 Calimeri, Francesco; Fuscà, D; Perri, Simona; Zangari, J.
I-DLV: The new intelligent grounder of DLV
2017-01-01 Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A framework for easing the development of applications embedding answer set programming | 1-gen-2016 | Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona | |
| A machine learning guided rewriting approach for asp logic programs | 1-gen-2020 | Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F. | |
| An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
| Answer set programming and declarative problem solving in game AIs | 1-gen-2013 | Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona | |
| ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications | 1-gen-2023 | Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J | |
| ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding | 1-gen-2022 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J. | |
| Boosting the Development of ASP-Based Applications in Mobile and General Scenarios | 1-gen-2016 | Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J. | |
| Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries | 1-gen-2020 | Fiorentino, A.; Zangari, J.; Manna, M. | |
| Efficiently Coupling the I-DLV Grounder with ASP Solvers | 1-gen-2018 | Calimeri, F.; Dodaro, C.; Fusca, D.; Perri, S.; Zangari, J. | |
| Embedding ASP in mobile systems: discussion and preliminary implementations | 1-gen-2015 | Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J. | |
| 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. | |
| Enhancing Magic Sets with an Application to Ontological Reasoning | 1-gen-2019 | Alviano, M.; Leone, N.; Veltri, P.; Zangari, J. | |
| External computations and interoperability in the new DLV grounder | 1-gen-2017 | Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica | |
| First Steps towards Reasoning on Big Data with DLV | 1-gen-2018 | Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; 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 | |
| How Modern Deductive Database Systems Can Enhance Data Integration | 1-gen-2018 | Calimeri, F.; Perri, Simona; Terracina, G.; Zangari, J. | |
| I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector | 1-gen-2017 | Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J. | |
| I-DLV-sr: A stream reasoning system based on I-DLV | 1-gen-2021 | Calimeri, F.; Manna, M.; Mastria, E.; Morelli, M. C.; Perri, S.; Zangari, J. | |
| I-DLV: The new intelligent grounder of DLV | 1-gen-2016 | Calimeri, Francesco; Fuscà, D; Perri, Simona; Zangari, J. | |
| I-DLV: The new intelligent grounder of DLV | 1-gen-2017 | Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica |