Formal Specification of Cognitive Models in CARINA. - Alba J. Jeronimo; Manuel Fernando Caro Piñeres; Adan A. Gomez (ICCI*CC, 2018)