Follow
Francisco Hernández Quiroz
Francisco Hernández Quiroz
Verified email at ciencias.unam.mx - Homepage
Title
Cited by
Cited by
Year
Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability
H Zenil, L Badillo, S Hernández-Orozco, F Hernández-Quiroz
International Journal of Parallel, Emergent and Distributed Systems 34 (2 …, 2019
412019
Undecidability and irreducibility conditions for open-ended evolution and emergence
S Hernández-Orozco, F Hernández-Quiroz, H Zenil
Artificial Life 24 (1), 56-70, 2018
282018
On the possible computational power of the human mind
H Zenil, F Hernandez-Quiroz
Worldviews, Science and Us: Philosophy and Complexity, 315-337, 2007
182007
The limits of decidable states on open-ended evolution and emergence
S Hernández-Quiroz, F Hernández-Quiroz, H Zenil
Artificial Life Conference Proceedings, 200-207, 2016
9*2016
Towards a formalization of a framework to express and reason about software engineering methods
M Morales-Trujillo, H Oktaba, F Hernández-Quiroz, B Escalante-Ramírez
Computing and Informatics 37 (1), 109-141, 2018
42018
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.
E Ufferman, PA Góngora, FH Quiroz
Advances in Modal Logic, 470-482, 2010
32010
Computable model discovery and high-level-programming approximations to algorithmic complexity
V Lemus, E Acuña-Yeomans, V Zamora, F Hernández-Quiroz, H Zenil
Theoretical Computer Science 927, 31-41, 2022
22022
Natural deduction and semantic models of justification logic in the proof assistant Coq
JM Andrade Guzmán, F Hernández Quiroz
Logic Journal of the IGPL 28 (6), 1077-1092, 2020
22020
Game theory and dynamic programming in alternate games.
E Espinosa-Avila, PP Longoria, F Hernández-Quiroz
Journal of Dynamics & Games 4 (3), 2017
22017
Is there any real substance to the claims for a ‘new computationalism’?
A Hernández-Espinosa, F Hernández-Quiroz, H Zenil
Unveiling Dynamics and Complexity: 13th Conference on Computability in …, 2017
22017
Does the Principle of Computational Equivalence overcome the objections against Computationalism?
A Hernández-Espinosa, F Hernández-Quiroz
Computing Nature: Turing Centenary Perspective, 225-233, 2013
22013
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes
PA Góngora, E Ufferman, F Hernández-Quiroz
International Workshop on Computational Logic in Multi-Agent Systems, 65-81, 2010
22010
Some Semantics for a Logical Language for the Game of Dominoes.
FR Velázquez-Quesada, FH Quiroz
Artificial Intelligence and Applications, 293-298, 2006
22006
Some assumptions about problem solving representation in Turing’s model of intelligence
R Morado, F Hernández-Quiroz
tripleC: Communication, Capitalism & Critique. Open Access Journal for a …, 2006
22006
A Logical Language for Dominoes
FR Velázquez-Quesada, F Hernández-Quiroz
LPAR-12, 38, 2005
22005
Hilbert, Turing y la noción de procedimiento efectivo
F Hernández-Quiroz, R Morado
Ludus Vitalis 14 (26), 117-127, 2016
12016
Algorithms for Computational Biology: Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings
AH Dediu, F Hernández-Quiroz, C Martín-Vide, DA Rosenblueth
Springer, 2015
1*2015
Rare speed-up in automatic theorem proving reveals tradeoff between computational time and information value
S Hernández-Orozco, F Hernández-Quiroz, H Zenil, W Sieg
arXiv preprint arXiv:1506.04349, 2015
12015
Bounded rationality in a dynamic alternate game
E Espinosa-Avila, F Hernández-Quiroz
arXiv preprint arXiv:1310.6411, 2013
12013
COMPUTATIONAL AND HUMAN MIND MODELS
F HERNÁNDEZ-QUIROZ
The Computational Turn: Past, Presents, Futures?, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20