Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Vallati, Mauro
Languages: English
Types: Unknown
Subjects: Q1, QA75, QA76
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 2005. Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators. JAIR, 24:581-621.
    • Ee`n, N.; So¨rensson, N. 2003. An Extensible SAT-solver In Proc. of SAT-03.
    • Richter, S. Helmert, M., and Westphal, M. 2007. Landmarks revisited. In Proc. of 23rd Conf. on Artificial Intelligence (AAAI-07).
    • Hoffmann, J., and Nebel, B. 2001. The FF planning system: fast plan generation through heuristic search. JAIR, 14:253-302.
    • Kautz, H.; Selman, B. 1992. Planning as satisfiability. In Proc. of ECAI-92.
    • Helmert, M. 2006 The Fast Downward Planning System JAIR, 26:191-246.
    • 2009 ParamILS: An Automatic Algorithm Configuration Framework JAIR, 36:267-306.
    • Blum, A., and Furst, M., L. 1997. Fast planning through planning graph analysis. Artificial Intelligence 90:pp. 281- 300.
    • Gerevini, A.; Saetti, A.; and Serina, I. 2005. Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows. In Proceedings of IJCAI-05.
    • 2007. Learning macro-actions for arbitrary planners and domains. In Proc. of ICAPS-07.
    • Vallati, M.; Fawcett, C.; Gerevini, A.; Hoos, H.; and Saetti, A.. 2011. 7th IPC - Learning Track - Technical Report http://www.plg.inf.uc3m.es/ipc2011-learning/ Gerevini, A. E.; Saetti, A.; and Vallati, M. 2009. An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP. In Proc. of ICAPS09.
    • Gerevini, A. E.; Saetti, A.; and Vallati, M. 2010. Optimal SAT-based Planning with Macro-actions and Learned Horizons. In Proc. of PlanSIG10.
    • Hutter, F.; Babic´, D.; Hoos, H. H.; and Hu, A. J. 2007.
    • Boosting verification by automatic tuning of decision procedures. In Formal Methods in Computer-Aided Design, 27-34. IEEE CS Press.
    • Hutter, F.; Hoos, H. H.; and Leyton-Brown, K. 2010.
    • Automated configuration of mixed integer programming solvers. In Proc. of CPAIOR-10.
    • Richter, S. Helmert, M., and Westphal, M. 2007. Landmarks revisited. In Proc. of 23rd Conf. on Artificial Intelligence (AAAI-07).
    • Witten, I. H., and Frank, E. 2005. Data Mining: Practical Machine Learning Tools and Techniques (Second Edition).
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article