Logical control of an elevator with defeasible logic | IEEE Journals & Magazine | IEEE Xplore