Formal Representation of Introspective Reasoning Trace of a Cognitive Function in CARINA. - Maria A. Florez; Adan A. Gomez; Manuel Fernando Caro Piñeres (ICCI*CC, 2018)