Publications
- 2020
- Published
Towards TempoRL Learning When to Act
Biedenkapp, A., Rajan, R., Hutter, F. & Lindauer, M. T., 2020. 7 p.Research output: Contribution to conference › Paper › Research › peer review
- 2017
- Published
Active coevolutionary learning of requirements specifications from examples.
Wever, M., Rooijen, L. V. & Hamann, H., 2017, GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference. p. 1327-1334 8 p. (Proceedings of the Genetic and Evolutionary Computation Conference).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization: 27th Workshop Computational Intelligence
Wever, M. D., Mohr, F. (ed.) & Hüllermeier, E. (ed.), 2017, p. 149-166. 18 p.Research output: Contribution to conference › Paper › Research › peer review
- 2015
- Published
AutoFolio: Algorithm Configuration for Algorithm Selection.
Lindauer, M., Hoos, H. H., Hutter, F. & Schaub, T., 2015, AAAI Workshop: Algorithm Configuration.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2014
- Published
Solver Scheduling via Answer Set Programming.
Hoos, H. H., Kaminski, R., Lindauer, M. & Schaub, T., 2014, In: Computing Research Repository (CoRR). abs/1401.1024Research output: Contribution to journal › Article › Research › peer review
- 2013
- Published
Ricochet Robots: A Transverse ASP Benchmark.
Gebser, M., Jost, H., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T. & Schneider, M., 2013, LPNMR. p. 348-360 13 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Robust Benchmark Set Selection for Boolean Constraint Solvers.
Hoos, H. H., Kaufmann, B., Schaub, T. & Schneider, M., 2013, LION. p. 138-152 15 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2012
- Published
aspeed: ASP-based Solver Scheduling.
Hoos, H. H., Kaminski, R., Schaub, T. & Schneider, M., 2012, ICLP (Technical Communications). p. 176-187 12 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Quantifying Homogeneity of Instance Sets for Algorithm Configuration.
Schneider, M. & Hoos, H. H., 2012, LION. p. 190-204 15 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Surviving Solver Sensitivity: An ASP Practitioner's Guide.
Silverthorn, B., Lierler, Y. & Schneider, M., 2012, ICLP (Technical Communications). p. 164-175 12 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2011
- Published
Centurio, a General Game Player: Parallel, Java- and ASP-based.
Möller, M., Schneider, M., Wegner, M. & Schaub, T., 2011, In: Künstliche Intell.. 25, 1, p. 17-24 8 p., 1.Research output: Contribution to journal › Article › Research › peer review
- Published
Potassco: The Potsdam Answer Set Solving Collection.
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T. & Schneider, M., 2011, In: AI Commun.. 24, 2, p. 107-124 18 p., 2.Research output: Contribution to journal › Article › Research › peer review