Francisco Hernández Quiroz

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