Simona Perri

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 46

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
LLASP: Fine-tuning Large Language Models for Answer Set Programming. CoRR (2024)
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16 (3) (2023)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming. CoRR (2023)
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. Big Data Cogn. Comput. 7 (3) (2023)
Francesco Calimeri, Simona Perri, Ester Zumpano
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020). J. Log. Comput. 32 (2) (2022)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). CoRR (2022)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP (2022)
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. RuleML+RR (2022)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog (2022)
Francesco Calimeri, Marco Manna, Simona Perri
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Theory Pract. Log. Program. 21 (4) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21 (5) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. CoRR (2021)
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
Optimized 3D path planner for steerable catheters with deductive reasoning. ICRA (2021)
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
A Machine Learning guided Rewriting Approach for ASP Logic Programs. ICLP Technical Communications (2020)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20 (2) (2020)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19 (5-6) (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. CoRR (2019)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. Theory Pract. Log. Program. 19 (4) (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Gener. Comput. 37 (1) (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
Memory-Saving Evaluation Plans for Datalog. JELIA (2019)
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
How Modern Deductive Database Systems Can Enhance Data Integration. SEBD (2018)
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI (2018)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR (2018)
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. CoRR (2018)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. PADL (2018)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Reasoning over Ontologies with DLV. IC3K (2018)
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
First Steps towards Reasoning on Big Data with DLV. SEBD (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR (2018)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
A Framework for Easing the Development of Applications Embedding Answer Set Programming. CoRR (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11 (1) (2017)
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. RCRA@AI*IA (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
External Computations and Interoperability in the New DLV Grounder. AI*IA (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
A framework for easing the development of applications embedding answer set programming. PPDP (2016)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI*IA (2016)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
-dlv: The New Intelligent Grounder of dlv. AI*IA (2016)
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
Grounding and Solving in Answer Set Programming. AI Mag. 37 (3) (2016)
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR (2014)
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
Answer Set Programming and Declarative Problem Solving in Game AIs. PAI@AI*IA (2013)
Simona Perri, Francesco Ricca, Marco Sirianni
Parallel instantiation of ASP programs: techniques and experiments. Theory Pract. Log. Program. 13 (2) (2013)
Wolfgang Faber, Nicola Leone, Simona Perri
The Intelligent Grounder of DLV. Correct Reasoning (2012)
Simona Perri, Francesco Ricca, Marco Sirianni
Parallel Instantiation of ASP Programs: Techniques and Experiments CoRR (2011)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42 (2011)
Simona Perri, Francesco Ricca, Marco Sirianni
Parallel Instantiation in DLV. CILC (2010)
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
The Disjunctive Datalog System DLV. Datalog (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
A parallel ASP instantiator based on DLV. DAMP (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
Towards a Fully-Parallel DLV System. RCRA@CPAIOR (2010)
Simona Perri, Francesco Ricca, Marco Sirianni
Advanced Heuristics for Parallel ASP Instantiation. RCRA@AI*IA (2009)
Francesco Calimeri, Simona Perri, Francesco Ricca
Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms 63 (1-3) (2008)
Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone
Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51 (2-4) (2007)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7 (3) (2006)
Simona Perri, Francesco Scarcello, Nicola Leone
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Theory Pract. Log. Program. 5 (1-2) (2005)
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI (2005)
Simona Perri, Nicola Leone
Parametric connectives in Disjunctive Logic Programming. AI Commun. 17 (2) (2004)
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
New DLV Features for Data Integration. JELIA (2004)
Nicola Leone, Simona Perri, Francesco Scarcello
BackJumping techniques for rules instantiation in the DLV system. NMR (2004)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
System Description: DLV with Aggregates. LPNMR (2004)
Simona Perri, Nicola Leone
Parametric Connectives in Disjunctive Logic Programming CoRR (2003)
Simona Perri, Francesco Scarcello
Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE (2003)
Nicola Leone, Simona Perri
Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming (2003)
Simona Perri, Francesco Scarcello, Nicola Leone
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR (2003)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
The DLV System for Knowledge Representation and Reasoning CoRR (2002)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
The DLV System. JELIA (2002)
Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
Abduction with Penalization in Logic Programming CoRR (2001)
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
System Description: DLV. LPNMR (2001)
Nicola Leone, Simona Perri, Francesco Scarcello
Join Ordering Techniques for Knowledge Base Systems. SEBD (2001)
Nicola Leone, Simona Perri, Francesco Scarcello
Abduction with Penalization in Logic Programming. AI*IA (2001)
Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello
Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR (2001)
Nicola Leone, Simona Perri, Francesco Scarcello
Improving ASP Instantiators by Join-Ordering Methods. LPNMR (2001)
Nicola Leone, Simona Perri, Pasquale Rullo
Local Search Techniques for Disjunctive Logic Programs. AI*IA (1999)