135 citations · 319 across the 25 of their papers we have counts for
3 papers · 1 filter
The External Interface for Extending WASP
Carmine Dodaro, Francesco Ricca
Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the Conflict-Driv…
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Carmine Dodaro, Philip Gasteiger, Kristian Reale +2
Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple…
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF f…