Specifying resource allocation and time-tabling problems using a rule-based language | IEEE Conference Publication | IEEE Xplore