| CTL AgentSpeak (L): A specification language for agent programs A Guerra-Hernández, JM Castro-Manzano, AEF Seghrouchni Journal of Algorithms 64 (1), 31-40, 2009 | 22 | 2009 |
| Toward an AgentSpeak (L) theory of commitment and intentional learning A Guerra-Hernández, JM Castro-Manzano, A El-Fallah-Seghrouchni MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International …, 2008 | 13 | 2008 |
| Term functor logic tableaux JM Castro-Manzano, PO Reyes-Cárdenas South American Journal of Logic 4 (1), 1-22, 2018 | 11 | 2018 |
| Programming with term logic JM Castro-Manzano, LI Lozano-Cobos, PO Reyes-Cardenas BRAIN. Broad Research in Artificial Intelligence and Neuroscience 9 (3), 22-36, 2018 | 10 | 2018 |
| Razonamiento y heurísticas en pruebas de comprensión lectora: Reasoning and heuristics in reading comprehension tests A Platas-García, JM Castro-Manzano, V Reyes-Meza Ministerio de Educación, 2016 | 9 | 2016 |
| Influencia de la Longitud, la Complejidad y la Inferencia en la Resolución de Pruebas de Comprensión Lectora Inferencial A Platas-García, JM Castro-Manzano, V Reyes-Meza, I Gaona-Gordillo RIEE. Revista Iberoamericana de Evaluación Educativa, 2018 | 7 | 2018 |
| Re (dis) covering Leibniz’s diagrammatic logic JM Castro-Manzano Tópicos (México), 89-116, 2017 | 7 | 2017 |
| TFLPL: Programación con lógica de términos. JM Castro-Manzano, LI Lozano-Cobos Res. Comput. Sci. 147 (6), 265-283, 2018 | 5 | 2018 |
| Remarks on the idea of non-monotonic (diagrammatic) inference JM Castro-Manzano Revista de filosofía open insight 8 (14), 243-263, 2017 | 5 | 2017 |
| Traditional logic and computational thinking JM Castro-Manzano Philosophies 6 (1), 12, 2021 | 4 | 2021 |
| Silogística intermedia, términos y árboles JM Castro-Manzano Tópicos (México), 209-237, 2020 | 4 | 2020 |
| Distribution tableaux, distribution models JM Castro-Manzano Axioms 9 (2), 41, 2020 | 4 | 2020 |
| Syllogistic with Jigsaw Puzzle Diagrams JM Castro-Manzano Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 4 | 2018 |
| Murphree's Numerical Term Logic Tableaux JM Castro-Manzano Electronic Notes in Theoretical Computer Science 354, 17-28, 2020 | 3 | 2020 |
| Measuring common goods: First steps toward validation JL Ávila Valdez, JM Castro Manzano Measuring common goods: first steps toward validation, 407-425, 2020 | 3 | 2020 |
| An intermediate term functor logic JMC Manzano Argumentos Revista de Filosofia, 2019 | 3 | 2019 |
| A tableaux method for term logic. JM Castro-Manzano LANMR 2264, 1-14, 2018 | 3 | 2018 |
| Moded Diagrams for Moded Syllogisms JM Castro-Manzano, JR Pacheco-Montes Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 3 | 2018 |
| Słupecki’s rule for diagrammatic reasoning JM Castro-Manzano Studia Metodologiczne 35, 79-96, 2015 | 3 | 2015 |
| An Introduction to Intention Revision: Issues and Problems. JM Castro-Manzano, M Osorio, C Zepeda, I Olmos, C Medina, J Arrazola LA-NMR, 76-89, 2009 | 3 | 2009 |
