Invariant Logic: A Calculus for Problem Reformulation.

Michael R. Lowry

Browse the full AAAI paper archive.