Part II | part of The Logic of Knowledge Bases | MIT Press books | IEEE Xplore