José Martín Castro-Manzano

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 13

Top Topics

Relevance Scores

Sequent Calculi

Decision Procedures

Top Venues

Res. Comput. Sci.

Publications

José Martín Castro-Manzano
Syllogistic Relevance and Term Logic. J. Log. Lang. Inf. 33 (2) (2024)
José Martín Castro-Manzano
Mixing Colors, Mixing Logics. Diagrams (2022)
José Martín Castro-Manzano
Edadismo e inteligencia artificial. Res. Comput. Sci. 151 (6) (2022)
José Martín Castro-Manzano
Lógica tradicional para razonamiento no tradicional. Res. Comput. Sci. 151 (5) (2022)
Fabien Schang, George Englebretsen, José Martín Castro-Manzano
The Forms of Categorical Proposition. NCL (2022)
José Martín Castro-Manzano
Distribution Tableaux, Distribution Models. Axioms 9 (2) (2020)
José Martín Castro-Manzano
Tableaux for Murphree's numerical term logic. LANMR (2019)
José Martín Castro-Manzano
Murphree's Numerical Term Logic Tableaux. LANMR (Selected Papers) (2019)
José Martín Castro-Manzano, José Roberto Pacheco-Montes
Moded Diagrams for Moded Syllogisms. Diagrams (2018)
José Martín Castro-Manzano, L. Ignacio Lozano-Cobos
TFLPL: Programación con lógica de términos. Res. Comput. Sci. 147 (6) (2018)
José Martín Castro-Manzano
Syllogistic with Jigsaw Puzzle Diagrams. Diagrams (2018)
José Martín Castro-Manzano
A tableaux method for term logic. LANMR (2018)
José Martín Castro-Manzano, Jorge Medina-Delgadillo, Juan Manuel Campos Benítez
A Review of Murner's Cards for Syllogistic. Diagrams (2018)
José Martín Castro-Manzano, Verónica Reyes-Meza, Jorge Medina-Delgadillo
{dasasap}, an App for Syllogisms. CoRR (2015)
José Martín Castro-Manzano
A Defeasible Logic of Intention. MICAI (1) (2012)
José Martín Castro-Manzano
Formal Properties of Intentional Reasoning. LA-NMR (2012)
José Martín Castro-Manzano
Towards Computational Political Philosophy. MICAI (1) (2012)
José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández
Intentional Reasoning as Non-monotonic Reasoning. LA-NMR (2011)
José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández
Intentional Learning Procedures as Intention Revision Mechanisms. MICAI (Special Sessions) (2010)
José Martín Castro-Manzano
The Argument from Autonomy Revisited. MICAI (Special Sessions) (2010)
Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni
CTL AgentSpeak(L): A specification language for agent programs. J. Algorithms 64 (1) (2009)
José Martín Castro-Manzano
An Introduction to Intention Revision: Issues and Problems. LA-NMR (2009)
Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning. MICAI (2008)
Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni
CTL AgentSpeak(L): a specification language for agent programs. LA-NMR (2008)