Truth Maintenance Systems (ECAI Workshop)