An Algebraic Foundation for Truth Maintenance.

Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav

Browse the full IJCAI paper archive.