PERRI, Simona
PERRI, Simona
Dipartimento di Matematica e Informatica
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
A framework for easing the development of applications embedding answer set programming
2016-01-01 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
A machine learning guided rewriting approach for asp logic programs
2020-01-01 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
A Parallel ASP Instantiator Based on DLV
2010-01-01 Perri, Simona; Ricca, Francesco; Marco, Sirianni
Abduction with Penalization in Logic Programming
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
2005-01-01 Perri, Simona; Scarcello, Francesco; Leone, Nicola
Advanced BackJumping Techniques for Rule Instantiations
2003-01-01 Perri, Simona; Scarcello, F.
Advanced heuristics for parallel ASP instantiation
2009-01-01 Perri, Simona; Ricca, Francesco; Sirianni, M.
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs
2009-01-01 Perri, S; Sirianni, M; Ricca, Francesco
An integrated graphic tool for developing and testing DLV programs
2007-01-01 Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P.
Answer set programming and declarative problem solving in game AIs
2013-01-01 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
2022-01-01 Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F.
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023-01-01 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
2025-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
2022-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
BackJumping Techniques for Rules Instantiation in the DLV System
2004-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
2016-01-01 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming
2001-01-01 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming
2025-01-01 Bruno, P; Calimeri, F; Marte, C; Perri, S
Declarative and Computational Properties of Logic Programs with Aggregates
2005-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Comparison between Datalog-based Languages for Stream Reasoning | 1-gen-2022 | Leone, N.; Manna, M.; Morelli, M. C.; Perri, S. | |
| 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. | |
| A Parallel ASP Instantiator Based on DLV | 1-gen-2010 | Perri, Simona; Ricca, Francesco; Marco, Sirianni | |
| Abduction with Penalization in Logic Programming | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
| Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation | 1-gen-2005 | Perri, Simona; Scarcello, Francesco; Leone, Nicola | |
| Advanced BackJumping Techniques for Rule Instantiations | 1-gen-2003 | Perri, Simona; Scarcello, F. | |
| Advanced heuristics for parallel ASP instantiation | 1-gen-2009 | Perri, Simona; Ricca, Francesco; Sirianni, M. | |
| An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs | 1-gen-2009 | Perri, S; Sirianni, M; Ricca, Francesco | |
| An integrated graphic tool for developing and testing DLV programs | 1-gen-2007 | Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P. | |
| Answer set programming and declarative problem solving in game AIs | 1-gen-2013 | Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona | |
| Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning | 1-gen-2022 | Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F. | |
| 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-2025 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; 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. | |
| BackJumping Techniques for Rules Instantiation in the DLV System | 1-gen-2004 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
| 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. | |
| Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 1-gen-2001 | Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco | |
| Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming | 1-gen-2025 | Bruno, P; Calimeri, F; Marte, C; Perri, S | |
| Declarative and Computational Properties of Logic Programs with Aggregates | 1-gen-2005 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona |