Home » Publication » 16905

Dettaglio pubblicazione

2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Pages 2003-2008

Computing infinite plans for LTL goals using a classical planner (04b Atto di convegno in volume)

Patrizi Fabio, Lipovetzky Nir, DE GIACOMO Giuseppe, Hector Geffner

ISBN: 9781577355120
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma