@article{RensVarzinczakMeyeretal.2010,
  author    = {Rens, Gavin and Varzinczak, Ivan and Meyer, Thomas and Ferrein, Alexander},
  title     = {A Logic for Reasoning about Actions and Explicit Observations},
  series = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  journal   = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-642-17431-5},
  pages     = {395 -- 404},
  year      = {2010},
  language  = {en}
}
@article{FerreinRensMeyeretal.2011,
  author    = {Ferrein, Alexander and Rens, Gavin and Meyer, Thomas and Lakemeyer, Gerhard},
  title     = {A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)},
  journal   = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)},
  pages     = {15 -- 22},
  year      = {2011},
  language  = {en}
}