Filters: Author is Gavin Rens [Clear All Filters]
"A Logic for Specifying Partially Observable Stochastic Domains", Nonmonotonic Reasoning, Action, and Change (NRAC 2011), Barcelona, Spain, to appear, 2011.
"A speciﬁcation logic for reasoning about actions and explicit observations", AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, vol. 6464: Springer, pp. 395-404, 2010.