Using α-ctl to specify complex planning goals
Silvio do Lago Pereira Leliane Nunes de Barros; International Workshop on Logic, Language, Information, and Computation - WoLLIC (15. 2008 Edinburgh)
Proceedings Berlin : Springer, 2008
Berlin Springer 2008
Localização:
IME - Inst. Matemática e Estatística
(PROD-3035989 )(Acessar)