A Portfolio Solver for Answer Set Programming: Preliminary Report
Loading...
File version
Author(s)
Gebser, Martin
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
Schneider, Marius Thomas
Ziller, Stefan
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
Schneider, Marius Thomas
Ziller, Stefan
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
James P. Delgrande, Wolfgang Faber
Date
2011
Size
190131 bytes
File type(s)
application/pdf
Location
License
Abstract
We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp's default configuration as well as manual tuning.
Journal Title
Conference Title
Logic Programming and Nonmonotonic Reasoning
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
© 2011 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com.