Logos: a constraint-directed reasoning shell for operations management | IEEE Journals & Magazine | IEEE Xplore