Francesco Ricca

Available identifiers

zbMath Open ricca.francescoMaRDI QIDQ899443

List of research outcomes

Publication	Date of Publication	Type
ASP and subset minimality: enumeration, cautious reasoning and MUSes	2023-06-27	Paper
Enumeration of minimal models and MUSes in WASP	2023-04-04	Paper
Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring	2023-04-04	Paper
Pinpointing axioms in ontologies via ASP	2023-04-04	Paper
Solving problems in the polynomial hierarchy with ASP(Q)	2023-04-04	Paper
Testing in ASP: revisited language and programming environment	2021-12-01	Paper
Paracoherent answer set computation	2021-11-02	Paper
The Seventh Answer Set Programming Competition: Design and Results	2021-09-03	Paper
The External Interface for Extending WASP	2021-09-03	Paper
ASP-Core-2 Input Language Format	2021-09-03	Paper
Optimum stable model search: algorithms and implementation	2020-08-05	Paper
Paracoherent Answer Set Semantics meets Argumentation Frameworks	2020-05-04	Paper
Beyond NP: Quantifying over Answer Sets	2020-05-04	Paper
Better Paracoherent Answer Sets with Less Resources	2020-05-04	Paper
Partial Compilation of ASP Programs	2020-05-04	Paper
Algorithm selection for paracoherent answer set computation	2020-02-18	Paper
A logic-based question answering system for cultural heritage	2020-02-18	Paper
New models for generating hard random Boolean formulas and disjunctive logic programs	2020-01-20	Paper
Evaluation of disjunctive programs in WASP	2019-10-10	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
Debugging Non-ground ASP Programs: Technique and Graphical Tools	2019-09-19	Paper
Taming primary key violations to query large inconsistent data via ASP	2017-11-09	Paper
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)	2017-11-09	Paper
The Sixth Answer Set Programming Competition	2017-10-24	Paper
The design of the Seventh Answer Set Programming Competition	2017-09-05	Paper
The ASP system DLV2	2017-09-05	Paper
Design and results of the Fifth Answer Set Programming Competition	2015-12-28	Paper
Multi-engine ASP solving with policy adaptation	2015-12-28	Paper
Advances in WASP	2015-11-04	Paper
Interactive Debugging of Non-ground ASP Programs	2015-11-04	Paper
Multi-level Algorithm Selection for ASP	2015-11-04	Paper
The Design of the Sixth Answer Set Programming Competition	2015-11-04	Paper
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario	2015-01-14	Paper
Anytime Computation of Cautious Consequences in Answer Set Programming	2014-11-25	Paper
Applying Machine Learning Techniques to ASP Solving	2014-02-25	Paper
Towards Query Answering in Relational Multi-Context Systems	2013-10-10	Paper
Consistent query answering via ASP from different perspectives: Theory and practice	2013-06-26	Paper
Parallel instantiation of ASP programs: techniques and experiments	2013-06-26	Paper
Team-building with answer set programming in the Gioia-Tauro seaport	2012-08-30	Paper
Look-back Techniques for ASP Programs with Aggregates	2012-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q3100235	2011-11-23	Paper
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis	2011-05-26	Paper
Answer Set Programming	2010-07-20	Paper
OntoDLV: An ASP-based System for Enterprise Ontologies	2009-08-24	Paper
Experimenting with parallelism for the instantiation of ASP programs	2008-09-29	Paper
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers	2008-09-29	Paper
On look-ahead heuristics in disjunctive logic programming	2008-04-21	Paper
Experimenting with Look-Back Heuristics for Hard ASP Programs	2007-11-13	Paper
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system	2007-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q5490663	2006-10-04	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Ricca