AI planning in portal-based workflow management systems | IEEE Conference Publication | IEEE Xplore