Computing Abstraction Hierarchies by Numerical Simulation.

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh

Browse the full AAAI paper archive.