WoMan: Logic-Based Workflow Learning and Management | IEEE Journals & Magazine | IEEE Xplore