DLVMC: Enhanced Model Checking in DLV. - Marco Maratea; Francesco Ricca; Pierfrancesco Veltri (JELIA, 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)

Magic-Sets for Datalog with Existential Quantifiers. - Mario Alviano; Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (Datalog, 2012)

Efficiently Computable Datalog∃ Programs. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (KR, 2012)

Efficient Query Answering over Datalog with Existential Quantifiers. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (SEBD, 2012)

A graphic tool for ontology reasoning under Datalog∃. - Onofrio Febbraro; Nicola Leone; Francesco Ricca; Giorgio Terracina; Pierfrancesco Veltri (SEBD, 2013)

Modeling and Reasoning about NTU Games via Answer Set Programming. - Giovanni Amendola; Gianluigi Greco; Nicola Leone; Pierfrancesco Veltri (IJCAI, 2016)

Reasoning on anonymity in Datalog+/-. - Giovanni Amendola; Nicola Leone; Marco Manna; Pierfrancesco Veltri (ICLP (Technical Communications), 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)

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)

Enhancing Existential Rules by Closed-World Variables. - Giovanni Amendola; Nicola Leone; Marco Manna; Pierfrancesco Veltri (IJCAI, 2018)

A REST-Based Development Framework for ASP: Tools and Application. - Gelsomina Catalano; Giovanni Laboccetta; Kristian Reale; Francesco Ricca; Pierfrancesco Veltri (PADL, 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)

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)

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)

Fast Query Answering over Existential Rules. - Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (ACM Trans. Comput. Log., 2019)

Enhancing Magic Sets with an Application to Ontological Reasoning. - Mario Alviano; Nicola Leone; Pierfrancesco Veltri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. - Giovanni Amendola; Gianluigi Greco; Pierfrancesco Veltri (Artif. Intell., 2022)