The DLV Java Wrapper. - Francesco Ricca (APPIA-GULP-PRODE, 2003)

A Java Wrapper for DLV. - Francesco Ricca (Answer Set Programming, 2003)

An agent system reasoning about the web and the user. - Giovambattista Ianni; Francesco Ricca; Francesco Calimeri; Vincenzino Lio; Stefania Galizia (WWW (Alternate Track Papers & Posters), 2004)

Specification of Assessment-test Criteria through ASP Specifications. - Giovambattista Ianni; Claudio Panetta; Francesco Ricca (Answer Set Programming, 2005)

Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (IJCAI, 2005)

Solving Hard ASP Programs Efficiently. - Wolfgang Faber 001; Francesco Ricca (LPNMR, 2005)

A DLP System with Object-Oriented Features. - Francesco Ricca; Nicola Leone; Valerio De Bonis; Tina Dell'Armi; Stefania Galizia; Giovanni Grasso 002 (LPNMR, 2005)

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Intelligenza Artificiale, 2005)

Exploiting agents in e-learning and skills management context. - Alfredo Garro; Luigi Palopoli 001; Francesco Ricca (AI Commun., 2006)

A backjumping technique for Disjunctive Logic Programming. - Francesco Ricca; Wolfgang Faber 001; Nicola Leone (AI Commun., 2006)

Experimenting with Look-Back Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2007)

On look-ahead heuristics in disjunctive logic programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Francesco Ricca (Ann. Math. Artif. Intell., 2007)

Disjunctive logic programming with types and objects: The DLV+ system. - Francesco Ricca; Nicola Leone (J. Appl. Log., 2007)

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

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. - Marco Maratea; Francesco Ricca; Wolfgang Faber 001; Nicola Leone (J. Algorithms, 2008)

Answer Set Programming. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Wiley Encyclopedia of Computer Science and Engineering, 2008)

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

Some DLV Applications for Knowledge Management. - Giovanni Grasso 001; Salvatore Iiritano; Nicola Leone; Francesco Ricca (LPNMR, 2009)

An ASP-Based System for e-Tourism. - Salvatore Maria Ielpa; Salvatore Iiritano; Nicola Leone; Francesco Ricca (LPNMR, 2009)

An ASP-Based Data Integration System. - Nicola Leone; Francesco Ricca; Giorgio Terracina (LPNMR, 2009)

OntoDLV: An ASP-based System for Enterprise Ontologies. - Francesco Ricca; Lorenzo Gallucci; Roman Schindlauer; Tina Dell'Armi; Giovanni Grasso 001; Nicola Leone (J. Log. Comput., 2009)

Answer Set Programming. - Piero A. Bonatti; Francesco Calimeri; Nicola Leone; Francesco Ricca (25 Years GULP, 2010)

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

Team-building with Answer Set Programming in the Gioia-Tauro Seaport. - Giovanni Grasso 001; Salvatore Iiritano; Vincenzino Lio; Francesco Ricca; Francesco Scalise (CILC, 2010)

Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. - Marco Manna; Francesco Ricca; Giorgio Terracina (CILC, 2010)

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)

DLVMC: Enhanced Model Checking in DLV. - Marco Maratea; Francesco Ricca; Pierfrancesco Veltri (JELIA, 2010)

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. - Giovanni Grasso 001; Salvatore Iiritano; Nicola Leone; Vincenzino Lio; Francesco Ricca; Francesco Scalise (PADL, 2010)

Efficient Application of Answer Set Programming for Advanced Data Integration. - Nicola Leone; Francesco Ricca; Luca Agostino Rubino; Giorgio Terracina (PADL, 2010)

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

A Logic-Based System for e-Tourism. - Francesco Ricca; Antonella Dimasi; Giovanni Grasso 001; Salvatore Maria Ielpa; Salvatore Iiritano; Marco Manna; Nicola Leone (Fundam. Informaticae, 2010)

ASP at Work: Spin-off and Applications of the DLV System. - Giovanni Grasso 001; Nicola Leone; Marco Manna; Francesco Ricca (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

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)

Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. - Rosamaria Barilaro; Francesco Ricca; Giorgio Terracina (LPNMR, 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)

Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. - Rosamaria Barilaro; Nicola Leone; Francesco Ricca; Giorgio Terracina (SEBD, 2011)

Look-back Techniques for ASP Programs with Aggregates. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (Fundam. Informaticae, 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)

Applying Machine Learning Techniques to ASP Solving. - Marco Maratea; Luca Pulina; Francesco Ricca (ICLP (Technical Communications), 2012)

The Multi-Engine ASP Solver me-asp. - Marco Maratea; Luca Pulina; Francesco Ricca (JELIA, 2012)

JASP: A Framework for Integrating Answer Set Programming with Java. - Onofrio Febbraro; Nicola Leone; Giovanni Grasso 001; Francesco Ricca (KR, 2012)

Distributed Ontology Based Data Access via Logic Programming. - Rosamaria Barilaro; Nicola Leone; Francesco Ricca; Giorgio Terracina (RR, 2012)

The Answer Set Programming Competition. - Francesco Calimeri; Giovambattista Ianni; Thomas Krennwallner; Francesco Ricca (AI Mag., 2012)

Team-building with answer set programming in the Gioia-Tauro seaport. - Francesco Ricca; Giovanni Grasso 001; Mario Alviano; Marco Manna; Vincenzino Lio; Salvatore Iiritano; Nicola Leone (Theory Pract. Log. Program., 2012)

Comparing Alternative Solutions for Unfounded Set Propagation in ASP. - Mario Alviano; Carmine Dodaro; Francesco Ricca (AI*IA, 2013)

Automated Selection of Grounding Algorithm in Answer Set Programming. - Marco Maratea; Luca Pulina; Francesco Ricca (AI*IA, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

WASP: A Native ASP Solver Based on Constraint Learning. - Mario Alviano; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (LPNMR, 2013)

Towards Query Answering in Relational Multi-Context Systems. - Rosamaria Barilaro; Michael Fink 001; Francesco Ricca; Giorgio Terracina (LPNMR, 2013)

Answer Set Programming: Language, Applications and Development Tools. - Giovanni Grasso 001; Nicola Leone; Francesco Ricca (RR, 2013)

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)

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

Consistent query answering via ASP from different perspectives: Theory and practice. - Marco Manna; Francesco Ricca; Giorgio Terracina (Theory Pract. Log. Program., 2013)

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

Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. - Giuseppe Marra; Francesco Ricca; Giorgio Terracina; Domenico Ursino (JELIA, 2014)

Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. - Giuseppe Marra; Antonino Nocera; Francesco Ricca; Giorgio Terracina; Domenico Ursino (RR, 2014)

Investigating Node Influence Maximization and Influential Node Characterization in a Multi-Social-Network Scenario via Disjunctive Logic Programming. - Giuseppe Marra; Antonino Nocera; Francesco Ricca; Giorgio Terracina; Domenico Ursino (SEBD, 2014)

Preliminary Report on WASP 2.0. - Mario Alviano; Carmine Dodaro; Francesco Ricca (CoRR, 2014)

The Design of the Fifth Answer Set Programming Competition. - Francesco Calimeri; Martin Gebser; Marco Maratea; Francesco Ricca (CoRR, 2014)

The Multi-engine ASP Solver ME-ASP: Progress Report. - Marco Maratea; Luca Pulina; Francesco Ricca (CoRR, 2014)

Anytime Computation of Cautious Consequences in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2014)

The third open answer set programming competition. - Francesco Calimeri; Giovambattista Ianni; Francesco Ricca (Theory Pract. Log. Program., 2014)

A multi-engine approach to answer-set programming. - Marco Maratea; Luca Pulina; Francesco Ricca (Theory Pract. Log. Program., 2014)

JWASP: A New Java-Based ASP Solver. - Mario Alviano; Carmine Dodaro; Francesco Ricca (RCRA@AI*IA, 2015)

Advances in Multi-engine ASP Solving. - Marco Maratea; Luca Pulina; Francesco Ricca (AI*IA, 2015)

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. - Mario Alviano; Carmine Dodaro; Francesco Ricca (IJCAI, 2015)

Advances in WASP. - Mario Alviano; Carmine Dodaro; Nicola Leone; Francesco Ricca (LPNMR, 2015)

Interactive Debugging of Non-ground ASP Programs. - Carmine Dodaro; Philip Gasteiger; Benjamin Musitsch; Francesco Ricca; Kostyantyn M. Shchekotykhin (LPNMR, 2015)

The Design of the Sixth Answer Set Programming Competition - - Report -. - Martin Gebser; Marco Maratea; Francesco Ricca (LPNMR, 2015)

Multi-level Algorithm Selection for ASP. - Marco Maratea; Luca Pulina; Francesco Ricca (LPNMR, 2015)

Allotment Problem in Travel Industry: A Solution Based on ASP. - Carmine Dodaro; Nicola Leone; Barbara Nardi; Francesco Ricca (RR, 2015)

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. - Nicola Leone; Francesco Ricca (Reasoning Web, 2015)

Taming Primary Key Violations to Query Large Inconsistent Data. - Marco Manna; Francesco Ricca; Giorgio Terracina (CoRR, 2015)

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Toni Mancini; Marco Maratea; Francesco Ricca (J. Exp. Theor. Artif. Intell., 2015)

Multi-engine ASP solving with policy adaptation. - Marco Maratea; Luca Pulina; Francesco Ricca (J. Log. Comput., 2015)

Taming primary key violations to query large inconsistent data via ASP. - Marco Manna; Francesco Ricca; Giorgio Terracina (Theory Pract. Log. Program., 2015)

What's Hot in the Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (AAAI, 2016)

On the Application of Answer Set Programming to the Conference Paper Assignment Problem. - Giovanni Amendola; Carmine Dodaro; Nicola Leone; Francesco Ricca (AI*IA, 2016)

External Propagators in WASP: Preliminary Report. - Carmine Dodaro; Francesco Ricca; Peter Schüller (RCRA@AI*IA, 2016)

ASPQ: An ASP-Based 2QBF Solver. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (QBF@SAT, 2016)

Design and results of the Fifth Answer Set Programming Competition. - Francesco Calimeri; Martin Gebser; Marco Maratea; Francesco Ricca (Artif. Intell., 2016)

Experimental evaluation of algorithms for solving problems with combinatorial explosion. - Toni Mancini; Marco Maratea; Francesco Ricca (AI Commun., 2016)

Systems, Engineering Environments, and Competitions. - Yuliya Lierler; Marco Maratea; Francesco Ricca (AI Mag., 2016)

Driving CDCL Search. - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (CoRR, 2016)

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

Information diffusion in a multi-social-network scenario: framework and ASP-based analysis. - Giuseppe Marra; Domenico Ursino; Francesco Ricca; Giorgio Terracina (Knowl. Inf. Syst., 2016)

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). - Carmine Dodaro; Philip Gasteiger; Nicola Leone; Benjamin Musitsch; Francesco Ricca; Konstantin Schekotihin (Theory Pract. Log. Program., 2016)

On the Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (AAAI, 2017)

lp2cpp: A Tool For Compiling Stratified Logic Programs. - Bernardo Cuteri; Alessandro Francesco De Rosis; Francesco Ricca (AI*IA, 2017)

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (IJCAI, 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)

The Design of the Seventh Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (LPNMR, 2017)

A compiler for stratified Datalog programs: preliminary results. - Bernardo Cuteri; Francesco Ricca (SEBD, 2017)

Decomposing and pruning primary key violations from large data sets (discussion paper). - Marco Manna; Francesco Ricca; Giorgio Terracina (SEBD, 2017)

The Sixth Answer Set Programming Competition. - Martin Gebser; Marco Maratea; Francesco Ricca (J. Artif. Intell. Res., 2017)

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (Theory Pract. Log. Program., 2017)

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (AAAI, 2018)

Compute Paracoherent Answer Sets via Saturation. - Francesco Ricca (RiCeRcA@AI*IA, 2018)

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)

A Generator of Hard 2QBF Formulas and ASP Programs. - Giovanni Amendola; Francesco Ricca; Mirek Truszczynski (KR, 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)

Developing ASP Programs with ASPIDE and LoIDE. - Francesco Calimeri; Stefano Germano; Eliana Palermiti; Kristian Reale; Francesco Ricca (Künstliche Intell., 2018)

Empowering ASPQ to Win in QBFEval 2018. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2019)

Computing Modular Paracoherent Answer Sets: Preliminary Result. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2019)

Debugging of Answer Set Programs Using Paracoherent Reasoning. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (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)

An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. - Francesco Ricca (Datalog, 2019)

Algorithm Selection for Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Luca Pulina; Francesco Ricca (JELIA, 2019)

A Logic-Based Question Answering System for Cultural Heritage. - Bernardo Cuteri; Kristian Reale; Francesco Ricca (JELIA, 2019)

Evaluation of Disjunctive Programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 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)

Report on the Second International Joint Conference on Rules and Reasoning. - Christoph Benzmüller; Xavier Parent 001; Francesco Ricca (AI Mag., 2019)

Better Paracoherent Answer Sets with Less Resources. - Giovanni Amendola; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2019)

Paracoherent Answer Set Semantics meets Argumentation Frameworks. - Giovanni Amendola; Francesco Ricca (Theory Pract. Log. Program., 2019)

Beyond NP: Quantifying over Answer Sets. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (Theory Pract. Log. Program., 2019)

Partial Compilation of ASP Programs. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (Theory Pract. Log. Program., 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)

Ontology: Introduction. - Gianluigi Greco; Marco Manna; Francesco Ricca (Encyclopedia of Bioinformatics and Computational Biology (1), 2019)

Knowledge and Reasoning. - Francesco Ricca; Giorgio Terracina (Encyclopedia of Bioinformatics and Computational Biology (1), 2019)

Evaluation of disjunctive programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (Zenodo, 2019)

Compilation of Aggregates in ASP: Preliminary Results. - Giuseppe Mazzotta; Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2020)

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. - Bernardo Cuteri; Carmine Dodaro; Francesco Ricca; Peter Schüller (IJCAI, 2020)

New models for generating hard random boolean formulas and disjunctive logic programs. - Giovanni Amendola; Francesco Ricca; Miroslaw Truszczynski (Artif. Intell., 2020)

Optimum stable model search: algorithms and implementation. - Mario Alviano; Carmine Dodaro; João Marques-Silva 001; Francesco Ricca (J. Log. Comput., 2020)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)

The External Interface for Extending WASP. - Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2020)

The Seventh Answer Set Programming Competition: Design and Results. - Martin Gebser; Marco Maratea; Francesco Ricca (Theory Pract. Log. Program., 2020)

Introduction to the 36th International Conference on Logic Programming Special Issue I. - Francesco Ricca; Alessandra Russo (Theory Pract. Log. Program., 2020)

Introduction to the 36th International Conference on Logic Programming Special Issue II. - Francesco Ricca; Alessandra Russo (Theory Pract. Log. Program., 2020)

A Sequence to Sequence Approach for Knowledge Base Relation Linking. - Vito Barbara; Manuel Borroto; Francesco Ricca (NL4AI@AI*IA, 2021)

Hydrocontrol IT: an attempt to mitigate water losses in Italy towns. - Giuseppe Benvenuto; Salvatore Iiritano; Luigi Mirto; Pasquale Piccione; Massimiliano Ruffolo; Simone Vizza; Manuel Borroto; Francesco Ricca (DP@AI*IA, 2021)

Explaining ASP-based Operating Room Schedules. - Riccardo Bertolucci; Carmine Dodaro; Giuseppe Galatà; Marco Maratea; Ivan Porro; Francesco Ricca (IPS-RCRA@AI*IA, 2021)

A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL. - Manuel Borroto; Francesco Ricca; Bernardo Cuteri (AI*IA, 2021)

Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. - Antonio Ielo; Francesco Ricca (CILC, 2021)

Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System. - Manuel Borroto; Bernardo Cuteri; Francesco Ricca (DeepOntoNLP/X-SENTIMENT@ESWC, 2021)

Testing in ASP: Revisited Language and Programming Environment. - Giovanni Amendola; Tobias Berei; Francesco Ricca (JELIA, 2021)

A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper). - Manuel Alejandro Borroto; Francesco Ricca; Bernardo Cuteri (SEBD, 2021)

Paracoherent answer set computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Artif. Intell., 2021)

Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries. - Manuel A. Borroto Santana; Francesco Ricca; Bernardo Cuteri (CoRR, 2021)

Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). - Christoph Benzmüller; Xavier Parent 001; Francesco Ricca (Theory Pract. Log. Program., 2021)

Compilation of Aggregates in ASP Systems. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2021)

Compilation of Aggregates in ASP Systems. - Giuseppe Mazzotta; Francesco Ricca; Carmine Dodaro (AAAI, 2022)

Compilation of ASP Programs: Recent Developments (Short Paper). - Giuseppe Mazzotta; Carmine Dodaro; Francesco Ricca (DP@AI*IA, 2022)

A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. - Vito Barbara; Dimitri Buelli; Massimo Guarascio 001; Stefano Ierace; Salvatore Iiritano; Giovanni Laboccetta; Nicola Leone; Giuseppe Manco 001; Valerio Pesenti; Alessandro Quarta; Francesco Ricca; Ettore Ritacco (CILC, 2022)

SPARQL-QA enters the QALD challenge. - Manuel Alejandro Borroto Santana; Bernardo Cuteri; Francesco Ricca; Vito Barbara (NLIWoD@ESWC, 2022)

From Graph to Graph - Question Answering using Abstract Meaning Representation. - Manuel Alejandro Borroto Santana; Bernardo Cuteri; Francesco Ricca; Vito Barbara (NLIWoD@ESWC, 2022)

Declarative Mining of Business Processes via ASP. - Antonio Ielo; Francesco Ricca; Luigi Pontieri (PMAI@IJCAI, 2022)

Enumeration of Minimal Models and MUSes in WASP. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (LPNMR, 2022)

Solving Problems in the Polynomial Hierarchy with ASP(Q). - Giovanni Amendola; Bernardo Cuteri; Francesco Ricca; Mirek Truszczynski (LPNMR, 2022)

Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. - Carmine Dodaro; Davide Ilardi; Luca Oneto; Francesco Ricca (LPNMR, 2022)

Pinpointing Axioms in Ontologies via ASP. - Rafael Peñaloza; Francesco Ricca (LPNMR, 2022)

Modelling the Outlier Detection Problem in ASP(Q). - Pierpaolo Bellusci; Giuseppe Mazzotta; Francesco Ricca (PADL, 2022)

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

Enhancing ASP(Q) evaluation. - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2023)

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2023)

ASP-based Axiom Pinpointing for Description Logics. - Ignacio Huitzil; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (Description Logics, 2023)

Compilation of Tight ASP Programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (ECAI, 2023)

Towards ILP-Based LTL f Passive Learning. - Antonio Ielo; Mark Law; Valeria Fionda; Francesco Ricca; Giuseppe De Giacomo; Alessandra Russo (ILP, 2023)

Logic-based Composition of Business Process Models. - Valeria Fionda; Antonio Ielo; Francesco Ricca (KR, 2023)

Neuro-Symbolic techniques for Predictive Maintenance. - Angelica Liguori; Simone Mungari; Ettore Ritacco; Francesco Ricca; Giuseppe Manco 001; Salvatore Iiritano (SEBD, 2023)

Degradation-aware data-enabled predictive control of energy hubs. - Varsha Behrunani; Marta Zagórowska; Mathias Hudoba de Badyn; Francesco Ricca; Philipp Heer; John Lygeros (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)

Compilation of tight ASP programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2023)

ASP and subset minimality: Enumeration, cautious reasoning and MUSes. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (Artif. Intell., 2023)

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. - Vito Barbara; Massimo Guarascio 001; Nicola Leone; Giuseppe Manco 001; Alessandro Quarta; Francesco Ricca; Ettore Ritacco (Theory Pract. Log. Program., 2023)

An Efficient Solver for ASP(Q). - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (Theory Pract. Log. Program., 2023)

SPARQL-QA-v2 system for Knowledge Base Question Answering. - Manuel A. Borroto; Francesco Ricca (Expert Syst. Appl., 2023)

Hybrid Compilation-based ASP solving (Short paper). - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2024)

A Declarative Framework for Temporal Reasoning in Green-Aware Applications. - Giuseppe De Giacomo; Valeria Fionda; Nicola Gigante; Antonio Ielo; Francesco Ricca; Alessandra Russo (GreenAI@AI*IA, 2024)

Efficient Compliance Computation in Probabilistic Declarative Specifications. - Mario Alviano; Antonio Ielo; Francesco Ricca (ICLP Workshops, 2024)

Towards Automatic Composition of ASP Programs from Natural Language Specifications. - Manuel A. Borroto Santana; Irfan Kareem; Francesco Ricca (IJCAI, 2024)

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

Blending Grounding and Compilation for Efficient ASP Solving. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (KR, 2024)

LTLf2ASP: LTLf Bounded Satisfiability in ASP. - Valeria Fionda; Antonio Ielo; Francesco Ricca (LPNMR, 2024)

An ASP-Based Approach to Water Distribution System Reconstruction. - Antonio Ielo; Salvatore Falco; Salvatore Iiritano; Patrizia Piro; Ada Polizzi; Francesco Ricca (LPNMR, 2024)

Using Learning from Answer Sets for Robust Question Answering with LLM. - Irfan Kareem; Katie Gallagher; Manuel A. Borroto; Francesco Ricca; Alessandra Russo (LPNMR, 2024)

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. - Antonio Ielo; Giuseppe Mazzotta; Francesco Ricca; Rafael Peñaloza (OVERLAY, 2024)

A Direct ASP Encoding for Declare. - Francesco Chiariello; Valeria Fionda; Antonio Ielo; Francesco Ricca (PADL, 2024)

Automata-based LTL_f Satisfiability Checking via ASP. - Andrea Cuteri; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas. - Antonio Ielo; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (CoRR, 2024)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. - Giovanni Amendola; Giuseppe Mazzotta; Francesco Ricca; Tobias Berei (Theory Pract. Log. Program., 2024)

Quantifying over Optimum Answer Sets. - Giuseppe Mazzotta; Francesco Ricca; Mirek Truszczynski (Theory Pract. Log. Program., 2024)

Toward Executing Datalog on Big Data Platforms. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2025)

Lazy Atom Discovery in Compilation-Based ASP Solving. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (JELIA (1), 2025)

Ocular surface microbiome: Influences of physiological, environmental, and lifestyle factors. - Vincenzo Rizzuto; Marzia Settino; Giacomo Stroffolini; Giuseppe Covello; Juris Vanags; Marta Naccarato; Roberto Montanari 005; Carlos Rocha de Lossada; Cosimo Mazzotta; Agostino Forestiero; Carlo Adornetto; Miguel Rechichi; et al. (Comput. Biol. Medicine, 2025)

Direct Encoding of Declare Constraints in ASP. - Francesco Chiariello; Valeria Fionda; Antonio Ielo; Francesco Ricca (Theory Pract. Log. Program., 2025)