Jorge Lobo Gisela Mendez Stuart R. Taylor Knowledge and the Action Description Language A. 129-184 2001 1 TPLP 2 db/journals/tplp/tplp1.html#LoboMT01