Dagstuhl Seminar Proceedings: Formal Models of Belief Change in Rational Agents 2007