About logic-based A.I. systems that must handle incoming symbolic knowledge | IEEE Conference Publication | IEEE Xplore