ZANGARI, JESSICA

ZANGARI, JESSICA  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.029 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 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.
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 1-gen-2023 Robaldo, Livio; Batsakis, Sotiris; Calegari, Roberta; Calimeri, Francesco; Fujita, Megumi; Governatori, Guido; Morelli, MARIA CONCETTA; Pacenza, Francesco; Pisano, Giuseppe; Satoh, Ken; Tachmazidis, Ilias; Zangari, Jessica
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries 1-gen-2020 Fiorentino, A.; Zangari, J.; Manna, M.
Efficient compliance checking of RDF data 1-gen-2023 Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni
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.
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 1-gen-2023 Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio
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
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 1-gen-2024 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
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.