Gavin Rens

发表

A Stochastic Belief Management Architecture for Agent Control

D. Moodley, Gavin Rens, T. Meyer, 2017 .

Belief-node condensation for online POMDP algorithms

Gavin Rens, A. Ferrein, 2013, 2013 Africon.

A belief-desire-intention architechture with a logic-based planner for agents in stochastic domains

Gavin Rens, 2010 .

Logic for specifying partially observable stochastic domains

G. Lakemeyer, Gavin Rens, T. Meyer, 2011 .

A Stochastic Belief Change Framework with a Stream of Expiring Observations (Short Paper)

Gavin Rens, Gavin Rens, 2016, ECAI.

An adaptive, probabilistic, cognitive agent architecture for modelling sugarcane growers’ operational decision-making

Gavin Rens, A. Pillay, C. S. Price, 2022, South African Computer Journal.

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

L. D. Raedt, J. Raskin, Wen-Chi Yang, 2022, 2211.03461.

Learning Optimal Behavior in Environments with Non-stationary Observations

Gavin Rens, Ilio Boone, 2022, ICAART.

Formalisms for agents reasoning with stochastic actions and perceptions.

Gavin Rens, Gavin Rens, 2014 .

On the Logical Specification of Probabilistic Transition Models

Gerhard Lakemeyer, Thomas Meyer, Gavin Rens, 2013 .

SLAP: Specification logic of actions with probability

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2014, J. Appl. Log..

A Logic for Specifying Stochastic Actions and Observations

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2014, FoIKS.

Safe Reinforcement Learning via Probabilistic Logic Shields

L. D. Raedt, G. Marra, Wen-Chi Yang, 2023, NeSy.

A hybrid POMDP-BDI agent architecture with online stochastic planning and plan caching

Gavin Rens, Deshendran Moodley, Gavin Rens, 2016, Cognitive Systems Research.

On Revision of Partially Specified Convex Probabilistic Belief Bases

Thomas Andreas Meyer, Gavin Rens, Giovanni Casini, 2016, ECAI.

A Stochastic Belief Change Framework with an Observation Stream and Defaults as Expired Observations

Gavin Rens, Gavin Rens, 2016, DARe@ECAI.

Speeding up Online POMDP Planning

Gavin Rens, Gavin Rens, 2015, ICAART 2015.

Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels

Thomas Andreas Meyer, Gavin Rens, Gavin Rens, 2015, ICAART.

Speeding up Online POMDP Planning - Unification of Observation Branches by Belief-state Compression Via Expected Feature Values

Gavin Rens, Gavin Rens, 2015, ICAART.

A specification logic for reasoning about actions and explicit observations

Alexander Ferrein, Thomas Meyer, Gavin Rens, 2010 .

BDI agent architecture for a POMDP planner

Alexander Ferrein, Gavin Rens, E. Van der Poel, 2009 .

Extending DTGolog to deal with POMDPs

Alexander Ferrein, Gavin Rens, E. Van der Poel, 2008 .

On Stochastic Belief Revision and Update and their Combination pdf

Gavin Rens, Gavin Rens, 2016, ArXiv.

Revising Incompletely Specified Convex Probabilistic Belief Bases pdf

Thomas Andreas Meyer, Gavin Rens, Giovanni Casini, 2016, ArXiv.

A Logic for Specifying Agent Actions and Observations with Probability

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2012, STAIRS.

Integrating Statistical Machine Learning in a Semantic Sensor Web for Proactive Monitoring and Control

Aderemi Oluyinka Adewumi, Gavin Rens, Deshendran Moodley, 2017, Sensors.

Online Learning of Non-Markovian Reward Models pdf

Gavin Rens, Giuseppe Marra, Jean-Franccois Raskin, 2020, ICAART.

Learning Non-Markovian Reward Models in MDPs pdf

Gavin Rens, Jean-Franccois Raskin, Gavin Rens, 2020, ArXiv.

A Modal Logic for the Decision-Theoretic Projection Problem

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2015, ICAART.

A Logic for Reasoning About Decision-Theoretic Projections

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2015, ICAART.

Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events

Thomas Andreas Meyer, Gavin Rens, Gavin Rens, 2018, DKB/KIK@KI.