Soler Toscano, Fernando

Perfil en ORCID: 0000-0003-1953-4136

Perfil en ResearcherID: L-2478-2014

Perfil en Scopus: 15021346100\

Grupos de Investigación

• GRUPO DE LOGICA, LENGUAJE E INFORMACION

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• Dinámica de la Información: Razonamiento, Interacción y Abducción ( FFI2014-56219-P ).
• Epistemic protocol synthesis ( FFI2011-15945-E ).

Contratos:

• Investigador en Epistemic Protocol Synthesis (Univ. Sevilla) ( ).
• Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad ( 1463/0083 ).
• Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad. ( 1463/0083 ).
• DESARROLLO DE FLUJOS DE TRABAJO EN ENTORNOS DE COLABORACIÓN ( 0122/0083 ).

Ayudas:

• Epistemic protocol synthesis (STARTING GRANT) ( FFI2011-15945-E ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Métodos lógicos y abductivos aplicados a la semántica y la pragmática de la interacción comunicativa ( PID2020-117871GB-I00 - Investigador/a).
• Complejidad y sistemas dinámicos: teoría matemática y aplicaciones a ecología y a la neurociencia de la consciencia ( P20_00592 - Investigador Principal Consolidado).
• Dinámica Fractal de la Consciencia: de la Teoría a la Implementación Clínica ( MTM2014-61312-EXP - Investigador/a).
• Conciencia, Lógica y Computación ( FFI2011-29609-C02-01 - Investigador/a).
• La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención ( AIB2010PT-00106 - Investigador/a).
• HERRAMIENTAS COMPUTACIONALES EN LA IMPLEMENTACIÓN DE ESTRATEGIAS LÓGICO-LINGÜÍSTICAS PARA EL TRATAMIENTO DE LA AMBIGÜEDAD EN EL DISCURSO. AP ( P06-HUM-01538 - Investigador/a).
• LÓGICA Y LENGUAJE: AMBIGÜEDAD EN EL DISCURSO Y ELABORACIÓN DEL CONTEXTO ( HUM2007-65053 - Investigador/a).
• LÓGICA, LENGUAJE Y LA UNIDAD DE LA CIENCIA ( HP2007-0018 - Investigador/a).
• LÓGICA Y LENGUAJE: INFORMACIÓN Y REPRESENTACIÓN ( HUM2004-01255 - Investigador/a).
• LÓGICA DE PROTOCOLOS INCONDICIONALMENTE SEGUROS ( P08-HUM-4159 - Investigador/a).

Contratos:

• DISEÑO MÁSTER EN COGNICIÓN: LÓGICA, LINGÜÍSTICA Y FILOSOFÍA ( SE-17 - Investigador/a ).

Ayudas:

• Conferencia de lógica y fundamentos de teoría de juegos y de la decisión ( FFI2011-15523-E - Investigador/a ).

Publicaciones

Libros:

• Zenil, Hector, Soler-Toscano, Fernando, Gauvrit, Nicolas:
  Methods and Applications of Algorithmic Complexity. Beyond Statistical Lossless Compression. Springer. 2022. ISBN 978-3-662-64983-1
• Barés-Gómez, Cristina, Salguero-Lamillar, Francisco Jose, Soler-Toscano, Fernando:
  Lógica, Conocimiento y Abducción. Homenaje a Ángel Nepomuceno. COLLEGE PUBLICATIONS. 2020. ISBN 978-1-84890-358-6
• Soler-Toscano, Fernando:
  Razonamiento abductivo en lógica clásica. College Publications. 2012. ISBN 978-1-84890-083-7
• Van Ditmarsch-, Hans, Salguero-Lamillar, Francisco Jose, Soler-Toscano, Fernando:
  LIBER AMICORUM ÁNGEL NEPOMUCENO. HOMENAJE EN SU SEXAGÉSIMO CUMPLEAÑOS. FÉNIX EDITORA. 2010. ISBN
• Salguero-Lamillar, Francisco Jose, Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  LÓGICA, FILOSOFÍA DEL LENGUAJE Y DE LA LÓGICA. MERGABLUM. 2007. ISBN 9788496378353
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Salguero-Lamillar, Francisco Jose:
  ESTUDIOS DE LÓGICA Y LENGUAJE (I): LLIC-S-2005-1. MERGABLUM. 2005. ISBN 8496378268
• Barceló-Aspeitia,Axel Arturo, Soler-Toscano, Fernando, Aliseda-Llera, Atocha, Morado-Estrada,Raymundo, Nepomuceno-Fernandez, Angel:
  REPRESENTACIÓN Y LOGICIDAD. FENIX EDITORIAL. 2005. ISBN 84-609-7872-9
• Soler-Toscano, Fernando:
  MODELOS FORMALES DE EXPLICACIÓN EN LÓGICA E INTELIGENCIA ARTIFICIAL. FONDOS DIGITALES UNIVERSIDAD DE SEVILLA. 2005. ISBN 978-84-691-0931-1
• Nepomuceno-Fernandez, Angel, Salguero-Lamillar, Francisco Jose, Soler-Toscano, Fernando:
  BASES BIOLÓGICAS, LINGÜÍSTICAS, LÓGICAS Y COMPUTACIONALES PARA LA CONCEPCIÓN DE LA MENTE : LLIC-S-2004-01. MERGABLUM EDICIÓN Y COMUNICACIÓN. 2004. ISBN 84-96378-04-7

Capítulo de Libros:

• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings. Pag. 1 - 29. En: Handbook of Abductive Cognition. Springer. 2022. ISBN 978-3-030-68436-5
• Soler-Toscano, Fernando:
  Conciencia, lógica y computación. Pag. 115 - 128. En: Lógica, Conocimiento y Abducción. Homenaje a Ángel Nepomuceno. COLLEGE PUBLICATIONS. 2020. ISBN 978-1-84890-358-6
• Soler-Toscano, Fernando:
  Lógica y pensamiento computacional. Pag. 411 - 423. En: Aventuras en el Mundo de la Lógica. COLLEGE PUBLICATIONS. 2019. ISBN 978-1-84890-322-7
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Abductive Reasoning in Dynamic Epistemic Logic. Pag. 269 - 293. En: Handbook of Model-Based Science C: The Logic of Abduction and Models. Springer. 2017. ISBN
• Soler-Toscano, Fernando:
  Action Models for the Extended Mind. Pag. 433 - 444. En: Epistemology, Knowledge and the Impact of Interaction. Springer. 2016. ISBN 978-3-319-26504-9
• Nepomuceno-Fernandez, Angel, Sarrión-Morillo, Enrique, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Public and Secret Forgetting of Propositional Formulas. Pag. 139 - 149. En: Advances in Artificial Intelligence, 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-. Springer. 2015. ISBN 978-3-319-24597-3
• Pardo-Ventura, Pere, Sarrión-Morillo, Enrique, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Efficient Program Transformers for Translating LCC to PDL. Pag. 253 - 266. En: Logics in Artificial Intelligence. Springer. 2014. ISBN 978-3-319-11557-3
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  A dynamic-epistemic approach to abductive reasoning. Pag. 47 - 78. En: Logic of knowledge. Theory and applications. College Publications. 2012. ISBN 978-1-84890-074-5
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Dinámica de la información en agentes no omniscientes. Pag. 49 - 61. En: Ensayos sobre Lógica, Lenguaje, Mente y Ciencia. Alfar. 2012. ISBN 978-84-7898-462-6
• Albert, Michael, Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
  Secure Communication of Local States in Interpreted Systems. Pag. 117 - 124. En: International Symposium on Distributed Computing and Artificial Intelligence. . 2011. ISBN 978-3-642-22358-7
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Aliseda-Llera, Atocha:
  FROM CLASSICAL LOGIC TO ABDUCTIVE LOGICAL SYSTEMS. Pag. 201 - 212. En: OTTO NEURATH AND THE UNITY OF SCIENCE. Springer. 2011. ISBN 978-94-007-0142-7
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, Zenil, Hector:
  Complejidad descriptiva y computacional en máquinas de Turing pequeñas. Pag. 11 - 32. En: Lógica Universal e Unidade da Ciência. . 2011. ISBN 978-989-8247-50-6
• Van Ditmarsch-, Hans, Soler-Toscano, Fernando:
  Three Steps. Pag. 41 - 57. En: Computational Logic in Multi-Agent Systems. . 2011. ISBN
• Salguero-Lamillar, Francisco Jose, Soler-Toscano, Fernando:
  RESOLUCIÓN ABDUCTIVA DE ANÁFORAS PRONOMINALES. Pag. 47 - 61. En: ESTUDIOS DE LÓGICA, LENGUAJE Y EPISTEMOLOGÍA. FÉNIX EDITORA. 2010. ISBN 9788461442911
• Soler-Toscano, Fernando:
  CONSISTENCIA Y RELEVANCIA EN EL RAZONAMIENTO ABDUCTIVO. Pag. 133 - 138. En: LIBER AMICORUM ÁNGEL NEPOMUCENO. FENIX EDITORA. 2010. ISBN 978-84-614-5116-6
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  Validez y contexto inferencial. Pag. 60 - 73. En: Identidad y diferencia. . 2010. ISBN 978-607-03-0231-2
• Hernández-Antón, Ignacio, Soler-Toscano, Fernando:
  ALGORITMOS GENÉTICOS PARA GENERACIÓN DE PROTOCOLOS INCONDICIONALMENTE SEGUROS. Pag. 61 - 68. En: LIBER AMICORUM ÁNGEL NEPOMUCENO. FENIX EDITORA. 2010. ISBN 978-84-614-5116-6
• Soler-Toscano, Fernando:
  ABDUCTIVE REASONING THROUGH D-RESOLUTION. Pag. 315 - 324. En: DIMENSIONS OF LOGICAL CONCEPTS. CENTRO DE LÓGICA, EPISTEMOLOGIA E HISTÓRIA DA CIÊNCIA. UNIVERSIDADE DE CAMPINAS. 2009. ISBN 978-85-86497-05-6
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  DEFINING INFERENTIAL CONTEXTS: DEDUCTION AND ABDUCTION. Pag. 511 - 529. En: THE MANY SIDES OF LOGIC. COLLEGE PUBLICATIONS. 2009. ISBN 978-1-904987-78-9
• Soler-Toscano, Fernando:
  CRITERIOS DE SELECCIÓN DE HIPÓTESIS EXPLICATIVAS. Pag. 203 - 217. En: LÓGICA, FILOSOFÍA DEL LENGUAJE Y DE LA LÓGICA. MERGABLUM. 2007. ISBN 9788496378353
• Nepomuceno-Fernandez, Angel, Salguero-Lamillar, Francisco Jose, Soler-Toscano, Fernando:
  DEDUCCIÓN Y GENERACIÓN DE MODELOS DE CARDINALIDAD FINITA.. Pag. 588 - 599. En: UNA PERSPECTIVA DE LA IA EN SU 50 ANIVERSARIO. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. 2006. ISBN 84-689-9560-6
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel, Aliseda-Llera, Atocha, REYES-CABELLO,ARACELI LILIANA:
  RAZONAMIENTO ABDUCTIVO EN MODELOS FINITOS MEDIANTE C-TABLAS Y DELTA-RESOLUCIÓN. Pag. 699 - 711. En: UNA PERSPECTIVA DE LA IA EN SU 50 ANIVERSARIO. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. 2006. ISBN 84-689-9560-6
• Soler-Toscano, Fernando:
  RAZONAMIENTO POR DEFECTO MEDIANTE D-RESOLUCIÓN. Pag. 85 - 112. En: REPRESENTACIÓN Y LOGICIDAD. FENIX EDITORIAL. 2005. ISBN 84-609-7872-9
• Soler-Toscano, Fernando:
  PROGRAMACIÓN DE GRAMÁTICAS CLAUSALES EN PROLOG. Pag. 91 - 111. En: ESTUDIOS DE LÓGICA Y LENGUAJE (I): LLIC-S-2005-1. MERGABLUM. 2005. ISBN 8496378268
• Soler-Toscano, Fernando:
  LEANTAP, UN SISTEMA DE REPRESENTACIÓN Y RAZONAMIENTO PARA LÓGICA DE PRIMER ORDEN. Pag. 175 - 197. En: BASES BIOLÓGICAS, LINGÜÍSTICAS, LÓGICAS Y COMPUTACIONALES PARA LA CONCEPCIÓN DE LA MENTE : LLIC-S-2004-01. MERGABLUM EDICIÓN Y COMUNICACIÓN. 2004. ISBN 84-96378-04-7

Publicaciones en Revistas:

• Esteban , FJ, Ibáñez-Molina, Antonio José, Iglesias-Parro, Sergio, Ruiz-De Miras, Juan, Soler-Toscano, Fernando:
  Editorial: Complex network dynamics in consciousness. En: Frontiers in Computational Neuroscience. 2023. Vol. 17. Núm. . Pag. 1310392- 10.3389/fncom.2023.1310392
• Portillo-Fernandez, Jose Ramon, Soler-Toscano, Fernando, Langa-Rosado, José Antonio:
  Global structural stability and the role of cooperation in mutualistic systems. En: PLoS One. 2022. Vol. 17. Núm. 4. Pag. 1-21 https://doi.org/10.1371/journal. pone.0267404
• Galadí, Javier Alejandro, Soler-Toscano, Fernando, Langa-Rosado, José Antonio:
  Model transform and local parameters. Application to instantaneous attractors. En: Chaos, Solitons & Fractals. 2022. Vol. . Núm. . Pag. - 10.1016/j.chaos.2022.112094
• Soler-Toscano, Fernando, Panda, Rajanikant, Esteban , FJ, Laureys, Steven, Kringelbach, Morten L., Langa-Rosado, José Antonio, Deco, Gustavo, Galadí, Javier Alejandro, Escrichs, Anira, Sanz-perl, Yonatan, López-gonzález, Ane, Sitt, Jacobo D., Annen, Jitka, Gosseries, Olivia, Thibaut, Aurore:
  What lies underneath: Precise classification of brain states using time-dependent topological structure of dynamics. En: PLoS Computational Biology. 2022. Vol. 18. Núm. 9. Pag. 1-20 10.1371/journal.pcbi.1010412
• Portillo-Fernandez, Jose Ramon, Soler-Toscano, Fernando, Langa-Rosado, José Antonio:
  Global structural stability and the role of cooperation in mutualistic systems. En: bioRxiv. 2021. Vol. . Núm. . Pag. 1-31 https://doi.org/10.1101/2021.04.23.441179
• Kalita, Piotr, Langa-Rosado, José Antonio, Soler-Toscano, Fernando:
  Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory. En: Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2019. Vol. 21. Núm. 5. Pag. 1-21 https://doi.org/10.3390/e21050493
• Ruiz-De Miras, Juan, Langa-Rosado, José Antonio, Soler-Toscano, Fernando, Iglesias-Parro, Sergio, Ibáñez-Molina, Antonio José, CASALI, ADENAUER G., Laureys, Steven, MASSIMINI, MARCELLO, Esteban , FJ, Navas-Ureña, Juan:
  Fractal dimension analysis of states of consciousness and unconsciousness using transcranial magnetic stimulation. En: Computer Methods and Programs in Biomedicine. 2019. Vol. 175. Núm. . Pag. 129-137 10.1016/j.cmpb.2019.04.017
• Hector, Zenil, Santiago, Hernández-orozco, Kiani, Narsis A., Soler-Toscano, Fernando, Antonio, Rueda-toicen, Tegnér, Jesper:
  A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. En: Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2018. Vol. 20. Núm. 8. Pag. 1-34 10.3390/e20080605
• Pardo-Ventura, Pere, Sarrión-Morillo, Enrique, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Tuning the Program Transformers from LCC to PDL. En: Journal of Applied Logics- IfCoLog Journal of Logics and their Applications. 2018. Vol. 5. Núm. 1. Pag. 71-96
• Esteban , FJ, Galadí, Javier Alejandro, Langa-Rosado, José Antonio, Portillo-Fernandez, Jose Ramon, Soler-Toscano, Fernando:
  Informational structures: A dynamical system approach for integrated information. . En: PLoS Computational Biology. 2018. Vol. 14. Núm. 9. Pag. e1006154-33p https://doi.org/10.1371/journal.pcbi.1006154
• Gauvrit, Nicolas, Soler-Toscano, Fernando, Guida, Alessandro:
  A preference for some types of complexity comment on "perceived beauty of random texture patterns: A preference for complexity". En: Acta Psychologica. 2017. Vol. 174. Núm. . Pag. 48-53 10.1016/j.actpsy.2017.01.007
• Soler-Toscano, Fernando, Zenil, Hector:
  A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences. En: Complexity. 2017. Vol. 2017. Núm. . Pag. 1-10 https://doi.org/10.1155/2017/7208216
• Gauvrit, Nicolas, Zenil, Hector, Soler-Toscano, Fernando, Delahaye, Jean-paul, Brugger, Peter:
  Human behavioral complexity peaks at age 25. En: PLoS Computational Biology. 2017. Vol. 13. Núm. 4. Pag. - https://doi.org/10.1371/journal.pcbi.1005408
• Dakos, Vasilis, Soler-Toscano, Fernando:
  Measuring complexity to infer changes in the dynamics of ecological systems under stress. En: Ecological Complexity. 2017. Vol. 32. Núm. B. Pag. 144-155 10.1016/j.ecocom.2016.08.005
• Gauvrit, Nicolas, Singmann, Henrik, Soler-Toscano, Fernando, Zenil, Hector:
  Algorithmic complexity for psychology: a user-friendly implementation of the coding theorem method. En: Behavior Research Methods. 2016. Vol. 48. Núm. 1. Pag. 314-329 10.3758/s13428-015-0574-3
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, Zenil, Hector:
  Fractal Dimension versus Process Complexity. En: Advances in Mathematical Physics. 2016. Vol. 2016. Núm. . Pag. - 10.1155/2016/5030593
• Fernandez-Duque, David, Nepomuceno-Fernandez, Angel, Sarrión-Morillo, Enrique, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Forgetting complex propositions. En: Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol. 23. Núm. 6. Pag. 942-965 10.1093/jigpal/jzv049
• Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Soler-Toscano, Fernando:
  A geometric protocol for cryptography with cards. En: Designs, Codes, and Cryptography. 2015. Vol. 74. Núm. 1. Pag. 113-125 10.1007/s10623-013-9855-y
• Zenil, Hector, Soler-Toscano, Fernando, Delahaye, Jean-paul, Gauvrit, Nicolas:
  Two-dimensional Kolmogorov complexity and an empirical validation of the Coding theorem method by compressibility. En: PeerJ Computer Science. 2015. Vol. 1. Núm. e23. Pag. - 10.7717/peerj-cs.23
• Soler-Toscano, Fernando:
  El giro dinámico en la epistemología formal: el caso del razonamiento explicativo. En: Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2014. Vol. 29. Núm. 2. Pag. 181-199 10.1387/theoria.6347
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  The Fundamental Problem of Contemporary Epistemology. En: Teorema. 2014. Vol. 33. Núm. 2. Pag. 89-103
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Generation and selection of abductive explanations for non-omniscient agents. En: Journal of Logic, Language and Information. 2014. Vol. 23. Núm. 2. Pag. 141-168 10.1007/s10849-014-9192-1
• Gauvrit, Nicolas, Zenil, Hector, Delahaye, Jean Paul, Soler-Toscano, Fernando:
  Algorithmic complexity for short binary strings applied to psychology: a primer. En: Behavior Research Methods. 2014. Vol. 46. Núm. 3. Pag. 732-744 10.3758/s13428-013-0416-0
• Soler-Toscano, Fernando, Zenil, Hector, Delahaye, Jean-paul, Gauvrit, Nicolas:
  Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines. En: PLoS One. 2014. Vol. 9. Núm. 5. Pag. - 10.1371/journal.pone.0096223
• Gauvrit, Nicolas, Soler-Toscano, Fernando, Zenil, Hector:
  Natural scene statistics mediate the perception of image complexity. En: Visual Cognition. 2014. Vol. 22. Núm. 8. Pag. 1084-1091 10.1080/13506285.2014.950365
• Zenil, Hector, Soler-Toscano, Fernando, Dingle, Kamaludin, Louis, Ard:
  Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks. En: Physica A: Statistical Mechanics and its Applications. 2014. Vol. 404. Núm. . Pag. 341-358 http://dx.doi.org/10.1016/j.physa.2014.02.060
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. En: Interest Group in Pure and Applied Logics. Logic Journal. 2013. Vol. 21. Núm. 6. Pag. 943-961 10.1093/jigpal/jzt013
• Soler-Toscano, Fernando, Zenil, Hector:
  De los universos digitales a la mente. Nuevas herramientas para cuantificar nuestra intuición sobre la complejidad y el azar. En: Investigación y Ciencia. 2013. Vol. . Núm. 447. Pag. 10-12
• Velázquez-Quesada, Fernando Raymundo, Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel:
  An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. En: Journal of Applied Logic. 2013. Vol. 11. Núm. 4. Pag. 505-522 10.1016/j.jal.2013.07.002
• Soler-Toscano, Fernando:
  Razonamiento explicativo y evolución de lógicas: una aproximación desde la semántica de mundos posibles. En: Contrastes. Revista Internacional de Filosofía. 2013. Vol. XVIII. Núm. . Pag. 399-412
• Soler-Toscano, Fernando, Zenil, Hector, Delahaye, Jean Paul, Gauvrit, Nicolas:
  Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures. En: Computability: the Journal of the Association CiE. 2013. Vol. 2. Núm. 2. Pag. 125-140 10.3233/COM-13019
• Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Soler-Toscano, Fernando:
  A colouring protocol for the generalized Russian cards problem. En: Theoretical Computer Science. 2013. Vol. 495. Núm. . Pag. 81-95 10.1016/j.tcs.2013.05.010
• Soler-Toscano, Fernando:
  Internet y la difusión de conocimiento libre. En: Acontecimiento. 2012. Vol. 105. Núm. . Pag. 57-60
• Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
  A secure additive protocol for card players. En: Australasian Journal of Combinatorics. 2012. Vol. 54. Núm. . Pag. 163-175
• Soler-Toscano, Fernando, Fernandez-Duque, David, Nepomuceno-Fernandez, Angel:
  A modal framework for modelling abductive reasoning. En: Interest Group in Pure and Applied Logics. Logic Journal. 2012. Vol. 20. Núm. 2. Pag. 438-444 10.1093/jigpal/jzq059
• Van Ditmarsch-, Hans, Jan, Van Eijck, Hernández-Antón, Ignacio, Sietsma, Floor, Simon, Sunil, Soler-Toscano, Fernando:
  Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. En: Advances in Soft Computing. 2012. Vol. 156. Núm. . Pag. 155-162 10.1007/978-3-642-28762-6_19
• Soler-Toscano, Fernando:
  ¿Qué es lo lógico? La logicidad dentro y fuera de la lógica. En: Revista de Humanidades. 2012. Vol. . Núm. 19. Pag. 191-210
• Hernández-Antón, Ignacio, Soler-Toscano, Fernando, Van Ditmarsch-, Hans:
  Unconditionally Secure Protocols with Genetic Algorithms. En: Advances in Soft Computing. 2012. Vol. 156. Núm. . Pag. 121-128 10.1007/978-3-642-28762-6_15
• Zenil, Héctor, Soler-Toscano, Fernando, Joosten-, Joost Johannes:
  Empirical Encounters with Computational Irreducibility and Unpredictability. En: Minds and Machines. 2012. Vol. 22. Núm. 3. Pag. 149-165 10.1007/s11023-011-9262-y
• Soler-Toscano, Fernando:
  Visualizing Abduction. En: Kairos (Portugal). 2011. Vol. . Núm. 3. Pag. 39-52
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, Zenil, Héctor:
  Program-size versus Time Complexity. Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. En: International Journal of Unconventional Computing. 2011. Vol. 7. Núm. 5. Pag. 353-387
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel, Aliseda-Llera, Atocha:
  ABDUCTION VIA C-TABLEAUX AND D-RESOLUTION. En: Journal Of Applied Non-Classical Logics. 2009. Vol. 19. Núm. 2. Pag. 211-225
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  CONSTRUCTING INFERENTIAL CONTEXTS. En: The Bulletin of Symbolic Logic. 2009. Vol. . Núm. . Pag. 373-373
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel:
  DEDUCCIÓN Y ABDUCCIÓN. En: Teorema. 2008. Vol. XXVII. Núm. 1. Pag. 5-16
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  CONSTRUCTING INFERENTIAL CONTEXTS. En: CLE e-Prints. 2008. Vol. 8. Núm. 6. Pag. E-PAPER
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel:
  ABDUCCIÓN EN MODELOS FINITOS. En: Crítica: Revista Hispanoamericana de Filosofía. 2008. Vol. . Núm. . Pag. 57-78
• Soler-Toscano, Fernando:
  EMILIO DÍAZ ESTÉVEZ. IN MEMORIAM.. En: Boletín de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. 2007. Vol. . Núm. 43. Pag. 13-14
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  METAMODELLING ABDUCTION. En: Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2007. Vol. . Núm. . Pag. 285-293
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel:
  TARFA: TABLEAUX AND RESOLUTION FOR FINITE ABDUCTION. En: Lecture Notes in Computer Science. 2006. Vol. 4160. Núm. . Pag. 511-514
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel, Aliseda-Llera, Atocha:
  MODEL-BASED ABDUCTION VIA DUAL RESOLUTION. En: Interest Group in Pure and Applied Logics. Logic Journal. 2006. Vol. 14. Núm. 2. Pag. 305-319

Otra participación en Libros de Actas:

• Blackburn, Patrick, Van Ditmarsch-, Hans, Manzano, María, Soler-Toscano, Fernando:
  Tools for Teaching Logic. 2011. ISBN 978-3-642-21349-6.

Aportaciones a Congresos:

• Soler-Toscano, Fernando, Langa-Rosado, José Antonio, Portillo-Fernandez, Jose Ramon:
  Information structures and consciousness. Comunicación en congreso. Models of Consciousness 2022. Stanford University CA USA. 2022
• Godoy-Del Olmo, Oscar, Almaraz, Pablo, Soler-Toscano, Fernando, Langa-Rosado, José Antonio:
  Non-equilibrium dynamics shaped by temporal changes in biotic interactions. Comunicación en congreso. 2022 Annual Meeting - Ecological Society of America. Montreal, - Montreal, Canadá. 2022
• Langa-Rosado, José Antonio, Soler-Toscano, Fernando:
  La naturaleza de la consciencia: una aproximación desde la teoría de los sistemas dinámicos. Comunicación en congreso. III Congreso Razón Abierta. Madrid. 2019
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, Zenil, Hector:
  Fractal Dimension of Space-time Diagrams and the Runtime Complexity of Small Turing Machines. Comunicación en congreso. Machines, Computations and Universality 2013. Zürich, Suiza. 2013
• Soler-Toscano, Fernando:
  A universal measure of complexity: approximations and applications. Comunicación en congreso. Philosophy of Science in the 21st Century - Challenges and Tasks. Lisboa, Portugal. 2013
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  Logic and philosophy of science: dynamic epistemic logic. Comunicación en congreso. Philosophy of Science in the 21st Century - Challenges and Tasks. Lisboa, Portugal. 2013
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  The dynamics of information in non-omniscient agents. Poster en Congreso. Loft 2012. 10th Conference on Logic and the Foundations of Game and Decision Theory. . 2012
• Van Ditmarsch-, Hans, Van Eijck, Jan, Hernández-Antón, Ignacio, Sietsma, Floor, Sunil, Simon, Soler-Toscano, Fernando:
  Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Comunicación en congreso. 10th International Conference on Practical Applications of Agents and Multi-Agent Systems. . 2012
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando, Velázquez-Quesada, Fernando Raymundo:
  Abductive reasoning from the agent's point of view. Comunicación en congreso. MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY 2012. Sestri Levante, Italy. 2012
• Soler-Toscano, Fernando:
  Action Models for the Extended Mind. Comunicación en congreso. International Symposium of Epistemology, Logic and Language. Lisboa, Portugal. 2012
• Hernández-Antón, Ignacio, Sarrión-Morillo, Enrique, Soler-Toscano, Fernando:
  Abducción y Semántica de Teoría de Juegos. Comunicación en congreso. VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Santiago de Compostela. 2012
• Hernández-Antón, Ignacio, Soler-Toscano, Fernando, Van Ditmarsch-, Hans:
  Unconditionally Secure Protocols with Genetic Algorithms. Comunicación en congreso. 10th International Conference on Practical Applications of Agents and Multi-Agent Systems. . 2012
• Albert, Michael, Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
  Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. RECTORADO DE LA UNIVERSIDAD DE SALAMANCA. 2011
• Van Ditmarsch-, Hans, Soler-Toscano, Fernando:
  Three Steps. Comunicación en congreso. Computational Logic in Multi-Agent Systems. BARCELONA, UNIVERSIDAD DE BARCELONA. 2011
• Soler-Toscano, Fernando:
  Attacking and Fixing an Epistemic Protocol with DEMO. Comunicación en congreso. 20th workshop on Games, Logic, Language and Computation: Epistemic Actions for Non-ideal Agents. AMSTERDAM. 2011
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R.:
  Razonamiento abductivo en agentes no omniscientes. Comunicación en congreso. VI Jornadas Ibéricas. Lógica, Lenguaje, Mente y Ciencia. FACULTAD DE FILOSOFÍA DE LA UCM.. 2011
• Joosten-, Joost Johannes, Zenil, Hector, Soler-Toscano, Fernando:
  Entropy as an indication of the runtime of terminating discrete dynamical processes. Comunicación en congreso. ECCS'11 - European Conference on Complex Systems 2011. AUSTRIA, VIENA. 2011
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, Zenil, Hector:
  Program-size versus Time Complexity. Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. Comunicación en congreso. P&C'10 - Physics and Computation 2010. LUXOR, EGIPTO. 2010
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R.:
  ABDUCTION FOR (NON-OMNISCIENT) AGENTS. Comunicación en congreso. THE MULTI-AGENT LOGICS, LANGUAGES, AND ORGANISATIONS FEDERATED WORKSHOPS () (.2010.LYON, FRANCIA). LYON, FRANCIA. 2010
• ALBERT-,MICHAEL, Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
  SECURE COMMUNICATION OF LOCAL STATES IN MULTI-AGENT SYSTEMS. Comunicación en congreso. LOGICS IN SECURITY () (.2010.COPENHAGUE, DINAMARCA). COPENHAGUE, DINAMARCA. 2010
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R.:
  A SUBJECTIVE-DYNAMIC PERSPECTIVE TO ABDUCTIVE REASONING. Comunicación en congreso. ARGUMENTATION IN INTENSIONAL CONTEXTS: KNOWLEDGE, BELIEF, DIALOGUE () (.2010.SEVILLA). . 2010
• Joosten-, Joost Johannes, Soler-Toscano, Fernando:
  TRADE-OFF BETWEEN DESCRIPTIVE AND COMPUTATIONAL COMPLEXITY ON SMALL TURING MACHINES. Comunicación en congreso. JORNADAS IBÉRICAS - LÓGICA UNIVERSAL E UNIDADE DA CIÊNCIA (5) (5.2010.LISBOA, SEVILLA). LISBOA, SEVILLA. 2010
• Joosten-, Joost Johannes, Soler-Toscano, Fernando, ZENIL-,HÉCTOR:
  DESCRIPTIONAL VERSUS COMPUTATIONAL COMPLEXITY. SLOWDOWN AND SPEED-UP PHENOMENA IN THE MICRO-COSMOS OF SMALL TURING MACHINES. Comunicación en congreso. 3RD INTERNATIONAL WORKSHOP ON PHYSICS AND COMPUTATION (2010). EGIPTO. 2010
• Soler-Toscano, Fernando, Velázquez-Quesada, Fernando R.:
  UN ENFOQUE EPISTÉMICO-DINÁMICO A LA ABDUCCIÓN. Comunicación en congreso. SIMPOSIO DE LINGÜÍSTICA, LÓGICA Y COMPUTACIÓN () (.2010.MÁLAGA). . 2010
• Soler-Toscano, Fernando, Fernandez-Duque, David, Nepomuceno-Fernandez, Angel:
  A MODAL FRAMEWORK FOR MODELLING ABDUCTIVE REASONING. Comunicación en congreso. MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY () (.2009.CAMPINAS, BRASIL). CAMPINAS, BRASIL. 2009
• Soler-Toscano, Fernando, Hernández-Antón, Ignacio:
  APROXIMACIÓN MODAL A LA INFERENCIA DE NUEVAS TEORÍAS. Comunicación en congreso. VI CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA EN ESPAÑA (6) (6.2009.VALENCIA). . 2009
• Soler-Toscano, Fernando:
  PROGRAMACIÓN LÓGICA Y SUS APLICACIONES EN INTELIGENCIA ARTIFICIAL. Ponencia en Congreso. LÓGICA Y FILOSOFÍA DE LA CIENCIA EN ESPAÑA () (.2008.SALAMANCA). SALAMANCA. 2008
• Soler-Toscano, Fernando:
  ABDUCCIÓN, DEDUCCIÓN Y TESIS DE AUTONOMÍA. Ponencia en Congreso. CONGRSO INTERNACIONAL DE FILOSOFÍA DE LA ASOCIACIÓN FILOSÓFICA DE MÉXICO (14) (14.2007.MAZATLÁN (MÉXICO)). MAZATLÁN (MÉXICO). 2007
• Soler-Toscano, Fernando:
  LÓGICA PROPOSICIONAL CON EASYLOGIC. Ponencia en Congreso. ENCUENTRO INTERNACIONAL DE DIDÁCTICA DE LA LÓGICA (10) (10.2007.MAZATLÁN (MÉXICO)). MAZATLÁN (MÉXICO). 2007
• Soler-Toscano, Fernando:
  EXPLICANDO EL RAZONAMIENTO EXPLICATIVO. Comunicación en congreso. JORNADAS IBÉRICAS DE LOGICA E FILOSOFIA DA CIENCIA (2) (2.2007.LISBOA (PORTUGAL)). LISBOA (PORTUGAL). 2007
• Soler-Toscano, Fernando:
  RESOLUCIÓN DE ANÁFORAS: GRAMÁTICA DCG CON USO DE RASGOS PARA UNIFICACIÓN. Comunicación en congreso. SIMPOSIO DE COMPUTACIÓN, LÓGICA Y LINGÜÍSTICA () (.2007.MÁLAGA). . 2007
• Nepomuceno-Fernandez, Angel, Aliseda-Llera, Atocha, Soler-Toscano, Fernando:
  SEARCHING THE UNITY OF SCIENCE: FROM CLASSICAL LOGIC TO ABDUCTIVE LOGICAL SYSTEM. Comunicación en congreso. LISBON COLLOQUIUM FOR THE PHILOSOPHY OF SCIENCE. THE UNITY OF SCIENCE: NON TRADITIONAL APPROACHES () (.2006.LISBOA). LISBOA. 2006
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  LOGIC: A BRIDGE BETWEEN SCIENCES AND HUMANITIES. Comunicación en congreso. SECOND INTERNATIONAL CONGRESS ON TOOLS FOR TEACHING LOGIC () (.2006.SALAMANCA). SALAMANCA. 2006
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel, Pérez-Robleda,José Antonio:
  EASY LOGIC: AN INTERACTIVE WEB INTERFACE TO THEOREM PROVERS. Comunicación en congreso. SECOND INTERNATIONAL CONGRESS ON TOOLS FOR TEACHING LOGIC () (.2006.SALAMANCA). SALAMANCA. 2006
• Soler-Toscano, Fernando:
  RAZONAMIENTO ABDUCTIVO EN LÓGICAS MULTIVALUADAS. Comunicación en congreso. CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA EN ESPAÑA (5) (5.2006.GRANADA, ESPAÑA). . 2006
• Soler-Toscano, Fernando:
  ABDUCTIVE REASONING THROUGH DELTA-RESOLUTION. Comunicación en congreso. WORLD CONGRESS ON UNIVERSAL LOGIC (1) (1.2005.MONTREUX, SUIZA). MONTREUX, SUIZA. 2005
• Soler-Toscano, Fernando:
  ABDUCCIÓN MEDIANTE D-RESOLUCIÓN: ANÁLISIS COGNITIVO. Comunicación en congreso. CONGRESO IBEROAMERICANO DE FILOSOFIA DE LA CIENCIA Y DE LA TECNOLOGIA (2) (2.2005.LA LAGUNA). LA LAGUNA. 2005
• Soler-Toscano, Fernando:
  CÁLCULO DE DELTA-RESOLUCIÓN PROPOSICIONAL. Conferencia Congreso no publicada. SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFIA DE LA CIENCIA (4.2004.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2004
• Soler-Toscano, Fernando:
  LA ABDUCCIÓN COMO PROCESO: LA BÚSQUEDA DEL ESLABÓN PERDIDO EN LA CADENA DE RAZONAMIENTOS. Comunicación en congreso. JORNADA DE LÓGICA Y LENGUAJE: INFORMACIÓN Y REPRESENTACIÓN () (.2004.CARMONA). CARMONA. 2004
• Soler-Toscano, Fernando, Nepomuceno-Fernandez, Angel:
  ABDUCCIÓN Y TABLAS SEMÁNTICAS: ALGUNAS EXTENSIONES. Comunicación en congreso. SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFIA DE LA CIENCIA (4.2004.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2004
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  ABDUCCIÓN Y RAZONAMIENTO POR DEFECTO. Conferencia Congreso no publicada. SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFIA DE LA CIENCIA (4.2004.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2004
• Nepomuceno-Fernandez, Angel, Soler-Toscano, Fernando:
  CONCEPT SCRIPT: FROM LOGIC OF LANGUAGE TO LANGUAGE OF LOGIC. Comunicación en congreso. FOUNDATIONS OF THE FORMAL SCIENCES IV: THE HISTORY OF THE CONCEPT OF THE FORMAL SCIENCES () (.2003.RHEINISCHE FRIEDRICH-WILHEMS.UNIVERSITÄT BONN). RHEINISCHE FRIEDRICH-WILHEMS.UNIVERSITÄT BONN. 2003
• Soler-Toscano, Fernando:
  REPRESENTATIVE FUNCTIONS FOR INFINITE SEMANTIC TABLEAUX. Comunicación en congreso. 12TH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE () (.2003.OVIEDO, ESPAÑA). OVIEDO, ESPAÑA. 2003

Tesis dirigidas y co-dirigidas:

• Sarrión-Morillo, Enrique:
  Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas. Tesis Doctoral. 2016