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

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)

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

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. - Roberta Costabile; Gelsomina Catalano; Bernardo Cuteri; Maria Concetta Morelli; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2020)