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

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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..
 
?
6

Preface to the Special Issue from the 35th Italian Conferen..:

Calimeri, Francesco ; Perri, Simona ; Zumpano, Ester
Journal of Logic and Computation.  32 (2022)  2 - p. 175-177 , 2022
Link: https://doi.org/10.1093/..
 
?
7

Practical Aspects of Declarative Languages: 24th Internatio.. 

Programming and Software Engineering, 13165
Cheney, James ; Perri, Simona - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
8

Introduction to the TPLP Special Issue from the 16th Europe..:

CALIMERI, FRANCESCO ; MANNA, MARCO ; PERRI, SIMONA
Theory and Practice of Logic Programming.  21 (2021)  4 - p. 402-403 , 2021
Link: https://doi.org/10.1017/..
 
?
9

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/..
 
?
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

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/..
 
?
12

Optimizing Answer Set Computation via Heuristic-Based Decom..:

CALIMERI, FRANCESCO ; PERRI, SIMONA ; ZANGARI, JESSICA
Theory and Practice of Logic Programming.  19 (2019)  4 - p. 603-628 , 2019
Link: https://doi.org/10.1017/..
 
?
13

Memory-Saving Evaluation Plans for Datalog:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Allocca, Carlo ; Costabile, Roberta ; Fiorentino, Alessio.. - p. 453-461 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Enhancing DLV for Large-Scale Reasoning:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,
Leone, Nicola ; Allocca, Carlo ; Alviano, Mario... - p. 312-325 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Precomputing Datalog Evaluation Plans in Large-Scale Scenar..:

FIORENTINO, ALESSIO ; LEONE, NICOLA ; MANNA, MARCO..
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 1073-1089 , 2019
Link: https://doi.org/10.1017/..
 
1-15