Fernando Soler-Toscano

54 papers B 2C 1Misc 1Journal 42Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A meta-modal logic for bisimulations. Arch. Formal Proofs Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2025	J	`jnl`	A meta-modal logic for bisimulations. CoRR Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2024	C	`conf`	An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. Diagrams Fernando Soler-Toscano, Marcos Bautista López Aznar
2023	J	`jnl`	Editorial: Complex network dynamics in consciousness. Frontiers Comput. Neurosci. Francisco José Esteban, Antonio José Ibañez-Molina, Sergio Iglesias-Parro, Juan Ruiz de Miras, Fernando Soler-Toscano
2022	—	`book`	Methods and Applications of Algorithmic Complexity - Beyond Statistical Lossless Compression Hector Zenil, Fernando Soler-Toscano, Nicolas Gauvrit
2022	J	`jnl`	What lies underneath: Precise classification of brain states using time-dependent topological structure of dynamics. PLoS Comput. Biol. 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, Steven Laureys, Morten L. Kringelbach, José A. Langa, Gustavo Deco
2019	J	`jnl`	Fractal dimension analysis of states of consciousness and unconsciousness using transcranial magnetic stimulation. Comput. Methods Programs Biomed. 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, Juan Navas, José A. Langa
2019	J	`jnl`	Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory. Entropy Piotr Kalita, José A. Langa, Fernando Soler-Toscano
2019	J	`jnl`	Which is the least complex explanation? Abduction and complexity. CoRR Fernando Soler-Toscano
2018	J	`jnl`	A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. Entropy Hector Zenil, Santiago Hernández-Orozco, Narsis Aftab Kiani, Fernando Soler-Toscano, Antonio Rueda-Toicen, Jesper Tegnér
2018	J	`jnl`	Informational structures: A dynamical system approach for integrated information. PLoS Comput. Biol. Francisco José Esteban, Javier A. Galadí, José A. Langa, José Ramón Portillo, Fernando Soler-Toscano
2018	J	`jnl`	Tuning the Program Transformers from CC to PDL. FLAP Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2017	J	`jnl`	A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences. Complex. Fernando Soler-Toscano, Hector Zenil
2017	J	`jnl`	Human behavioral complexity peaks at age 25. PLoS Comput. Biol. Nicolas Gauvrit, Hector Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye, Peter C. Brugger
2016	J	`jnl`	A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. CoRR Hector Zenil, Fernando Soler-Toscano, Narsis Aftab Kiani, Santiago Hernández-Orozco, Antonio Rueda-Toicen, Jesper Tegnér
2015	J	`jnl`	A Computable Measure of Algorithmic Probability by Finite Approximations. CoRR Fernando Soler-Toscano, Hector Zenil
2015	J	`jnl`	A geometric protocol for cryptography with cards. Des. Codes Cryptogr. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2015	J	`jnl`	Forgetting complex propositions. CoRR David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015	J	`jnl`	Forgetting complex propositions. Log. J. IGPL David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015	J	`jnl`	Natural scene statistics mediate the perception of image complexity. CoRR Nicolas Gauvrit, Fernando Soler-Toscano, Hector Zenil
2015	—	`conf`	Public and Secret Forgetting of Propositional Formulas. CAEPIA Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015	J	`jnl`	Two-dimensional Kolmogorov complexity and an empirical validation of the Coding theorem method by compressibility. PeerJ Comput. Sci. Héctor Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye, Nicolas Gauvrit
2014	J	`jnl`	Algorithmic complexity for psychology: A user-friendly implementation of the coding theorem method. CoRR Nicolas Gauvrit, Henrik Singmann, Fernando Soler-Toscano, Hector Zenil
2014	B	`conf`	Efficient Program Transformers for Translating LCC to PDL. JELIA Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2014	J	`jnl`	Generation and Selection of Abductive Explanations for Non-Omniscient Agents. J. Log. Lang. Inf. Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2013	J	`jnl`	A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	J	`jnl`	A geometric protocol for cryptography with cards CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	J	`jnl`	An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. J. Appl. Log. Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
2013	J	`jnl`	An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Log. J. IGPL Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2013	J	`jnl`	Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures. Comput. Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye, Nicolas Gauvrit
2013	J	`jnl`	Fractal dimension versus computational complexity. CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2013	J	`jnl`	Graph Automorphism and Topological Characterization of Synthetic and Natural Complex Networks by Information Content. CoRR Hector Zenil, Fernando Soler-Toscano, Kamaludin Dingle, Ard A. Louis
2012	J	`jnl`	A colouring protocol for the generalized Russian cards problem CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2012	J	`jnl`	A modal framework for modelling abductive reasoning. Log. J. IGPL Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández
2012	J	`jnl`	A secure additive protocol for card players. Australas. J Comb. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2012	J	`jnl`	Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines CoRR Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye, Nicolas Gauvrit
2012	J	`jnl`	Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures CoRR Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye, Nicolas Gauvrit
2012	J	`jnl`	Empirical Encounters with Computational Irreducibility and Unpredictability. Minds Mach. Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten
2012	—	`conf`	Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano
2012	J	`jnl`	Two-Dimensional Kolmogorov Complexity and Validation of the Coding Theorem Method by Compressibility CoRR Hector Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye, Nicolas Gauvrit
2012	—	`conf`	Unconditionally Secure Protocols with Genetic Algorithms. PAAMS (Special Sessions) Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans van Ditmarsch
2011	J	`jnl`	A secure additive protocol for card players CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	J	`jnl`	Empirical Encounters with Computational Irreducibility and Unpredictability CoRR Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten
2011	J	`jnl`	Program-Size versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing Machines CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2011	J	`jnl`	Program-size versus Time Complexity Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. Int. J. Unconv. Comput. Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2011	—	`ch.`	Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. Otto Neurath and the Unity of Science Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
2011	Misc	`conf`	Secure Communication of Local States in Interpreted Systems. DCAI Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	—	`conf`	Three Steps. CLIMA Hans van Ditmarsch, Fernando Soler-Toscano
2011	—	`ed.`	Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings TICTTL Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano
2010	—	`conf`	Abduction for (Non-Omniscient) Agents. MALLOW Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2010	J	`jnl`	Complejidad descriptiva y computacional en máquinas de Turing pequeñas CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2009	J	`jnl`	Abduction via J. Appl. Non Class. Logics Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
2006	B	`conf`	: Tableaux and Resolution for Finite Abduction. JELIA Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
2006	J	`jnl`	Model-Baded Abduction via Dual Resolution. Log. J. IGPL Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera