Towards an Axiom System for Default Logic.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full AAAI paper archive.