ZANGARI, JESSICA

ZANGARI, JESSICA  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.025 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
The AI system DLV: Ontologies, reasoning, and more 1-gen-2018 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; 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
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
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