KSL/Logic: integration of logic with objects | IEEE Conference Publication | IEEE Xplore