IRIS

PERRI, Simona

PERRI, Simona  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 84 (tempo di esecuzione: 0.015 secondi).
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-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
Declarative and Computational Properties of Logic Programs with Aggregates 1-gen-2005 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.