Implementing Belief Change in the Situation Calculus and an Application
Aus International Center for Computational Logic
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
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}
}