Title: Constraint Satisfaction Techniques For Agent-based Reasoning (Whitestein Series in Software Agent Technologies)