A network for closed-world default reasoning | IEEE Conference Publication | IEEE Xplore