A Constraint-Based Approach for Proactive, Context-Aware Human Support