Tools
Tools
Vallati, Mauro (2010) Combining macros and SAT planning. In: Doctoral Consortium of the 11th Italian Association of Artificial Intelligence, 1st - 3rd December 2010, Brescia, Italy.
![[img]](http://eprints.hud.ac.uk/style/images/fileicons/application_pdf.png)
| PDF - Published Version Download (475kB) | Preview |
Official URL: http://aixia10.ing.unibs.it/index.php?option=com_c...
Abstract
Planning based on propositional satisfiability is a powerful approach for computing makespan-optimal plans. However, it is usually slower then heuristic-based sub-optimal approaches. In this work we propose MacroSatPlan; a SatPlan based planner which exploits macros extracted by Macro-FF and uses a predictive model of the optimal solution length that is constructed by WEKA, a commonly used toolkit of machine learning algorithms.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
| Schools: | School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces School of Computing and Engineering |
| Depositing User: | Mauro Vallati |
| Date Deposited: | 24 Oct 2012 16:39 |
| Last Modified: | 24 Oct 2012 16:39 |
| URI: | http://eprints.hud.ac.uk/id/eprint/15367 |
Item control for Repository Staff only:
| View Item |