Experience with K-REP: an object-centered knowledge representation language | IEEE Conference Publication | IEEE Xplore