Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class Bernhard Nebel OriginalPaper Pages: 175 - 190
Interval propagation to reason about sets: Definition and implementation of a practical language Carmen Gervet OriginalPaper Pages: 191 - 244
Constraint Logic Programming and Integer Programming approaches and their collaboration in solving an assignment scheduling problem Ken Darby-DowmanJames LittleMarco Zaffalon OriginalPaper Pages: 245 - 264