We stand with Ukraine  

José Martín Castro-Manzano

Orcid: 0000-0003-2227-921X

Affiliations:
  • Universidad Popular Autónoma del Estado de Puebla (UPAEP), School of Philosophy, México


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Syllogistic Relevance and Term Logic.
[BibTeX]
[DOI]
José Martín Castro-Manzano
J. Log. Lang. Inf., August, 2024

Statistical Syllogistic Tableaux.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2022
Edadismo e inteligencia artificial.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Res. Comput. Sci., 2022

Lógica tradicional para razonamiento no tradicional.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Res. Comput. Sci., 2022

Toward Relevance Term Logic.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Computación y Sistemas, 2022

The Forms of Categorical Proposition.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Diagrammatic Representation and Inference, 2022

2020
Distribution Tableaux, Distribution Models.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Axioms, 2020

2019
Murphree's Numerical Term Logic Tableaux.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
José Martín Castro-Manzano
,
L. Ignacio Lozano-Cobos
Res. Comput. Sci., 2018

A tableaux method for term logic.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

Moded Diagrams for Moded Syllogisms.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Diagrammatic Representation and Inference, 2018

2015
{dasasap}, an App for Syllogisms.
[BibTeX]
[DOI]
José Martín Castro-Manzano
,
Verónica Reyes-Meza
,
Jorge Medina-Delgadillo
CoRR, 2015

2012
Towards Computational Political Philosophy.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Advances in Artificial Intelligence, 2012

A Defeasible Logic of Intention.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Advances in Artificial Intelligence, 2012

Formal Properties of Intentional Reasoning.
[BibTeX]
[DOI]
José Martín Castro-Manzano
Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

2011
Intentional Reasoning as Non-monotonic Reasoning.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Alejandro Guerra-Hernández
,
José Martín Castro-Manzano
,
Amal El Fallah Seghrouchni
J. Algorithms, 2009

An Introduction to Intention Revision: Issues and Problems.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Alejandro Guerra-Hernández
,
José Martín Castro-Manzano
,
Amal El Fallah Seghrouchni
Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008


  Loading...