I am very happy to say that the paper “Dynamic Constraint Reasoning in Smart Environments” by myself and Alexander Lazovik received Best Student Paper Award on the IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2013)! The paper describes a reasoning tool I worked on during the last implementation phase of the GreenerBuildings project. It uses context information and expected behavior rules to find the best state of devices that can be actuated. The task can be modeled as a constraint satisfaction problem, and the paper describes a way to severely reduce the search space for consecutive CSP tasks. If you are interested, check it out.