Belief revision and computer science - Wassermann, Renata (European Conference on Artificial Intelligence - ECAI, 2012)