16 citations · 71 across the 26 of their papers we have counts for
9 papers · 1 filter
ValAsp: a tool for data validation in Answer Set Programming
Mario Alviano, Carmine Dodaro, Arnel Zamayla
The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validati…
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, Johannes K. Fichte +3
Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer…
Shared aggregate sets in answer set programming
Mario Alviano, Carmine Dodaro, Marco Maratea
Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of…
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Mario Alviano, Carmine Dodaro, Matti Järvisalo +2
Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the proposition…
Anytime answer set optimization via unsatisfiable core shrinking
Mario Alviano, Carmine Dodaro
Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analy…
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Mario Alviano, Francesco Calimeri, Wolfgang Faber +2
Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set…
Complexity of super-coherence problems in ASP
Mario Alviano, Wolfgang Faber, Stefan Woltran
Adapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic…
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
Francesco Ricca, Giovanni Grasso, Mario Alviano +4
(To appear in Theory and Practice of Logic Programming (TPLP).) The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management ta…
Dynamic Magic Sets for Super-Consistent Answer Set Programs
Mario Alviano, Wolfgang Faber
For many practical applications of ASP, for instance data integration or planning, query answering is important, and therefore query optimization techniques for ASP are of great in…