G. Rens, T. Meyer, and G. Lakemeyer. A Modal Logic for the Decision-Theoretic Projection Problem. Seventh International Conference on Agents and Artificial Intelligence (ICAART), 2015.
G. Rens, and T. Meyer. Hybrid POMDP-BDI: An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. Seventh International Conference on Agents and Artificial Intelligence (ICAART), 2015.
G. Rens. Speeding up Online POMDP Planning: Unification of Observation Branches by Belief-state Compression via Expected Feature Values. Seventh International Conference on Agents and Artificial Intelligence (ICAART), 2015.
Rens, G., Meyer, T. and Lakemeyer, G. A Logic for Specifying Stochastic Actions and Observations. Symposium on Foundations of Information and Knowledge Systems (FoIKS), 2014.
Rens, G and Ferrein, A. Belief-node Condensation for Online POMDP Algorithms. IEEE AFRICAON, 2013.
Rens, G., Meyer, T. and Lakemeyer, G. On the Logical Specification of Probabilistic Transition Models. Symposium on Logical Formalizations of Commonsense Reasoning, 2013.
Rens, G., Meyer, T. and Lakemeyer, G. SLAP: Specification Logic of Actions with Probability. Journal of Applied Logic, 2014.
Rens, G., Varzinczak, I., Meyer, T. and Ferrein, A. A Logic for Reasoning about Actions and Explicit Observations. Australasian Joint Conference on Artificial Intelligence, 2010.
Rens, G., Ferrein, A. and van der Poel, E. A BDI Agent Architecture for a POMDP Planner. Symposium on Logical Formalizations of Commonsense Reasoning, 2009.
Rens, G., Ferrein, A. and van der Poel, E. Extending DTGolog to Deal with POMDPs. Symposium of the Pattern Recognition Association of South Africa (PRASA), 2008.