welcome: please sign in
location: Diff for "Participants\claspfolio(-mt)"
Differences between revisions 6 and 7
⇤ ← Revision 6 as of 2013-05-23 21:57:12 →
Size: 1245
Editor: FrancescoCalimeri
Comment:
← Revision 7 as of 2013-05-23 21:58:15 → ⇥
Size: 1244
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 32: Line 32:
=== caspfolio-mt === '''caspfolio-mt:'''

claspfolio(-mt) / Potassco

Team

  • Roland Kaminski
  • Martin Gebser
  • Benjamin Kaufmann
  • Torsten Schaub
  • Marius Schneider

Description

claspfolio uses:

  • python 2.7
  • language asp-core 2
  • grounder: gringo (4.0)
  • feature extractor: claspre (2.0)
  • algorithm selector: k-means
  • solver: clasp 2.1.x configurations

System Settings

  • maximal time for feature computation: 60 seconds
  • feature normalization: z-score
  • feature selection
  • presolver
  • portfolio size: 12

caspfolio-mt:

  • at most 3 clasp configuration ran in parallel (without communication)

References

  • Participant URL.

  • Reference URL

  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Schneider and Stefan Ziller. A Portfolio Solver for Answer Set Programming: Preliminary Report. In J. Delgrande and W. Faber. Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), LNAI 6645, S. 352-357, Springer Verlag, 2011.

ASP Competition 2013: Participants\claspfolio(-mt) (last edited 2013-05-26 15:02:23 by FrancescoCalimeri)