Aspects of Knowledge and Belief-Based Programming door Sabina Petride