Constraint Satisfaction Techniques for Agent-Based Reasoning by Nicoleta Neagu