Formal verification of multi-agent systems behaviour emerging from cognitive task analysis. - Ana Lilia Laureano-Cruces; Axel Arturo Barceló-Aspeitia (J. Exp. Theor. Artif. Intell., 2003)

Intentional Learning Procedures as Intention Revision Mechanisms. - José Martín Castro-Manzano; Axel Arturo Barceló-Aspeitia; Alejandro Guerra-Hernández (MICAI (Special Sessions), 2010)

The Contribution of Domain Specificity in the Highly Modular Mind. - Axel Arturo Barceló-Aspeitia; Ángeles Eraña; Robert J. Stainton (Minds Mach., 2010)

Intentional Reasoning as Non-monotonic Reasoning. - José Martín Castro-Manzano; Axel Arturo Barceló-Aspeitia; Alejandro Guerra-Hernández (LA-NMR, 2011)

Mathematical Pictures. - Axel Arturo Barceló-Aspeitia (Diagrams, 2018)

How to Visually Represent Structure. - Axel Arturo Barceló-Aspeitia (Diagrams, 2022)