Local Search Techniques for Disjunctive Logic Programs. - Nicola Leone; Simona Perri; Pasquale Rullo (AI*IA, 1999)

Abduction with Penalization in Logic Programming. - Nicola Leone; Simona Perri; Francesco Scarcello (AI*IA, 2001)

Census Data Repair: a Challenging Application of Disjunctive Logic Programming. - Enrico Franconi; Antonio Laureti Palma; Nicola Leone; Simona Perri; Francesco Scarcello (LPAR, 2001)

System Description: DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Christoph Koch 001; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2001)

Improving ASP Instantiators by Join-Ordering Methods. - Nicola Leone; Simona Perri; Francesco Scarcello (LPNMR, 2001)

Join Ordering Techniques for Knowledge Base Systems. - Nicola Leone; Simona Perri; Francesco Scarcello (SEBD, 2001)

Abduction with Penalization in Logic Programming - Giovambattista Ianni; Nicola Leone; Simona Perri; Francesco Scarcello (CoRR, 2001)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Advanced Backjumping Techniques for Rule Instantiations. - Simona Perri; Francesco Scarcello (APPIA-GULP-PRODE, 2003)

New DLV Features for Data Integration. - Francesco Calimeri; Manuela Citrigno; Chiara Cumbo; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer (JELIA, 2004)

System Description: DLV with Aggregates. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2004)

BackJumping techniques for rules instantiation in the DLV system. - Nicola Leone; Simona Perri; Francesco Scarcello (NMR, 2004)

Parametric connectives in Disjunctive Logic Programming. - Simona Perri; Nicola Leone (AI Commun., 2004)

Declarative and Computational Properties of Logic Programs with Aggregates. - Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (IJCAI, 2005)

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. - Simona Perri; Francesco Scarcello; Nicola Leone (Theory Pract. Log. Program., 2005)

The DLV system for knowledge representation and reasoning. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Thomas Eiter; Georg Gottlob; Simona Perri; Francesco Scarcello (ACM Trans. Comput. Log., 2006)

Enhancing DLV instantiator by backjumping techniques. - Simona Perri; Francesco Scarcello; Gelsomina Catalano; Nicola Leone (Ann. Math. Artif. Intell., 2007)

Experimenting with parallelism for the instantiation of ASP programs. - Francesco Calimeri; Simona Perri; Francesco Ricca (J. Algorithms, 2008)

Advanced Heuristics for Parallel ASP Instantiation. - Simona Perri; Francesco Ricca; Marco Sirianni (RCRA@AI*IA, 2009)

Parallel Instantiation in DLV. - Simona Perri; Francesco Ricca; Marco Sirianni (CILC, 2010)

Towards a Fully-Parallel DLV System. - Simona Perri; Francesco Ricca; Marco Sirianni (RCRA@CPAIOR, 2010)

The Disjunctive Datalog System DLV. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer; Giorgio Terracina (Datalog, 2010)

A parallel ASP instantiator based on DLV. - Simona Perri; Francesco Ricca; Marco Sirianni (DAMP, 2010)

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. - Francesco Calimeri; Giovambattista Ianni; Francesco Ricca; Mario Alviano; Annamaria Bria; Gelsomina Catalano; Susanna Cozza; Wolfgang Faber 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. - Mario Alviano; Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (J. Artif. Intell. Res., 2011)

The Intelligent Grounder of DLV. - Wolfgang Faber 001; Nicola Leone; Simona Perri (Correct Reasoning, 2012)

Answer Set Programming and Declarative Problem Solving in Game AIs. - Davide Fuscà; Stefano Germano; Jessica Zangari; Francesco Calimeri; Simona Perri (PAI@AI*IA, 2013)

Parallel instantiation of ASP programs: techniques and experiments. - Simona Perri; Francesco Ricca; Marco Sirianni (Theory Pract. Log. Program., 2013)

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (AI*IA, 2016)

I -dlv: The New Intelligent Grounder of dlv. - Francesco Calimeri; Davide Fuscà; Simona Perri; Jessica Zangari (AI*IA, 2016)

A framework for easing the development of applications embedding answer set programming. - Davide Fuscà; Stefano Germano; Jessica Zangari; Marco Anastasio; Francesco Calimeri; Simona Perri (PPDP, 2016)

Grounding and Solving in Answer Set Programming. - Benjamin Kaufmann; Nicola Leone; Simona Perri; Torsten Schaub (AI Mag., 2016)

External Computations and Interoperability in the New DLV Grounder. - Francesco Calimeri; Davide Fuscà; Simona Perri; Jessica Zangari (AI*IA, 2017)

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. - Davide Fuscà; Francesco Calimeri; Jessica Zangari; Simona Perri (RCRA@AI*IA, 2017)

The ASP System DLV2. - Mario Alviano; Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (LPNMR, 2017)

A Framework for Easing the Development of Applications Embedding Answer Set Programming. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (CoRR, 2017)

I-DLV: The new intelligent grounder of DLV. - Francesco Calimeri; Davide Fuscà; Simona Perri; Jessica Zangari (Intelligenza Artificiale, 2017)

Reasoning over Ontologies with DLV. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; Simona Perri; Kristian Reale; et al. (IC3K, 2018)

Evaluation Techniques and Systems for Answer Set Programming: a Survey. - Martin Gebser; Nicola Leone; Marco Maratea; Simona Perri; Francesco Ricca; Torsten Schaub (IJCAI, 2018)

Optimizing Answer Set Computation via Heuristic-Based Decomposition. - Francesco Calimeri; Davide Fuscà; Simona Perri; Jessica Zangari (PADL, 2018)

Integrating Rule-Based AI Tools into Mainstream Game Development. - Francesco Calimeri; Stefano Germano; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (RuleML+RR, 2018)

How Modern Deductive Database Systems Can Enhance Data Integration. - Francesco Calimeri; Simona Perri; Giorgio Terracina; Jessica Zangari (SEBD, 2018)

First Steps towards Reasoning on Big Data with DLV. - Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (SEBD, 2018)

The ASP System DLV: Advancements and Applications. - Weronika T. Adrian; Mario Alviano; Francesco Calimeri; Bernardo Cuteri; Carmine Dodaro; Wolfgang Faber 001; Davide Fuscà; Nicola Leone; Marco Manna; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; et al. (Künstliche Intell., 2018)

An ASP-based Approach for Optimizing DLV Evaluation. - Carlo Allocca; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (CILC, 2019)

Large Scale DLV: Preliminary Results. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; et al. (CILC, 2019)

Large-Scale Reasoning on Expressive Horn Ontologies. - Carlo Allocca; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; Simona Perri; Kristian Reale; et al. (Datalog, 2019)

Memory-Saving Evaluation Plans for Datalog. - Carlo Allocca; Roberta Costabile; Alessio Fiorentino; Simona Perri; Jessica Zangari (JELIA, 2019)

Enhancing DLV for Large-Scale Reasoning. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Bernardo Cuteri; Marco Manna; et al. (LPNMR, 2019)

Querying Large Expressive Horn Ontologies. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; et al. (SEBD, 2019)

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. - Francesco Calimeri; Davide Fuscà; Stefano Germano; Simona Perri; Jessica Zangari (New Gener. Comput., 2019)

Incremental Answer Set Programming with Overgrounding. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Optimizing Answer Set Computation via Heuristic-Based Decomposition. - Francesco Calimeri; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. - Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

A Machine Learning guided Rewriting Approach for ASP Logic Programs. - Elena Mastria; Jessica Zangari; Simona Perri; Francesco Calimeri (ICLP Technical Communications, 2020)

Efficiently Coupling the I-DLV Grounder with ASP Solvers. - Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2020)

Optimized 3D path planner for steerable catheters with deductive reasoning. - Alice Segato; Valentina Corbetta; Jessica Zangari; Simona Perri; Francesco Calimeri; Elena De Momi (ICRA, 2021)

I-DLV-sr: A Stream Reasoning System based on I-DLV. - Francesco Calimeri; Marco Manna; Elena Mastria; Maria Concetta Morelli; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2021)

Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). - Francesco Calimeri; Marco Manna; Simona Perri (Theory Pract. Log. Program., 2021)

A Formal Comparison between Datalog-based Languages for Stream Reasoning. - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (Datalog, 2022)

The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. - Francesco Calimeri; Elena Mastria; Simona Perri; Jessica Zangari (RuleML+RR, 2022)

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). - Nicola Leone; Marco Manna; Maria Concetta Morelli; Simona Perri (CoRR, 2022)

Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020). - Francesco Calimeri; Simona Perri; Ester Zumpano (J. Log. Comput., 2022)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. - Elena Mastria; Francesco Pacenza; Jessica Zangari; Francesco Calimeri; Simona Perri; Giorgio Terracina (Big Data Cogn. Comput., 2023)

Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming. - Pierangela Bruno; Francesco Calimeri; Cinzia Marte; Simona Perri (CoRR, 2023)

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. - Francesco Calimeri; Nicola Leone; Giovanni Melissari; Francesco Pacenza; Simona Perri; Kristian Reale; Francesco Ricca; Jessica Zangari (Algorithms, 2023)

IDADA: A Blended Inductive-Deductive Approach for Data Augmentation. - Pierangela Bruno; Francesco Calimeri; Francesca Filice; Cinzia Marte; Simona Perri (AI*IA, 2024)

LLASP: Fine-tuning Large Language Models for Answer Set Programming. - Erica Coppolillo; Francesco Calimeri; Giuseppe Manco 001; Simona Perri; Francesco Ricca (KR, 2024)

Monitoring and Scheduling of Semiconductor Failure Analysis Labs. - Elena Mastria; Domenico Pagliaro; Francesco Calimeri; Simona Perri; Martin Pleschberger; Konstantin Schekotihin (LPNMR, 2024)

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (PADL, 2024)

Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. - Luca Laboccetta; Elena Mastria; Francesco Calimeri; Nicola Leone; Simona Perri; Giorgio Terracina (PPDP, 2024)

Editorial: Merging symbolic and data-driven AI for robot autonomy. - Daniele Meli; Mohan Sridharan; Simona Perri; Nikos Katzouris (Frontiers Robotics AI, 2025)

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding. - Francesco Calimeri; Giovambattista Ianni; Francesco Pacenza; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2025)