Heuristics for Planning with SAT and Expressive Action Definitions
Date
2011
Authors
Rintanen, Jussi
Journal Title
Journal ISSN
Volume Title
Publisher
AAAI Press
Abstract
We present the first effective SAT heuristics for planning with expressive planning languages such as ADL. Recently, SAT heuristics for STRIPS planning have been introduced. In this work we show that the basic ideas in the heuristic can be generalized to
Description
Keywords
Keywords: Conditional effects; Experimental analysis; Fundamental analysis; Planning languages; State of the art; STRIPS planning; Scheduling
Citation
Collections
Source
International Conference on Automated Planning and Scheduling 2011 proceedings
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31