Follow
Gavin Rens
Gavin Rens
Stellenbosch University, South African
Verified email at sun.ac.za - Homepage
Title
Cited by
Cited by
Year
A hybrid POMDP-BDI agent architecture with online stochastic planning and plan caching
G Rens, D Moodley
Cognitive Systems Research 43, 1-20, 2017
292017
Integrating statistical machine learning in a semantic sensor web for proactive monitoring and control
JA Adeleke, D Moodley, G Rens, AO Adewumi
Sensors 17 (4), 807, 2017
282017
Learning non-Markovian reward models in MDPs
G Rens, JF Raskin
arXiv preprint arXiv:2001.09293, 2020
162020
Online learning of non-markovian reward models
G Rens, JF Raskin, R Reynouad, G Marra
arXiv preprint arXiv:2009.12600, 2020
142020
BDI agent architecture for a POMDP planner
G Rens, A Ferrein, E Van der Poel
132009
Safe reinforcement learning via probabilistic logic shields
WC Yang, G Marra, G Rens, L De Raedt
arXiv preprint arXiv:2303.03226, 2023
122023
A Belief-Desire-Intention Architecture with a Logic-Based Planner for Agents in Stochastics Domains
GB Rens
University of South Africa, 2010
112010
On revision of partially specified convex probabilistic belief bases
G Rens, T Meyer, G Casini
IOS Press, 2016
102016
A new approach to probabilistic belief change
GB Rens, T Meyer
The Twenty-Eighth International Flairs Conference, 2015
82015
SLAP: Specification logic of actions with probability
G Rens, T Meyer, G Lakemeyer
Journal of Applied Logic 12 (2), 128-150, 2014
82014
On stochastic belief revision and update and their combination
G Rens
arXiv preprint arXiv:1604.02126, 2016
72016
On the logical specification of probabilistic transition models
G Rens, T Meyer, G Lakemeyer
Proceedings of the Eleventh International Symposium on Logical …, 2013
72013
A logic for specifying stochastic actions and observations
G Rens, T Meyer, G Lakemeyer
Foundations of Information and Knowledge Systems: 8th International …, 2014
62014
A logic for reasoning about actions and explicit observations
G Rens, I Varzinczak, T Meyer, A Ferrein
Australasian Joint Conference on Artificial Intelligence, 395-404, 2010
62010
A logic for reasoning about decision-theoretic projections
G Rens, T Meyer, G Lakemeyer
Agents and Artificial Intelligence: 7th International Conference, ICAART …, 2015
5*2015
Belief-node condensation for online POMDP algorithms
G Rens, A Ferrein
2013 Africon, 1-5, 2013
52013
A Stochastic Belief Change Framework with an Observation Stream and Defaults as Expired Observations.
G Rens
DARe@ ECAI, 2016
32016
Formalisms for agents reasoning with stochastic actions and perceptions.
GB Rens
32014
A Logic for Specifying Agent Actions and Observations with Probability.
G Rens, G Lakemeyer, T Meyer
STAIRS, 252-263, 2012
32012
Partially observable Markov decision logic, Part I: Introducing explicit observation constants
G Rens, I Varzinczak, T Meyer
KRR-10-01. Tech. rep., Knowledge Representation and Reasoning, Meraka …, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20