Export 3 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Gavin Rens  [Clear All Filters]
Rens, G., T. Meyer, A. Ferrein, and G. Lakemeyer, "A Logic for Specifying Partially Observable Stochastic Domains", Nonmonotonic Reasoning, Action, and Change (NRAC 2011), Barcelona, Spain, to appear, 2011.
Rens, G., I. Varzinczak, T. Meyer, and A. Ferrein, "A specification 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.
Rens, G., A. Ferrein, and E. van der Poel, "A BDI agent architecture for a POMDP planner", Nineth International Symposium on Logical Formalizations of Commonsense Reasoning: UTSePress, 2009.