Article thumbnail
Location of Repository

Engineering portfolios of Machine Learning algorithms to solve complex tasks in robotics and automated reasoning

By Luca Pulina


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

Topics: ING-INF/05 Sistemi di elaborazione delle informazioni
Publisher: IOS Press
Year: 2010
OAI identifier:
Provided by: UnissResearch
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.