A General Labeling Algorithm for Assumption-Based Truth Maintenance.

Johan de Kleer

Browse the full AAAI paper archive.