Search Results for author: Francesco Ricca

Found 20 papers, 1 papers with code

ASP-Core-2 Input Language Format

no code implementations11 Nov 2019 Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub

Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications.

Partial Compilation of ASP Programs

no code implementations24 Jul 2019 Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

In this paper, we propose an extended architecture for ASP systems, in which parts of the input program are compiled into an ad-hoc evaluation algorithm (i. e., we obtain a specific binary for a given program), and might not be subject to the grounding step.

Beyond NP: Quantifying over Answer Sets

no code implementations22 Jul 2019 Giovanni Amendola, Francesco Ricca, Mirek Truszczynski

Arguably, ASP(Q) allows one to model problems in the Polynomial Hierarchy in a direct way, providing an elegant expansion of ASP beyond the class NP.

Better Paracoherent Answer Sets with Less Resources

no code implementations22 Jul 2019 Giovanni Amendola, Carmine Dodaro, Francesco Ricca

Answer Set Programming (ASP) is a well-established formalism for logic programming.

Paracoherent Answer Set Semantics meets Argumentation Frameworks

no code implementations22 Jul 2019 Giovanni Amendola, Francesco Ricca

In particular, great attention has been given to the well-known stable extensions of an AF, that are closely related to the answer sets of a logic program.

Abstract Argumentation

The Seventh Answer Set Programming Competition: Design and Results

no code implementations19 Apr 2019 Martin Gebser, Marco Maratea, Francesco Ricca

Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning.

The External Interface for Extending WASP

no code implementations5 Nov 2018 Carmine Dodaro, Francesco Ricca

Moreover, we review the applications of the interface witnessing it can be successfully used to extend WASP for solving effectively hard instances of both real-world and synthetic problems.

Debugging Non-Ground ASP Programs: Technique and Graphical Tools

no code implementations1 Aug 2018 Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning.

On the Computation of Paracoherent Answer Sets

no code implementations21 Jul 2017 Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

Answer Set Programming (ASP) is a well-established formalism for nonmonotonic reasoning.

Driving CDCL Search

no code implementations16 Nov 2016 Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin

The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others.

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

1 code implementation2 Aug 2016 Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn Shchekotykhin

In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP.

Taming Primary Key Violations to Query Large Inconsistent Data

no code implementations22 Jul 2015 Marco Manna, Francesco Ricca, Giorgio Terracina

Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming.

The Design of the Fifth Answer Set Programming Competition

no code implementations14 May 2014 Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca

Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning.

Anytime Computation of Cautious Consequences in Answer Set Programming

no code implementations14 May 2014 Mario Alviano, Carmine Dodaro, Francesco Ricca

Query answering in Answer Set Programming (ASP) is usually solved by computing (a subset of) the cautious consequences of a logic program.

Preliminary Report on WASP 2.0

no code implementations28 Apr 2014 Mario Alviano, Carmine Dodaro, Francesco Ricca

This paper reports on the recent improvements of the ASP solver WASP.

A Multi-Engine Approach to Answer Set Programming

no code implementations20 Jun 2013 Marco Maratea, Luca Pulina, Francesco Ricca

Then, we apply classification methods that, given the features of the instances in a {\sl training} set and the solvers' performance on these instances, inductively learn algorithm selection strategies to be applied to a {\sl test} set.

Cannot find the paper you are looking for? You can Submit a new open access paper.