Implementing Belief Change in the Situation Calculus and an Application

Maurice PagnuccoMaurice Pagnucco, David RajaratnamDavid Rajaratnam, Hannes StraßHannes Straß, Michael ThielscherMichael Thielscher

Download

Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application
Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of LNAI, 439--451, September 2013. Springer-Verlag Berlin Heidelberg

Details
Bibtex

@inproceedings{PRST2013,
  author    = {Maurice Pagnucco and David Rajaratnam and Hannes Stra{\ss} and
               Michael Thielscher},
  title     = {Implementing Belief Change in the Situation Calculus and an
               Application},
  booktitle = {Proceedings of the Twelfth International Conference on Logic
               Programming and Nonmonotonic Reasoning (LPNMR)},
  series    = {LNAI},
  volume    = {8148},
  publisher = {Springer-Verlag Berlin Heidelberg},
  year      = {2013},
  month     = {September},
  pages     = {439--451}
}