#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://www.cs.uni-potsdam.de/wv/claspfolio/|URL]].  
 * Reference [[http://www.cs.uni-potsdam.de/wv/bibtex/gekakascsczi11a.bib|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.