Constraint Satisfaction Techniques for Agent-Based Reasoning (Whitestein Series in Software Agent Technologies and Autonomic Computing)