An Application-independent Support System for Integrated Assumption-based Temporal Reasoning.

Clemens Beckstein, Tim Geisler

Browse the full TIME paper archive.