» Investigación » SISIUS - Investigación en la USE

Fernando Soler Toscano
Telefono: 954559968
Email: Solicitar correo
Página personal: http://personal.us.es/fsoler/
Perfil en ORCID: 0000-0003-1953-4136
Perfil en ResearcherID: L-2478-2014
Perfil en Scopus: 15021346100

Grupo de Investigación: Grupo de Logica, Lenguaje e Informacion
Departamento/Unidad: Filosofía y Lógica y Filosofía de la Ciencia
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Complejidad y sistemas dinámicos: teoría matemática y aplicaciones a ecología y a la neurociencia de la consciencia (P20_00592)
  • Dinámica de la Información: Razonamiento, Interacción y Abducción (FFI2014-56219-P)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • 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)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación HUM-609 (2021/HUM-609)
  • Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E)
  • Estancia. Centro de Filosofía das Ciencias. Universidad de Lisboa (PP2010-05-040)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Métodos lógicos y abductivos aplicados a la semántica y la pragmática de la interacción comunicativa (PID2020-117871GB-I00 - Equipo de Investigación)
  • Deterministic and stochastic dynamics of models from Neuroscience, Epidemiology, Biology and other branches of the Applied Sciences (US-1254251 - Equipo de Investigación)
  • Dinámica Fractal de la Consciencia: de la Teoría a la Implementación Clínica (MTM2014-61312-EXP - Investigador)
  • Conciencia, Lógica y Computación (FFI2011-29609-C02-01 - Investigador)
  • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
  • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)
  • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)
  • Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053 - Becario)
  • 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)
  • Lógica y lenguaje: información y representación (HUM2004-01255 - Becario)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación HUM-609 (2017/HUM-609 - Investigador)
  • Incentivo al Grupo de Investigación HUM-609 (2011/HUM-609 - Investigador)
  • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609 - Investigador)
  • Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609 - Investigador)
  • Lógica, lenguaje y la unidad de la ciencia (HP2007-0018 - Contratado)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2006/HUM-609 - Becario)
  • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2005/HUM-609 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Zenil, Hector, Soler Toscano, Fernando, Gauvrit, Nicolas:
Methods and Applications of Algorithmic Complexity. Beyond Statistical Lossless Compression. Springer. 2022. 267. ISBN 978-3-662-64983-1

Soler Toscano, Fernando:
Razonamiento abductivo en lógica clásica. Londres. College Publications. 2012. 125. ISBN 978-1-84890-083-7

Barceló Aspeitia,Axel Arturo, Soler Toscano, Fernando, Aliseda Llera, Atocha, Morado Estrada,Raymundo, Nepomuceno Fernandez, Angel:
Representación y Logicidad. Santander (ESPAÑA). 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

Otra participación en Libros

Barés Gómez, Cristina (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a), Soler Toscano, Fernando (Editor/a):
Lógica, Conocimiento y Abducción. Homenaje a Ángel Nepomuceno. London. College Publications. 2020. ISBN 978-1-84890-358-6

Van Ditmarsch, Hans (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a), Soler Toscano, Fernando (Editor/a):
Liber Amicorum Ángel Nepomuceno. Homenaje en su Sexagésimo Cumpleaños. Sevilla (ESPAÑA). Fénix Editora. 2010

Salguero Lamillar, Francisco Jose (Editor/a), Nepomuceno Fernandez, Angel (Editor/a), Soler Toscano, Fernando (Editor/a):
Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

Nepomuceno Fernandez, Angel (Editor/a), Soler Toscano, Fernando (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a):
Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Santander (ESPAÑA). Mergablum. 2005. ISBN 8496378268

Nepomuceno Fernandez, Angel (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a), Soler Toscano, Fernando (Editor/a):
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ítulos en 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. London. 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

Soler Toscano, Fernando:
Action Models for the Extended Mind. Pag. 433-444. En: Epistemology, Knowledge and the Impact of Interaction. Zurich, Switzerland. Springer. 2016. 554. 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. Vol. 9422. Pag. 139-149. En: Advances in Artificial Intelligence, 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-12, 2015. Springer. 2015. 358. 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. Vol. 8761. 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. Vol. 3. Pag. 47-78. En: Logic of knowledge. Theory and applications. Londres, Reino Unido. 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. 17-30. ISBN 978-84-7898-462-6

Van Ditmarsch, Hans, Soler Toscano, Fernando:
Three Steps. Pag. 41-57. En: Computational Logic in Multi-Agent Systems. 2011

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
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

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

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. Heidelberg, Alemania. Springer. 2011. ISBN 978-94-007-0142-7

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Validez y contexto inferencial. Vol. 3. Pag. 60-73. En: Identidad y diferencia. 2010. ISBN 978-607-03-0231-2

Soler Toscano, Fernando:
Consistencia y Relevancia en el Razonamiento Abductivo. Pag. 133-138. En: Liber Amicorum Ángel Nepomuceno. Santander (ESPAÑA). Fenix Editora. 2010. ISBN 978-84-614-5116-6

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. Santander (ESPAÑA). Fenix Editora. 2010. ISBN 978-84-614-5116-6

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. 449. ISBN 9788461442911

Soler Toscano, Fernando:
Abductive Reasoning Through D-Resolution. Pag. 315-324. En: Dimensions of Logical Concepts. Campinas. 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. London. 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. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

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. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

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. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

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. Santander (ESPAÑA). Mergablum. 2005. ISBN 8496378268

Soler Toscano, Fernando:
Razonamiento Por Defecto Mediante D-Resolución. Pag. 85-112. En: Representación y Logicidad. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-7872-9

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: Editorial: Complex network dynamics in consciousness. En: Frontiers in Computational Neuroscience. 2023. Vol. 17. 10.3389/fncom.2023.1310392

Soler Toscano, Fernando, Galadí, Javier Alejandro, Escrichs, Anira, Sanz Perl, Yonatan, López González, Ane, et. al.:
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

Galadí, Javier Alejandro, Soler Toscano, Fernando, Langa Rosado, José Antonio:
Model transform and local parameters. Application to instantaneous attractors. En: Chaos, Solitons & Fractals. 2022. 10.1016/j.chaos.2022.112094

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

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. 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, Soler Toscano, Fernando, Iglesias Parro, Sergio, Ibáñez Molina, Antonio José, Casali, Adenauer G., et. al.:
Fractal dimension analysis of states of consciousness and unconsciousness using transcranial magnetic stimulation. En: Computer Methods and Programs in Biomedicine. 2019. Vol. 175. 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, et. al.:
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. https://doi.org/10.1371/journal.pcbi.1006154

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. 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. https://doi.org/10.1371/journal.pcbi.1005408

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. Pag. 48-53. 10.1016/j.actpsy.2017.01.007

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

Joosten, Joost Johannes, Soler Toscano, Fernando, Zenil, Hector:
Fractal Dimension versus Process Complexity. En: Advances in Mathematical Physics. 2016. Vol. 2016. 10.1155/2016/5030593

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

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. 10.7717/peerj-cs.23

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

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. 10.1371/journal.pone.0096223

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

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

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

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. Pag. 341-358. http://dx.doi.org/10.1016/j.physa.2014.02.060

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

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. Pag. 81-95. 10.1016/j.tcs.2013.05.010

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

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. Núm. 447. Pag. 10-12

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. Pag. 399-412

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

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:
¿Qué es lo lógico? La logicidad dentro y fuera de la lógica. En: Revista de Humanidades. 2012. Núm. 19. Pag. 191-210

Soler Toscano, Fernando:
Internet y la difusión de conocimiento libre. En: Acontecimiento. 2012. Vol. 105. Pag. 57-60

Van Ditmarsch, Hans, Jan, Van Eijck, Hernández Antón, Ignacio, Sietsma, Floor, Simon, Sunil, et. al.:
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. En: Advances in Soft Computing. 2012. Vol. 156. Pag. 155-162. 10.1007/978-3-642-28762-6_19

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. Pag. 121-128. 10.1007/978-3-642-28762-6_15

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. Pag. 163-175

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, 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

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:
Visualizing Abduction. En: Kairos (Portugal). 2011. Núm. 3. Pag. 39-52

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. 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

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Abducción en Modelos Finitos. En: Crítica: Revista Hispanoamericana de Filosofía. 2008. 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. 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. Pag. 285-293

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

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Tarfa: Tableaux and Resolution for Finite Abduction. En: Lecture Notes in Computer Science. 2006. Vol. 4160. Pag. 511-514

Otra participación en Libros de Actas

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

Aportaciones a Congresos

Portillo Fernandez, Jose Ramon, Soler Toscano, Fernando, Langa Rosado, José Antonio:
Ecología comunitaria, estructuras informacionales y grafos. Ponencia en Congreso. XIII encuentro andaluz de matemática discreta. - Cadiz, España. 2023

Portillo Fernandez, Jose Ramon, Soler Toscano, Fernando, Langa Rosado, José Antonio:
Cooperación en sistemas ecológicos mutualistas. Comunicación en congreso. XII Encuentro Andaluz de Matemática Discreta. - Cádiz, - Cádiz, - Cádiz, España, Campus de Jerez de la Frontera, España. 2022

Soler Toscano, Fernando:
Mente, conciencia e inteligencia artificial. Conferencias impartidas en Curso. C1b3rWall Academy 22/23. - Salamanca, España. 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

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

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

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

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

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

Van Ditmarsch, Hans, Van Eijck, Jan, Hernández Antón, Ignacio, Sietsma, Floor, Sunil, Simon, et. al.:
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

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

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

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 Theor. 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

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

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 Cienci. Facultad de Filosofía de la Ucm. 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

Van Ditmarsch, Hans, Soler Toscano, Fernando:
Three Steps. Comunicación en congreso. Computational Logic in Multi-Agent Systems. Barcelona, Universidad de Barcelona. 2011

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
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

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

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

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Multi-Agent Systems. Comunicación en congreso. Logics in Security. 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

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. Lisboa, Sevilla. 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

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. Lyon, Francia. 2010. Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (Mallow 2010). 1. 14

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. 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. 2009. Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 123. 127

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. 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. 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. 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. 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

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. 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. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 133. 136

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. 2006. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 614. 617

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. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 201. 204

Soler Toscano, Fernando:
Abductive Reasoning Through Delta-Resolution. Comunicación en congreso. World Congress on Universal Logic. Montreux, Suiza. 2005. 1st World Congress and School on Universal Logic. 97. 97

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. La Laguna. 2005. II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. CD. ROM

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. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 385. 387

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. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 392. 395

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. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 396. 399

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. Carmona. 2004. Jornada de Lógica y Lenguaje: Información y Representación. 30. 30

Soler Toscano, Fernando:
Representative Functions for Infinite Semantic Tableaux. Comunicación en congreso. 12th International Congress of Logic, Methodology and Philosophy of Science. Oviedo, España. 2003. Volume of Abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science. 134. 134

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. Rheinische Friedrich-Wilhems.universität Bonn. 2003. Fotfs IV: the History of the Concept of the Formal Sciences. 36. 36

Otras Publicaciones

Soler Toscano, Fernando, Zenil, Hector:
Kolmogorov Complexity of 3×3 and 4×4 Squares. Otras Publicaciones. 2013

Zenil, Hector, Soler Toscano, Fernando:
Infinite Monkey Theorem. Otras Publicaciones. 2013. Inglés

Soler Toscano, Fernando, Zenil, Hector, Delahaye, Jean Paul, Gauvrit, Nicolas:
Small Turing Machines with Halting State: Enumeration and Running on a Blank Tape. Otras Publicaciones. 2013. Inglés

Joosten, Joost Johannes, Soler Toscano, Fernando, Zenil, Héctor:
Speedup and Slowdown Phenomena in Turing Machines. Otras Publicaciones. 2012. Inglés

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