On the importance of domain model configuration for automated planning engines

DOI10.1007/S10817-021-09592-1OpenAlexW3149159835MaRDI QIDQ2666958

Frank Hutter, T. L. McCluskey, Mauro Vallati, Lukáš Chrpa

Publication date: 23 November 2021

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.07710

zbMATH Keywords

knowledge engineeringreformulationautomated planning

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Planning with Critical Section Macros: Theory and Practice ⋮ A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning

Uses Software

• Paramils
• PDDL
• SMAC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithm runtime prediction: methods \& evaluation
• The configurable SAT solver challenge (CSSC)
• Macro-operators: A weak method for learning
• Engineering and compiling planning domain models to promote validity and efficiency
• On the impact of configuration on abstract argumentation automated reasoning
• MADS/F-Race: Mesh Adaptive Direct Search Meets F-Race
• ParamILS: An Automatic Algorithm Configuration Framework
• Random forests

This page was built for publication: On the importance of domain model configuration for automated planning engines