I agree that this site is using cookies. You can find further informations here.
X
Zangari, Jessica
52  results:
Search for persons X
?
1

ASP-Based Declarative Reasoning in Data-Intensive Enterpris..:

Calimeri, Francesco ; Leone, Nicola ; Melissari, Giovanni...
Algorithms.  16 (2023)  3 - p. 159 , 2023
Link: https://doi.org/10.3390/..
 
?
2

EnviroStream: A Stream Reasoning Benchmark for Environmenta..:

Mastria, Elena ; Pacenza, Francesco ; Zangari, Jessica...
Big Data and Cognitive Computing.  7 (2023)  3 - p. 135 , 2023
Link: https://doi.org/10.3390/..
 
?
3

Efficient compliance checking of RDF data:

Robaldo, Livio ; Pacenza, Francesco ; Zangari, Jessica...
Journal of Logic and Computation.  33 (2023)  8 - p. 1753-1776 , 2023
Link: https://doi.org/10.1093/..
 
?
4

Integrating ASP-Based Incremental Reasoning in the Videogam..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Angilica, Denise ; Ianni, Giovambattista ; Pacenza, Francesco. - p. 96-106 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Forget and Regeneration Techniques for Optimizing ASP-Based..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Calimeri, Francesco ; Ianni, Giovambattista ; Pacenza, Francesco.. - p. 1-17 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Rethinking Answer Set Programming Templates:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Alviano, Mario ; Ianni, Giovambattista ; Pacenza, Francesco. - p. 82-99 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Compliance checking on first-order knowledge with conflicti..:

Robaldo, Livio ; Batsakis, Sotiris ; Calegari, Roberta...
Artificial Intelligence and Law.  32 (2023)  2 - p. 505-555 , 2023
Link: https://doi.org/10.1007/..
 
?
8

The Stream Reasoning System I-DLV-sr: Enhancements and Appl..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,
Calimeri, Francesco ; Mastria, Elena ; Perri, Simona. - p. 38-53 , 2022
Link: https://doi.org/10.1007/..
 
?
9

ASP-based Multi-shot Reasoning via DLV2 with Incremental Gr..:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,
Calimeri, Francesco ; Ianni, Giovambattista ; Pacenza, Francesco.. - p. 1-9 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Optimized 3D path planner for steerable catheters with dedu..:

, In: 2021 IEEE International Conference on Robotics and Automation (ICRA),
Segato, Alice ; Corbetta, Valentina ; Zangari, Jessica... - p. 1466-1472 , 2021
Link: https://doi.org/10.1109/..
 
?
11

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

CALIMERI, FRANCESCO ; MANNA, MARCO ; MASTRIA, ELENA...
Theory and Practice of Logic Programming.  21 (2021)  5 - p. 610-628 , 2021
Link: https://doi.org/10.1017/..
 
?
12

Incremental maintenance of overgrounded logic programs with..:

Ianni, Giovambattista ; Pacenza, Francesco ; Zangari, Jessica
Theory and Practice of Logic Programming.  20 (2020)  5 - p. 719-734 , 2020
Link: https://doi.org/10.1017/..
 
?
13

DaRLing: A Datalog rewriter for OWL 2 RL ontological reason..:

FIORENTINO, ALESSIO ; ZANGARI, JESSICA ; MANNA, MARCO
Theory and Practice of Logic Programming.  20 (2020)  6 - p. 958-973 , 2020
Link: https://doi.org/10.1017/..
 
?
14

Reasoning over Ontologies with DLV:

, In: Communications in Computer and Information Science; Knowledge Discovery, Knowledge Engineering and Knowledge Management,
Allocca, Carlo ; Alviano, Mario ; Calimeri, Francesco... - p. 114-136 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Enhancing Magic Sets with an Application to Ontological Rea..:

ALVIANO, MARIO ; LEONE, NICOLA ; VELTRI, PIERFRANCESCO.
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 654-670 , 2019
Link: https://doi.org/10.1017/..
 
1-15