A portfolio solver for answer set programming: Preliminary report

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6645 LNAI, Issue , 2011, Pages 352-357

  Gebser, Martin ^a   Kaminski, Roland ^a   Kaufmann, Benjamin ^a   Schaub, Torsten ^a   Schneider, Marius Thomas ^a   Ziller, Stefan ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; MANUAL TUNING; SUPPORT VECTOR REGRESSIONS; SUPPORT VECTOR REGRESSION (SVR);

LOGIC PROGRAMMING;

COMPUTER CIRCUITS; COMPUTER PROGRAMMING;

EID: 79955765280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20895-9_40     Document Type: Conference Paper

References (16)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386-392. AAAI Press, Menlo Park (2007)
3. Pipatsrisawat, K., Darwiche, A.: On the power of clause-learning SAT solvers with restarts. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 654-668. Springer, Heidelberg (2009)
4. Xu, L., Hutter, F.,Hoos, H., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. JAIR 32, 565-606 (2008)
5. Basak, D., Pal, S., Patranabis, D.: Support vector regression. NIP 11(10), 203-224 (2007)
6. Hutter, F., Hoos, H., Leyton-Brown, K., Stützle, T.: ParamILS: An automatic algorithm configuration framework. JAIR 36, 267-306 (2009)
7. http://potassco.sourceforge.net
8. http://www.csie.ntu.edu.tw/~cjlin/libsvm
9. Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczyński, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 637-654. Springer, Heidelberg (2009)
10. Balduccini, M.: Learning domain-specific heuristics for answer set solvers. In: ICLP 2010 Tech. Comm., pp. 14-23 (2010)
11. Xu, L., Hoos, H., Leyton-Brown, K.: Hydra: Automatically configuring algorithms for portfolio-based selection. In: AAAI 2010, pp. 210-216. AAAI Press, Menlo Park (2010)
12. Gagliolo,M., Schmidhuber, J.: Learning dynamic algorithm portfolios. AMAI 47(3-4), 295-328 (2006)
13. Samulowitz, H., Memisevic, R.: Learning to solve QBF. In: AAAI 2007, pp. 255-260. AAAI Press, Menlo Park (2007) (Pubitemid 350149583)
14. O'Mahony, E., Hebrard, E., Holland, A., Nugent, C., O'Sullivan, B.: Using case-based reasoning in an algorithm portfolio for constraint solving. In: AICS 2008 (2008)
15. Pulina, L., Tacchella, A.: A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints 14(1), 80-116 (2009)
16. Arbelaez, A., Hamadi, Y., Sebag, M.: Continuous search in constraint programming. In: ICTAI 2010, pp. 53-60. IEEE Press, Los Alamitos (2010)