welcome: please sign in
location: Diff for "Participants\WASP"
Differences between revisions 3 and 4
Revision 3 as of 2013-05-28 21:39:21
Size: 1765
Comment:
Revision 4 as of 2013-05-28 21:40:49
Size: 1704
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All:read
Line 13: Line 11:
WASP is a native ASP solver that builds upon a number of techniques originally WASP is a native ASP solver built upon a number of techniques originally
Line 20: Line 18:
DLV uses these options: -nofinitecheck, -ODMS+, -filter=put_here_output_predicates
WASP uses these options: --heuristic-berkmin=512, --restarts=32, --delete=0, --polarity=0, --third-competition-output, no-heuristic-aggregates
 * DLV uses these options: -nofinitecheck, -ODMS+, -filter=put_here_output_predicates
 * WASP uses these options: --heuristic-berkmin=512, --restarts=32, --delete=0, --polarity=0, --third-competition-output, no-heuristic-aggregates
Line 23: Line 21:
Supported language: ASPCore 2.0-
We do not support ";" in aggregates and nested arithmetic expressions.
Supported language: ASPCore 2.0 - We do not support ";" in aggregates and nested arithmetic expressions.

DLV + WASP

Team

  • Mario Alviano (University of Calabria)
  • Carmine Dodaro (University of Calabria)
  • Francesco Ricca (University of Calabria)
  • Wolfgang Faber (University of Calabria)
  • Nicola Leone (University of Calabria)

Description

WASP is a native ASP solver built upon a number of techniques originally introduced in SAT, which are extended and properly combined with techniques specifically defined for solving disjunctive ASP programs. Among them are restarts, constraints learning and backjumping. Grounding is carried out by an enhanced version of the DLV grounder able to cope with the main ASPCore2.0 features.

System Settings

  • DLV uses these options: -nofinitecheck, -ODMS+, -filter=put_here_output_predicates
  • WASP uses these options: --heuristic-berkmin=512, --restarts=32, --delete=0, --polarity=0, --third-competition-output, no-heuristic-aggregates

Supported language: ASPCore 2.0 - We do not support ";" in aggregates and nested arithmetic expressions.

References

  • Participant http://www.mat.unical.it/wasp.

  • Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni, The Birth of a WASP: Preliminary Report on a New ASP Solver, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), Pescara, Italy, August 31 - September 2, 2011. ee: http://ceur-ws.org/Vol-810/paper-l06.pdf.

  • Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina, The Disjunctive Datalog System DLV, in Georg Gottlob ed., Datalog 2.0, Springer Berlin/Heidelberg, Lecture Notes in Computer Science (LNCS), vol. 6702, 282--301, 2011.

ASP Competition 2013: Participants\WASP (last edited 2013-05-28 21:40:49 by FrancescoCalimeri)