|
Size: 1244
Comment:
|
← Revision 8 as of 2013-05-26 15:02:23 ⇥
Size: 1379
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| * Roland Kaminski * Martin Gebser * Benjamin Kaufmann * Torsten Schaub * Marius Schneider |
* Roland Kaminski (University of Potsdam) * Martin Gebser (University of Potsdam) * Benjamin Kaufmann (University of Potsdam) * Torsten Schaub (University of Potsdam) * Marius Schneider (University of Potsdam) |
claspfolio(-mt) / Potassco
Team
- Roland Kaminski (University of Potsdam)
- Martin Gebser (University of Potsdam)
- Benjamin Kaufmann (University of Potsdam)
- Torsten Schaub (University of Potsdam)
- Marius Schneider (University of Potsdam)
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.