José Martín Castro-Manzano

According to our database, José Martín Castro-Manzano authored at least 24 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Syllogistic Relevance and Term Logic.

José Martín Castro-Manzano

J. Log. Lang. Inf., August, 2024

2022

Edadismo e inteligencia artificial.

José Martín Castro-Manzano

Res. Comput. Sci., 2022

Lógica tradicional para razonamiento no tradicional.

José Martín Castro-Manzano

Res. Comput. Sci., 2022

Toward Relevance Term Logic.

José Martín Castro-Manzano

Computación y Sistemas, 2022

The Forms of Categorical Proposition.

Fabien Schang, George Englebretsen, José Martín Castro-Manzano

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Mixing Colors, Mixing Logics.

José Martín Castro-Manzano

Proceedings of the Diagrammatic Representation and Inference, 2022

2020

Distribution Tableaux, Distribution Models.

José Martín Castro-Manzano

Axioms, 2020

2019

Murphree's Numerical Term Logic Tableaux.

José Martín Castro-Manzano

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Tableaux for Murphree's numerical term logic.

José Martín Castro-Manzano

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018

TFLPL: Programación con lógica de términos.

José Martín Castro-Manzano, L. Ignacio Lozano-Cobos

Res. Comput. Sci., 2018

A tableaux method for term logic.

José Martín Castro-Manzano

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

Moded Diagrams for Moded Syllogisms.

José Martín Castro-Manzano, José Roberto Pacheco-Montes

Proceedings of the Diagrammatic Representation and Inference, 2018

A Review of Murner's Cards for Syllogistic.

José Martín Castro-Manzano, Jorge Medina-Delgadillo, Juan Manuel Campos Benítez

Proceedings of the Diagrammatic Representation and Inference, 2018

Syllogistic with Jigsaw Puzzle Diagrams.

José Martín Castro-Manzano

Proceedings of the Diagrammatic Representation and Inference, 2018

2015

{dasasap}, an App for Syllogisms.

José Martín Castro-Manzano, Verónica Reyes-Meza, Jorge Medina-Delgadillo

CoRR, 2015

2012

Towards Computational Political Philosophy.

José Martín Castro-Manzano

Proceedings of the Advances in Artificial Intelligence, 2012

A Defeasible Logic of Intention.

José Martín Castro-Manzano

Proceedings of the Advances in Artificial Intelligence, 2012

Formal Properties of Intentional Reasoning.

José Martín Castro-Manzano

Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

2011

Intentional Reasoning as Non-monotonic Reasoning.

José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández

Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

2010

Intentional Learning Procedures as Intention Revision Mechanisms.

José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández

Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

The Argument from Autonomy Revisited.

José Martín Castro-Manzano

Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

2009

CTL AgentSpeak(L): A specification language for agent programs.

Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni

J. Algorithms, 2009

An Introduction to Intention Revision: Issues and Problems.

José Martín Castro-Manzano

Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

2008

Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning.

Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008