What is default reasoning good for? Applications revisited | IEEE Conference Publication | IEEE Xplore