ParaLog e: a paraconsistent evidential logic programming language | IEEE Conference Publication | IEEE Xplore