Simona Perri

91 papers A* 4B 13C 7Journal 40Unranked 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming.
Intelligenza Artificiale
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2026 J jnl
Looking Beyond Accuracy: A Holistic Benchmark of ECG Foundation Models.
CoRR
Francesca Filice, Edoardo De Rose, Simone Bartucci, Francesco Calimeri, Simona Perri
2025 — conf
A Human-Centric Environment (HCE) Framework for Sustainable Production in a Bakery.
Green-Aware AI@ECAI
Luca Laboccetta, Giorgio Terracina, Massimiliano Ruffolo, Davide Iacopino, Marta Maria, Salvatore Iiritano, Simona Perri, Francesco Calimeri
2025 J jnl
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2025 J jnl
Editorial: Merging symbolic and data-driven AI for robot autonomy.
Frontiers Robotics AI
Daniele Meli, Mohan Sridharan, Simona Perri, Nikos Katzouris
2024 J jnl
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 C conf
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
PADL
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 — conf
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation.
AI*IA
Pierangela Bruno, Francesco Calimeri, Francesca Filice, Cinzia Marte, Simona Perri
2024 A* conf
LLASP: Fine-tuning Large Language Models for Answer Set Programming.
KR
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024 J jnl
LLASP: Fine-tuning Large Language Models for Answer Set Programming.
CoRR
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024 B conf
Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
LPNMR
Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin
2024 C conf
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events.
PPDP
Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023 J jnl
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming.
CoRR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2023 J jnl
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput.
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
2022 J jnl
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
2022 — conf
A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Datalog
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
2022 C conf
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
PPDP
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2022 C ed.
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
PADL
James Cheney, Simona Perri
2022 J jnl
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020).
J. Log. Comput.
Francesco Calimeri, Simona Perri, Ester Zumpano
2022 B conf
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.
RuleML+RR
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
CoRR
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program.
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 J jnl
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).
Theory Pract. Log. Program.
Francesco Calimeri, Marco Manna, Simona Perri
2021 A* conf
Optimized 3D path planner for steerable catheters with deductive reasoning.
ICRA
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
2020 — conf
A Machine Learning guided Rewriting Approach for ASP Logic Programs.
ICLP Technical Communications
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
2020 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program.
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2020 — ed.
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.
CILC
Francesco Calimeri, Simona Perri, Ester Zumpano
2019 — conf
An ASP-based Approach for Optimizing DLV Evaluation.
CILC
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
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
2019 J jnl
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput.
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
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
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
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
2019 B conf
Memory-Saving Evaluation Plans for Datalog.
JELIA
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
2019 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Theory Pract. Log. Program.
Francesco Calimeri, Simona Perri, Jessica Zangari
2019 J jnl
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program.
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 J jnl
Precomputing Datalog evaluation plans in large-scale scenarios.
CoRR
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
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
2018 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
CoRR
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2018 A* conf
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
IJCAI
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018 — conf
First Steps towards Reasoning on Big Data with DLV.
SEBD
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 — conf
How Modern Deductive Database Systems Can Enhance Data Integration.
SEBD
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
2018 B conf
Integrating Rule-Based AI Tools into Mainstream Game Development.
RuleML+RR
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018 C conf
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
PADL
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2018 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
CoRR
Francesco Calimeri, Simona Perri, Jessica Zangari
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
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
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
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
2017 J jnl
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2017 — conf
External Computations and Interoperability in the New DLV Grounder.
AI*IA
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 — conf
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.
RCRA@AI*IA
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
2017 J jnl
I-DLV: The new intelligent grounder of DLV.
Intelligenza Artificiale
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 C conf
A framework for easing the development of applications embedding answer set programming.
PPDP
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
2016 — conf
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.
AI*IA
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2016 J jnl
Grounding and Solving in Answer Set Programming.
AI Mag.
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
2014 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
CoRR
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2013 — conf
Answer Set Programming and Declarative Problem Solving in Game AIs.
PAI@AI*IA
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
2013 J jnl
Parallel instantiation of ASP programs: techniques and experiments.
Theory Pract. Log. Program.
Simona Perri, Francesco Ricca, Marco Sirianni
2012 — conf
The Intelligent Grounder of DLV.
Correct Reasoning
Wolfgang Faber, Nicola Leone, Simona Perri
2011 J jnl
Parallel Instantiation of ASP Programs: Techniques and Experiments
CoRR
Simona Perri, Francesco Ricca, Marco Sirianni
2011 B conf
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR
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
2011 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res.
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2010 — conf
A parallel ASP instantiator based on DLV.
DAMP
Simona Perri, Francesco Ricca, Marco Sirianni
2010 — conf
Parallel Instantiation in DLV.
CILC
Simona Perri, Francesco Ricca, Marco Sirianni
2010 — conf
The Disjunctive Datalog System DLV.
Datalog
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
2010 — conf
Towards a Fully-Parallel DLV System.
RCRA@CPAIOR
Simona Perri, Francesco Ricca, Marco Sirianni
2009 — conf
Advanced Heuristics for Parallel ASP Instantiation.
RCRA@AI*IA
Simona Perri, Francesco Ricca, Marco Sirianni
2008 J jnl
Experimenting with parallelism for the instantiation of ASP programs.
J. Algorithms
Francesco Calimeri, Simona Perri, Francesco Ricca
2007 J jnl
Enhancing DLV instantiator by backjumping techniques.
Ann. Math. Artif. Intell.
Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone
2006 J jnl
The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log.
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2005 J jnl
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
Theory Pract. Log. Program.
Simona Perri, Francesco Scarcello, Nicola Leone
2005 A* conf
Declarative and Computational Properties of Logic Programs with Aggregates.
IJCAI
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2004 — conf
BackJumping techniques for rules instantiation in the DLV system.
NMR
Nicola Leone, Simona Perri, Francesco Scarcello
2004 B conf
New DLV Features for Data Integration.
JELIA
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
2004 J jnl
Parametric connectives in Disjunctive Logic Programming.
AI Commun.
Simona Perri, Nicola Leone
2004 B conf
System Description: DLV with Aggregates.
LPNMR
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
2003 J jnl
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
CoRR
Simona Perri, Francesco Scarcello, Nicola Leone
2003 — conf
Advanced Backjumping Techniques for Rule Instantiations.
APPIA-GULP-PRODE
Simona Perri, Francesco Scarcello
2003 J jnl
Parametric Connectives in Disjunctive Logic Programming
CoRR
Simona Perri, Nicola Leone
2003 — conf
Parametric Connectives in Disjunctive Logic Programming.
Answer Set Programming
Nicola Leone, Simona Perri
2002 J jnl
The DLV System for Knowledge Representation and Reasoning
CoRR
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2002 B conf
The DLV System.
JELIA
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
2001 J jnl
Abduction with Penalization in Logic Programming
CoRR
Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello
2001 — conf
Abduction with Penalization in Logic Programming.
AI*IA
Nicola Leone, Simona Perri, Francesco Scarcello
2001 B conf
Census Data Repair: a Challenging Application of Disjunctive Logic Programming.
LPAR
Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello
2001 B conf
Improving ASP Instantiators by Join-Ordering Methods.
LPNMR
Nicola Leone, Simona Perri, Francesco Scarcello
2001 — conf
Join Ordering Techniques for Knowledge Base Systems.
SEBD
Nicola Leone, Simona Perri, Francesco Scarcello
2001 B conf
System Description: DLV.
LPNMR
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
1999 — conf
Local Search Techniques for Disjunctive Logic Programs.
AI*IA
Nicola Leone, Simona Perri, Pasquale Rullo