A Visual Interface for Drawing ASP Programs. - Onofrio Febbraro; Kristian Reale; Francesco Ricca (CILC, 2010)

Testing ASP programs in ASPIDE. - Onofrio Febbraro; Kristian Reale; Francesco Ricca (CILC, 2011)

Unit Testing in ASPIDE. - Onofrio Febbraro; Nicola Leone; Kristian Reale; Francesco Ricca (INAP/WLP, 2011)

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)

ASPIDE: Integrated Development Environment for Answer Set Programming. - Onofrio Febbraro; Kristian Reale; Francesco Ricca (LPNMR, 2011)

Extending ASPIDE with User-defined Plugins. - Onofrio Febbraro; Nicola Leone; Kristian Reale; Francesco Ricca (CILC, 2012)

Datalog Development Tools - (Extended Abstract). - Onofrio Febbraro; Giovanni Grasso 001; Nicola Leone; Kristian Reale; Francesco Ricca (Datalog, 2012)

An Integrated Environment for Reasoning over Ontologies via Logic Programming. - Barbara Nardi; Kristian Reale; Francesco Ricca; Giorgio Terracina (RR, 2013)

Development Tools for Datalog. - Onofrio Febbraro; Giovanni Grasso 001; Nicola Leone; Kristian Reale; Francesco Ricca (SEBD, 2013)

An integrated Graphical User Interface for Debugging Answer Set Programs. - Philip Gasteiger; Carmine Dodaro; Benjamin Musitsch; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

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)

A REST-Based Development Framework for ASP: Tools and Application. - Gelsomina Catalano; Giovanni Laboccetta; Kristian Reale; Francesco Ricca; Pierfrancesco Veltri (PADL, 2018)

Developing ASP Programs with ASPIDE and LoIDE. - Francesco Calimeri; Stefano Germano; Eliana Palermiti; Kristian Reale; Francesco Ricca (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)

A Logic-Based Question Answering System for Cultural Heritage. - Bernardo Cuteri; Kristian Reale; Francesco Ricca (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)

Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. - Bernardo Cuteri; Kristian Reale; Francesco Ricca (SEBD, 2019)

Debugging Non-ground ASP Programs: Technique and Graphical Tools. - Carmine Dodaro; Philip Gasteiger; Kristian Reale; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2019)

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. - Kristian Reale; Francesco Calimeri; Nicola Leone; Francesco Ricca (PADL, 2022)

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)