ZANGARI, JESSICA

ZANGARI, JESSICA  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.018 secondi).
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 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-2017 Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica
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 -- [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