An approach to autonomous operations for remote mobile robotic exploration

This paper presents arguments for a balanced approach to modelling and reasoning in an autonomous robotic system. The framework discussed utilizes both declarative and procedural modelling to define the domain, rules, and constraints of the system and also balances the use of deliberative and reactive reasoning during execution.