Traditional programming languages are typically used to implement concretely robot programs. However, such languages do not provide either abstractions or mechanisms to cope with critical aspects concerning robot programming. In particular, with regard to the interaction between the environment and the design of reactive and autonomous behaviour of the robot. This thesis aims at tackling this issue, taking into account an agent-based approach for programming robots. We are going to use the BDI (Belief, Desire, Intention) model, which directly encompasses all the necessary features to...