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

Authors:
Luca Pulina
Affiliations:
Università degli Studi di Genova, Dipartimento di Informatica, Sistemistica e Telematica, Viale Causa, Genova, Italy. E-mail: luca.pulina@unige.it
Venue:
AI Communications
Year:
2010

Citing 8
Cited 0

Data Mining

Data Mining
Cross-disciplinary perspectives on meta-learning for algorithm selection

ACM Computing Surveys (CSUR)
A self-adaptive multi-engine solver for quantified Boolean formulas

Constraints
SATzilla: portfolio-based algorithm selection for SAT

Journal of Artificial Intelligence Research
A structural approach to reasoning with quantified Boolean formulas

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Minimal module extraction from DL-lite ontologies using QBF solvers

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A multi-engine solver for quantified boolean formulas

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Learning to integrate deduction and search in reasoning about quantified boolean formulas

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems

Quantified Score

Hi-index	0.00

Visualization

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.