Francesco Ricca

From MaRDI portal
Person:899443

Available identifiers

zbMath Open ricca.francescoMaRDI QIDQ899443

List of research outcomes

PublicationDate of PublicationType
ASP and subset minimality: enumeration, cautious reasoning and MUSes2023-06-27Paper
Enumeration of minimal models and MUSes in WASP2023-04-04Paper
Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring2023-04-04Paper
Pinpointing axioms in ontologies via ASP2023-04-04Paper
Solving problems in the polynomial hierarchy with ASP(Q)2023-04-04Paper
Testing in ASP: revisited language and programming environment2021-12-01Paper
Paracoherent answer set computation2021-11-02Paper
The Seventh Answer Set Programming Competition: Design and Results2021-09-03Paper
The External Interface for Extending WASP2021-09-03Paper
ASP-Core-2 Input Language Format2021-09-03Paper
Optimum stable model search: algorithms and implementation2020-08-05Paper
Paracoherent Answer Set Semantics meets Argumentation Frameworks2020-05-04Paper
Beyond NP: Quantifying over Answer Sets2020-05-04Paper
Better Paracoherent Answer Sets with Less Resources2020-05-04Paper
Partial Compilation of ASP Programs2020-05-04Paper
Algorithm selection for paracoherent answer set computation2020-02-18Paper
A logic-based question answering system for cultural heritage2020-02-18Paper
New models for generating hard random Boolean formulas and disjunctive logic programs2020-01-20Paper
Evaluation of disjunctive programs in WASP2019-10-10Paper
Enhancing DLV for large-scale reasoning2019-10-10Paper
Debugging Non-ground ASP Programs: Technique and Graphical Tools2019-09-19Paper
Taming primary key violations to query large inconsistent data via ASP2017-11-09Paper
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)2017-11-09Paper
The Sixth Answer Set Programming Competition2017-10-24Paper
The design of the Seventh Answer Set Programming Competition2017-09-05Paper
The ASP system DLV22017-09-05Paper
Design and results of the Fifth Answer Set Programming Competition2015-12-28Paper
Multi-engine ASP solving with policy adaptation2015-12-28Paper
Advances in WASP2015-11-04Paper
Interactive Debugging of Non-ground ASP Programs2015-11-04Paper
Multi-level Algorithm Selection for ASP2015-11-04Paper
The Design of the Sixth Answer Set Programming Competition2015-11-04Paper
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario2015-01-14Paper
Anytime Computation of Cautious Consequences in Answer Set Programming2014-11-25Paper
Applying Machine Learning Techniques to ASP Solving2014-02-25Paper
Towards Query Answering in Relational Multi-Context Systems2013-10-10Paper
Consistent query answering via ASP from different perspectives: Theory and practice2013-06-26Paper
Parallel instantiation of ASP programs: techniques and experiments2013-06-26Paper
Team-building with answer set programming in the Gioia-Tauro seaport2012-08-30Paper
Look-back Techniques for ASP Programs with Aggregates2012-07-04Paper
https://portal.mardi4nfdi.de/entity/Q31002352011-11-23Paper
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis2011-05-26Paper
Answer Set Programming2010-07-20Paper
OntoDLV: An ASP-based System for Enterprise Ontologies2009-08-24Paper
Experimenting with parallelism for the instantiation of ASP programs2008-09-29Paper
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers2008-09-29Paper
On look-ahead heuristics in disjunctive logic programming2008-04-21Paper
Experimenting with Look-Back Heuristics for Hard ASP Programs2007-11-13Paper
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system2007-07-25Paper
https://portal.mardi4nfdi.de/entity/Q54906632006-10-04Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Francesco Ricca