Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning

Article type: Other

Authors: Pulina, Luca

Affiliations: Università degli Studi di Genova, Dipartimento di Informatica, Sistemistica e Telematica, Viale Causa, Genova, Italy. E-mail: luca.pulina@unige.it

Abstract: This report provides a summary of a dissertation focusing in the application of Machine Learning (ML) techniques to solve complex tasks both in Robotics and Automated Reasoning. In particular, we focus on the contributions achieved in engineering ML techniques to yield a robust solver for quantified Boolean formulas.

Keywords: Algorithm portfolios, Automated Reasoning, Machine Learning, quantified Boolean formulas

DOI: 10.3233/AIC-2010-0471

Journal: AI Communications, vol. 23, no. 1, pp. 61-63, 2010