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
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords