Francisco Hernández Quiroz

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 10

Top Topics

Resource Bounded

Inquiry Learning

Top Venues

Comput. Informatics

Int. J. Parallel Emergent Distributed Syst.

Publications

Zoe Leyva-Acosta, Eduardo Acuña-Yeomans, Francisco Hernández Quiroz
An additively optimal interpreter for approximating Kolmogorov prefix complexity. CoRR (2024)
Vladimir Lemus, Eduardo Acuña-Yeomans, Víctor Zamora, Francisco Hernández Quiroz, Hector Zenil
Computable model discovery and high-level-programming approximations to algorithmic complexity. Theor. Comput. Sci. 927 (2022)
Vladimir Lemusa, Eduardo Acuña, Víctor Zamora, Francisco Hernández Quiroz, Hector Zenil
Computable Model Discovery and High-Level-Programming Approximations to Algorithmic Complexity. CoRR (2021)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Shortening of Proof Length is Elusive for Theorem Provers. Parallel Process. Lett. 30 (4) (2020)
Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández Quiroz
Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability. Int. J. Parallel Emergent Distributed Syst. 34 (2) (2019)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil
Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence. Artif. Life 24 (1) (2018)
Miguel Morales Trujillo, Hanna Oktaba, Francisco Hernández Quiroz, Boris Escalante-Ramírez
Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. Comput. Informatics 37 (1) (2018)
Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández Quiroz
Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability. CoRR (2017)
Alberto Hernández-Espinosa, Francisco Hernández Quiroz, Héctor Zenil
Is there any Real Substance to the Claims for a 'New Computationalism'? CiE (2017)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil
The Limits of Decidable States on Open-Ended Evolution and Emergence. CoRR (2016)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. CoRR (2015)
Eduardo Espinosa-Avila, Francisco Hernández Quiroz
Bounded rationality in a dynamic alternate game. TARK (2013)
Eduardo Espinosa-Avila, Francisco Hernández Quiroz
Bounded rationality in a dynamic alternate game. CoRR (2013)
Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. Advances in Modal Logic (2010)
Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz
-Calculus Processes. CLIMA (2010)
Hector Zenil, Francisco Hernández Quiroz
On the possible Computational Power of the Human Mind CoRR (2006)
Fernando R. Velázquez-Quesada, Francisco Hernández Quiroz
Some Semantics for a Logical Language for the Game of Dominoes. Artificial Intelligence and Applications (2006)
Francisco Hernández Quiroz, Raymundo Morado
Some Assumptions about Problem Solving Method in Turing's Model of Intelligence. Computational Intelligence (2005)
Francisco Hernández Quiroz
Full Abstraction for Gamma. ENC (2004)