Christoph Schwering. Reasoning in the Situation Calculus with Limited Belief. In Andrew S. Gordon, Rob Miller 0002, György Turán, editors, Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017. Volume 2052 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.