Constraint Deduction in an Interval-based Temporal Logic.

Jana Koehler, Ralf Treinen

Browse the full IJCAI paper archive.