A Hierarchical Task-Network Planner based on Symbolic Model Checking

Kuter, U.; Nau, D.; Pistore, Marco; Traverso, P.

A Hierarchical Task-Network Planner based on Symbolic Model Checking

U. Kuter;D. Nau;Pistore, Marco;P. Traverso

2005-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2005
			
	Titolo del volume (Proceedings title)
	
				Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling. ICAPS
			
	Luogo di edizione (Place of publication)
	
				Monterey, California
			
	Casa editrice (Publisher)
	
				AAAI Press
			
	ISBN
	
				9781577352204
			
	Tutti gli autori
	
						U., Kuter; D., Nau; Pistore, Marco; P., Traverso
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)