Socially Adaptive Electronic Partners (SAEP). The overall aim of this VIDI project of Birna van Riemsdijk is to develop a reasoning framework that combines logic and quantitative techniques for Socially Adaptive Electronic Partners (SAEPs) that adapt their behavior to norms and values of people. This becomes more and more important as technology becomes an integral part of our daily lives. The computational reasoning techniques are aimed at determining when and to what extent norm-compliance can be guaranteed, and deciding what to do if in exceptional situations a norm cannot or should not be complied with. We are working on this project together with Pietro Pasotti by studying how to help people with their habits and habit formation.