: Tableaux and Resolution for Finite Abduction. - Fernando Soler-Toscano; Ángel Nepomuceno-Fernández (JELIA, 2006)

Model-Baded Abduction via Dual Resolution. - Fernando Soler-Toscano; Ángel Nepomuceno-Fernández; Atocha Aliseda-Llera (Log. J. IGPL, 2006)

Abduction via C-tableaux and delta-resolution. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Atocha Aliseda-Llera (J. Appl. Non Class. Logics, 2009)

Abduction for (Non-Omniscient) Agents. - Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (MALLOW, 2010)

Complejidad descriptiva y computacional en máquinas de Turing pequeñas - Joost J. Joosten; Fernando Soler-Toscano; Hector Zenil (CoRR, 2010)

Three Steps. - Hans van Ditmarsch; Fernando Soler-Toscano (CLIMA, 2011)

Secure Communication of Local States in Interpreted Systems. - Michael H. Albert; Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (DCAI, 2011)

Program-Size versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing Machines - Joost J. Joosten; Fernando Soler-Toscano; Hector Zenil (CoRR, 2011)

Program-size versus Time Complexity Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. - Joost J. Joosten; Fernando Soler-Toscano; Hector Zenil (Int. J. Unconv. Comput., 2011)

Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Atocha Aliseda-Llera (Otto Neurath and the Unity of Science, 2011)

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. - Hans van Ditmarsch; Jan van Eijck; Ignacio Hernández-Antón; Floor Sietsma; Sunil Simon; Fernando Soler-Toscano (PAAMS (Special Sessions), 2012)

Unconditionally Secure Protocols with Genetic Algorithms. - Ignacio Hernández-Antón; Fernando Soler-Toscano; Hans van Ditmarsch (PAAMS (Special Sessions), 2012)

A secure additive protocol for card players. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (Australas. J Comb., 2012)

Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines - Fernando Soler-Toscano; Hector Zenil; Jean-Paul Delahaye; Nicolas Gauvrit (CoRR, 2012)

Two-Dimensional Kolmogorov Complexity and Validation of the Coding Theorem Method by Compressibility - Hector Zenil; Fernando Soler-Toscano; Jean-Paul Delahaye; Nicolas Gauvrit (CoRR, 2012)

A modal framework for modelling abductive reasoning. - Fernando Soler-Toscano; David Fernández-Duque; Ángel Nepomuceno-Fernández (Log. J. IGPL, 2012)

Empirical Encounters with Computational Irreducibility and Unpredictability. - Hector Zenil; Fernando Soler-Toscano; Joost J. Joosten (Minds Mach., 2012)

Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures. - Fernando Soler-Toscano; Hector Zenil; Jean-Paul Delahaye; Nicolas Gauvrit (Comput., 2013)

Fractal dimension versus computational complexity. - Joost J. Joosten; Fernando Soler-Toscano; Hector Zenil (CoRR, 2013)

Graph Automorphism and Topological Characterization of Synthetic and Natural Complex Networks by Information Content. - Hector Zenil; Fernando Soler-Toscano; Kamaludin Dingle; Ard A. Louis (CoRR, 2013)

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2013)

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. - Fernando R. Velázquez-Quesada; Fernando Soler-Toscano; Ángel Nepomuceno-Fernández (J. Appl. Log., 2013)

A colouring protocol for the generalized Russian cards problem. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Theor. Comput. Sci., 2013)

Efficient Program Transformers for Translating LCC to PDL. - Pere Pardo; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (JELIA, 2014)

Algorithmic complexity for psychology: A user-friendly implementation of the coding theorem method. - Nicolas Gauvrit; Henrik Singmann; Fernando Soler-Toscano; Hector Zenil (CoRR, 2014)

Generation and Selection of Abductive Explanations for Non-Omniscient Agents. - Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (J. Log. Lang. Inf., 2014)

Public and Secret Forgetting of Propositional Formulas. - Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (CAEPIA, 2015)

Natural scene statistics mediate the perception of image complexity. - Nicolas Gauvrit; Fernando Soler-Toscano; Hector Zenil (CoRR, 2015)

A Computable Measure of Algorithmic Probability by Finite Approximations. - Fernando Soler-Toscano; Hector Zenil (CoRR, 2015)

A geometric protocol for cryptography with cards. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Des. Codes Cryptogr., 2015)

Forgetting complex propositions. - David Fernández-Duque; Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2015)

Two-dimensional Kolmogorov complexity and an empirical validation of the Coding theorem method by compressibility. - Héctor Zenil; Fernando Soler-Toscano; Jean-Paul Delahaye; Nicolas Gauvrit (PeerJ Comput. Sci., 2015)

A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences. - Fernando Soler-Toscano; Hector Zenil (Complex., 2017)

Human behavioral complexity peaks at age 25. - Nicolas Gauvrit; Hector Zenil; Fernando Soler-Toscano; Jean-Paul Delahaye; Peter C. Brugger (PLoS Comput. Biol., 2017)

A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. - Hector Zenil; Santiago Hernández-Orozco; Narsis Aftab Kiani; Fernando Soler-Toscano; Antonio Rueda-Toicen; Jesper Tegnér (Entropy, 2018)

Tuning the Program Transformers from CC to PDL. - Pere Pardo; Enrique Sarión-Morrillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (FLAP, 2018)

Informational structures: A dynamical system approach for integrated information. - Francisco José Esteban 001; Javier A. Galadí; José A. Langa; José Ramón Portillo; Fernando Soler-Toscano (PLoS Comput. Biol., 2018)

Fractal dimension analysis of states of consciousness and unconsciousness using transcranial magnetic stimulation. - Juan Ruiz de Miras; Fernando Soler-Toscano; Sergio Iglesias-Parro; Antonio José Ibañez-Molina; Adenauer G. Casali; Steven Laureys; Marcello Massimini; Francisco José Esteban 001; Juan Navas; José A. Langa (Comput. Methods Programs Biomed., 2019)

Which is the least complex explanation? Abduction and complexity. - Fernando Soler-Toscano (CoRR, 2019)

Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory. - Piotr Kalita; José A. Langa; Fernando Soler-Toscano (Entropy, 2019)

Methods and Applications of Algorithmic Complexity - Beyond Statistical Lossless Compression - Hector Zenil; Fernando Soler-Toscano; Nicolas Gauvrit (Springer, 2022)

What lies underneath: Precise classification of brain states using time-dependent topological structure of dynamics. - Fernando Soler-Toscano; Javier A. Galadí; Anira Escrichs; Yonatan Sanz Perl; Ane López-González; Jacobo D. Sitt; Jitka Annen; Olivia Gosseries; Aurore Thibaut; Rajanikant Panda; Francisco José Esteban 001; Steven Laureys; et al. (PLoS Comput. Biol., 2022)

Editorial: Complex network dynamics in consciousness. - Francisco José Esteban 001; Antonio José Ibañez-Molina; Sergio Iglesias-Parro; Juan Ruiz de Miras; Fernando Soler-Toscano (Frontiers Comput. Neurosci., 2023)

An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. - Fernando Soler-Toscano; Marcos Bautista López Aznar (Diagrams, 2024)

A meta-modal logic for bisimulations. - Alfredo Burrieza; Fernando Soler-Toscano; Antonio Yuste-Ginel (Arch. Formal Proofs, 2025)