Title: Constraint Satisfaction Techniques for Agent-Based Reasoning