On the importance of domain model configuration for automated planning engines

DOI10.1007/s10817-021-09592-1MaRDI 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 engineering; reformulation; automated planning

Mathematics Subject Classification ID

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

Related Items

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