@InProceedings{vanzee-etal:ijcai2015,
  Title                    = {AGM Revision of Beliefs about Action and Time},
  Author                   = {Marc van Zee and Mehdi Dastani and Dragan Doder and Leendert van der Torre},
  Booktitle                = {Proceedings of the International Joint Conference on Artificial Intelligence},
  Year                     = {2015},
  Month                    = {July},

  Abstract                 = {The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.},
  Url                      = {https://www.academia.edu/12200284/AGM_Revision_of_Beliefs_about_Action_and_Time}
}