Resource allocation with answer-set programming. - João Leite 001; José Júlio Alferes; Belopeta Mito (AAMAS (1), 2009)