Ficha personal - Fernando Soler Toscano
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 WOS: 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
Soler Toscano, Fernando:An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. Pag. 449-453. En: Diagrammatic Representation and Inferenceiagrammatic Representation and Inference. Diagrams 2024. Lecture Notes in Computer Science. vol 14981.. Springer, Cham. 2024. ISBN 978-3-031-71290-6
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
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla