Nurse scheduling via answer set programming