Francisco Hernández Quiroz
Francisco Hernández Quiroz
Verified email at - Homepage
Cited by
Cited by
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
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
On the possible computational power of the human mind
H Zenil, F Hernandez-Quiroz
Worldviews, Science And Us: Philosophy and Complexity, 315-337, 2007
The Limits of Decidable States on Open-Ended Evolution and Emergence
H Zenil, F Hernndez-Quiroz, S Hernndez-Quiroz
Artificial Life Conference Proceedings 13, 200-207, 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
Does the Principle of Computational Equivalence overcome the objections against Computationalism?
A Hernández-Espinosa, F Hernández-Quiroz
Computing Nature, 225-233, 2013
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
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
Some Semantics for a Logical Language for the Game of Dominoes.
FR Velázquez-Quesada, FH Quiroz
Artificial Intelligence and Applications, 293-298, 2006
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
A Logical Language for Dominoes
FR Velázquez-Quesada, F Hernández-Quiroz
Short paper at 12th LPAR, 2005
Is there any Real Substance to the Claims for a ‘New Computationalism’?
A Hernández-Espinosa, F Hernández-Quiroz, H Zenil
Conference on Computability in Europe, 14-23, 2017
Game theory and dynamic programming in alternate games
E Espinosa-Avila, PP Longoria, F Hernández-Quiroz
Journal of Dynamics & Games 4 (3), 205, 2017
Hilbert, Turing y la noción de procedimiento efectivo
F Hernández-Quiroz, R Morado
Ludus Vitalis 14 (26), 117-127, 2016
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
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
Bounded rationality in a dynamic alternate game
E Espinosa-Avila, F Hernández-Quiroz
arXiv preprint arXiv:1310.6411, 2013
Some Assumptions about Problem Solving Method in Turing's Model of Intelligence.
FH Quiroz, R Morado
Computational Intelligence, 354-358, 2005
Shortening of Proof Length is Elusive for Theorem Provers
S Hernández-Orozco, F Hernández-Quiroz, H Zenil, W Sieg
Parallel Processing Letters 30 (04), 2050013, 2020
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
The system can't perform the operation now. Try again later.
Articles 1–20