Jessica Zangari

According to our database, Jessica Zangari authored at least 43 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.

Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari

Artif. Intell. Law, June, 2024

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2024

Rethinking Answer Set Programming Templates.

Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2024

2023

Efficient compliance checking of RDF data.

Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa

J. Log. Comput., December, 2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.

Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari

Algorithms, March, 2023

Extending Answer Set Programming with Rational Numbers.

Francesco Pacenza, Jessica Zangari

CoRR, 2023

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.

Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina

Big Data Cogn. Comput., 2023

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).

Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.

Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari

Proceedings of the Rules and Reasoning, 2022

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2021

I-DLV-sr: A Stream Reasoning System based on I-DLV.

Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2021

Optimized 3D path planner for steerable catheters with deductive reasoning.

Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Incremental maintenance of overgrounded logic programs with tailored simplifications.

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Theory Pract. Log. Program., 2020

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.

Alessio Fiorentino, Jessica Zangari, Marco Manna

Theory Pract. Log. Program., 2020

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2020

A Machine Learning guided Rewriting Approach for ASP Logic Programs.

Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.

Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2019

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2019

Incremental Answer Set Programming with Overgrounding.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2019

Enhancing Magic Sets with an Application to Ontological Reasoning.

Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari

Theory Pract. Log. Program., 2019

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

New Gener. Comput., 2019

Querying Large Expressive Horn Ontologies.

Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Enhancing DLV for Large-Scale Reasoning.

Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Memory-Saving Evaluation Plans for Datalog.

Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Large-Scale Reasoning on Expressive Horn Ontologies.

Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Datalog 2.0 2019, 2019

Large Scale DLV: Preliminary Results.

Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

An Infrastructure for Multi-shot Reasoning with Incremental Grounding.

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

An ASP-based Approach for Optimizing DLV Evaluation.

Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

The ASP System DLV: Advancements and Applications.

Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Künstliche Intell., 2018

First Steps towards Reasoning on Big Data with DLV.

Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

How Modern Deductive Database Systems Can Enhance Data Integration.

Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Integrating Rule-Based AI Tools into Mainstream Game Development.

Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2018

Reasoning over Ontologies with DLV.

Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017

I-DLV: The new intelligent grounder of DLV.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Intelligenza Artificiale, 2017

A Framework for Easing the Development of Applications Embedding Answer Set Programming.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

CoRR, 2017

The ASP System DLV2.

Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.

Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

External Computations and Interoperability in the New DLV Grounder.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

A framework for easing the development of applications embedding answer set programming.

Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

<i>I</i> -dlv: The New Intelligent Grounder of dlv.

Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.

Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2013

Answer Set Programming and Declarative Problem Solving in Game AIs.

Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013