A Semantical Account of Progression in the Presence of Defaults.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full IJCAI paper archive.