Answer set programming and agents