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