Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.

Raymond Reiter, Johan de Kleer

Browse the full AAAI paper archive.