In this paper, we present AiC+, an extension of the AiC framework designed for the explanation of human actions especially in the environmental field. We use first order logics to describe the semantics used to explain the ...