1 code implementation • 2 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.
1 code implementation • 11 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.
no code implementations • 21 Jul 2017 • Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for nonmonotonic reasoning.
no code implementations • 13 Jul 2017 • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
One of the successes of ASP is the availability of efficient systems.
no code implementations • 16 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.
no code implementations • 15 Nov 2016 • Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs.
no code implementations • 22 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.
no code implementations • 14 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.
no code implementations • 14 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.
no code implementations • 5 May 2014 • Marco Maratea, Luca Pulina, Francesco Ricca
MEASP is a multi-engine solver for ground ASP programs.
no code implementations • 28 Apr 2014 • Mario Alviano, Carmine Dodaro, Francesco Ricca
This paper reports on the recent improvements of the ASP solver WASP.
no code implementations • 20 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.
no code implementations • 1 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.
no code implementations • 5 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.
no code implementations • 19 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.
no code implementations • 22 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.
no code implementations • 22 Jul 2019 • Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for logic programming.
no code implementations • 22 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.
no code implementations • 24 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.
no code implementations • 19 Sep 2020 • Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
no code implementations • 4 Nov 2021 • Manuel A. Borroto Santana, Francesco Ricca, Bernardo Cuteri
Accessing the large volumes of information available in public knowledge bases might be complicated for those users unfamiliar with the SPARQL query language.
no code implementations • 17 May 2023 • Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco
In particular, assessing the compliance of a product with the relative schematic is a time-consuming and prone-to-error process.
1 code implementation • 17 May 2023 • Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
In this paper, we present a new implementation that builds on the ideas of qasp and features both a more efficient encoding procedure and new optimized encodings of ASP(Q) programs in QBF.
no code implementations • 4 Jul 2023 • Varsha Behrunani, Marta Zagorowska, Mathias Hudoba de Badyn, Francesco Ricca, Philipp Heer, John Lygeros
Mitigating the energy use in buildings, together with satisfaction of comfort requirements are the main objectives of efficient building control systems.
no code implementations • 4 Jan 2024 • Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
Indeed, the first unit testing specification language for ASP was proposed in 2011 as a feature of the ASPIDE development environment.
no code implementations • 7 Mar 2024 • Manuel Borroto, Irfan Kareem, Francesco Ricca
This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications.