On the Progression of Knowledge in the Situation Calculus

31 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “…theory and implementation of meta-beliefs with multiple agents [Fagin et al. , 1995; Muise et al. , 2015], but in the context of the situation calculus, reduction theorems and axiomatizations have been studied in [Kelly and Pearce, 2008; Liu and Wen, 2011; Belle and Lakemeyer, 2015; 2014a; 2014b].”
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (2015, background): “In particular, this is easily shown to generalize a standard assumption in the literature (Liu and Wen 2011) that all agents hold the same view of what changes after actions occur.”
On the Progression of Knowledge in Multiagent Systems (2014, unknown): “The progression of knowledge in the multiagent case is also considered in (Liu and Wen 2011).”
How to Progress Beliefs in Continuous Domains (2014, background): “The progression of categorical knowledge against noise-free e ﬀ ectors and sensors is considered in (Liu and Wen 2011; Lakemeyer and Levesque 2009).”