Follow
JOSE MARTIN CASTRO MANZANO
JOSE MARTIN CASTRO MANZANO
Unknown affiliation
Verified email at upaep.mx
Title
Cited by
Cited by
Year
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
222009
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
132008
Term functor logic tableaux
JM Castro-Manzano, PO Reyes-Cárdenas
South American Journal of Logic 4 (1), 1-22, 2018
112018
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
102018
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
92016
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
72018
Re (dis) covering Leibniz’s diagrammatic logic
JM Castro-Manzano
Tópicos (México), 89-116, 2017
72017
TFLPL: Programación con lógica de términos.
JM Castro-Manzano, LI Lozano-Cobos
Res. Comput. Sci. 147 (6), 265-283, 2018
52018
Remarks on the idea of non-monotonic (diagrammatic) inference
JM Castro-Manzano
Revista de filosofía open insight 8 (14), 243-263, 2017
52017
Traditional logic and computational thinking
JM Castro-Manzano
Philosophies 6 (1), 12, 2021
42021
Silogística intermedia, términos y árboles
JM Castro-Manzano
Tópicos (México), 209-237, 2020
42020
Distribution tableaux, distribution models
JM Castro-Manzano
Axioms 9 (2), 41, 2020
42020
Syllogistic with Jigsaw Puzzle Diagrams
JM Castro-Manzano
Diagrammatic Representation and Inference: 10th International Conference …, 2018
42018
Murphree's Numerical Term Logic Tableaux
JM Castro-Manzano
Electronic Notes in Theoretical Computer Science 354, 17-28, 2020
32020
Measuring common goods: First steps toward validation
JL Ávila Valdez, JM Castro Manzano
Measuring common goods: first steps toward validation, 407-425, 2020
32020
An intermediate term functor logic
JMC Manzano
Argumentos Revista de Filosofia, 2019
32019
A tableaux method for term logic.
JM Castro-Manzano
LANMR 2264, 1-14, 2018
32018
Moded Diagrams for Moded Syllogisms
JM Castro-Manzano, JR Pacheco-Montes
Diagrammatic Representation and Inference: 10th International Conference …, 2018
32018
Słupecki’s rule for diagrammatic reasoning
JM Castro-Manzano
Studia Metodologiczne 35, 79-96, 2015
32015
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
32009
The system can't perform the operation now. Try again later.
Articles 1–20