Algebraic interval constraint driven exploration in human-agent collaborative problem solving | IEEE Conference Publication | IEEE Xplore