Decidability and Undecidability Results for Planning with Numerical State Variables
Type of publication: | Inproceedings |
Citation: | helmert02aips |
Booktitle: | Proc. of the Int. Conf. on Artificial Intelligence Planning and Scheduling |
Year: | 2002 |
Pages: | 44-53 |
Userfields: | date-added={2012-09-25 10:06:31 +0200}, date-modified={2012-09-25 10:06:31 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|