Reasoning With Characteristic Models.

Henry A. Kautz, Michael J. Kearns, Bart Selman

Browse the full AAAI paper archive.