Knowledge-Based Reactive Scheduling