Jessica Zangari

Orcid: 0000-0002-6418-7711

Affiliations:
  • University of Calabria, Rende, Italy


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law, June, 2024

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
Proceedings of the Practical Aspects of Declarative Languages, 2024

Rethinking Answer Set Programming Templates.
Proceedings of the Practical Aspects of Declarative Languages, 2024

2023
Efficient compliance checking of RDF data.
J. Log. Comput., December, 2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms, March, 2023

Extending Answer Set Programming with Rational Numbers.
CoRR, 2023

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput., 2023

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
Proceedings of the Practical Aspects of Declarative Languages, 2023

2022
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.
Proceedings of the Rules and Reasoning, 2022

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
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.
Theory Pract. Log. Program., 2021

Optimized 3D path planner for steerable catheters with deductive reasoning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
Incremental maintenance of overgrounded logic programs with tailored simplifications.
Theory Pract. Log. Program., 2020

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.
Theory Pract. Log. Program., 2020

Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program., 2020

A Machine Learning guided Rewriting Approach for ASP Logic Programs.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program., 2019

Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Theory Pract. Log. Program., 2019

Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program., 2019

Enhancing Magic Sets with an Application to Ontological Reasoning.
Theory Pract. Log. Program., 2019

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput., 2019



Memory-Saving Evaluation Plans for Datalog.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019



An Infrastructure for Multi-shot Reasoning with Incremental Grounding.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
The ASP System DLV: Advancements and Applications.
Künstliche Intell., 2018

First Steps towards Reasoning on Big Data with DLV.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

How Modern Deductive Database Systems Can Enhance Data Integration.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Integrating Rule-Based AI Tools into Mainstream Game Development.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Reasoning over Ontologies with DLV.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017
I-DLV: The new intelligent grounder of DLV.
Intelligenza Artificiale, 2017

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

The ASP System DLV2.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.
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.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
A framework for easing the development of applications embedding answer set programming.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

<i>I</i> -dlv: The New Intelligent Grounder of dlv.
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.
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.
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013


  Loading...