@inproceedings{a68f080507b44d51bd44a9781199c097,
title = "Implementing belief change in the situation calculus and an application",
abstract = "![CDATA[Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for some time yet there is no extant implementation. We develop a practical implementation of belief and belief change in the Situation Calculus based on default logic for which we have an implemented solver. After establishing the mapping with default logic we demonstrate how belief change in the Situation Calculus can be used to solve an interesting problem in robotics - reasoning with misleading information. Motivated by a challenge in the RoboCup@Home competition, we give a solution to the problem of planning robustly in cases where operators provide the robot with misleading or incorrect information.]]",
author = "Maurice Pagnucco and David Rajaratnam and Hannes Strass and Michael Thielscher",
year = "2013",
doi = "10.1007/978-3-642-40564-8_44",
language = "English",
isbn = "9783642405631",
publisher = "Springer",
pages = "439--451",
booktitle = "Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013",
note = "LPNMR (Conference) ; Conference date: 15-09-2013",
}