José Martín Castro-Manzano

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