UnissResearch

Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Engineering portfolios of Machine Learning algorithms to solve complex tasks in robotics and automated reasoning

Pulina, Luca (2010) Engineering portfolios of Machine Learning algorithms to solve complex tasks in robotics and automated reasoning. AI Communications, Vol. 23 (1), p. 61-63. eISSN 1875-8452. Article.

Full text not available from this repository.

Alternative URLs:

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.

Item Type:Article
ID Code:7108
Status:Published
Refereed:Yes
Uncontrolled Keywords:Algorithm portfolios, automated reasoning, Machine Learning (ML), quantified boolean formulas
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:IOS Press
eISSN:1875-8452
Deposited On:14 Feb 2012 11:26

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page