Implementing Belief Change in the Situation Calculus and an Application

From International Center for Computational Logic

Toggle side column

Implementing Belief Change in the Situation Calculus and an Application

Maurice PagnuccoMaurice Pagnucco,  David RajaratnamDavid Rajaratnam,  Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher
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
    @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}
    }