An abductive-based scheduler for air-crew assignment (2001)

by A C Kakas, A Michael
Venue:Applied Artificial Intelligence