Publications

Export 3 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Gavin Rens  [Clear All Filters]
2011
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.
2010
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.
2009
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.