Logical consensuses for case-based reasoning and for mathematical engineering of AI | IEEE Conference Publication | IEEE Xplore