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 | 23 | 2009 |
Term functor logic tableaux JM Castro-Manzano, PO Reyes-Cárdenas South American Journal of Logic 4 (1), 1-22, 2018 | 17 | 2018 |
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 |
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 | 11 | 2016 |
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 | 9 | 2018 |
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, VR Meza, IG Gordillo Revista Iberoamericana de Evaluación Educativa 11 (1), 95-112, 2018 | 9 | 2018 |
Re (dis) covering Leibniz’s diagrammatic logic JM Castro-Manzano Tópicos (México), 89-116, 2017 | 9 | 2017 |
Reading comprehension as a complex phenomenon. An approach based on assessment, inference, and foreign language A Platas-García, JM Castro-Manzano, V Reyes-Meza Ricerche di Pedagogia e Didattica. Journal of Theories and Research in …, 2020 | 6 | 2020 |
Distribution tableaux, distribution models JM Castro-Manzano Axioms 9 (2), 41, 2020 | 6 | 2020 |
A tableaux method for term logic. JM Castro-Manzano LANMR 2264, 1-14, 2018 | 6 | 2018 |
Remarks on the idea of non-monotonic (diagrammatic) inference JM Castro-Manzano Revista de filosofía open insight 8 (14), 243-263, 2017 | 6 | 2017 |
Traditional logic and computational thinking JM Castro-Manzano Philosophies 6 (1), 12, 2021 | 5 | 2021 |
Procesos de escritura de investigadores en la redacción de artículos científicos: Researchers writing process in the composition of scientific papers A Platas-García, JM Castro-Manzano, V Reyes-Meza ENSAYOS. Revista de la Facultad de Educación de Albacete 35 (2), 35-53, 2020 | 5 | 2020 |
Silogística intermedia, términos y árboles JM Castro-Manzano Tópicos (México), 209-237, 2020 | 5 | 2020 |
Measuring common goods: First steps toward validation JL Ávila Valdez, JM Castro Manzano Measuring common goods: first steps toward validation, 407-425, 2020 | 5 | 2020 |
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 |
Syllogistic with jigsaw puzzle diagrams JM Castro-Manzano Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 5 | 2018 |
Murphree's Numerical Term Logic Tableaux JM Castro-Manzano Electronic Notes in Theoretical Computer Science 354, 17-28, 2020 | 4 | 2020 |
An intermediate term functor logic JMC Manzano Argumentos Revista de Filosofia, 2019 | 3 | 2019 |
Moded Diagrams for Moded Syllogisms JM Castro-Manzano, JR Pacheco-Montes Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 3 | 2018 |