Distributed Systems

Viktoriya and Alexander have received the Best Student Paper Award of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI) for the paper Dynamic Constraint Reasoning in Smart Environments. The paper describes a reasoning engine that dynamically reduces the solution search space for consecutive CSP solving in context-aware systems, such as those necessary for saving energy in buildings.