FERNANDO SOLER TOSCANO

Categoría
Profesor Titular de Universidad

Contacto

Teléfono
Correo electrónico
Área
Lógica y Filosofía de la Ciencia

Investigación

Grupo de investigación

GRUPO DE LOGICA, LENGUAJE E INFORMACION (GILLIUS)

Proyectos y contratos de investigación

LÓGICA Y LENGUAJE: INFORMACIÓN Y REPRESENTACIÓN (HUM2004-01255 - Investigador/a)
LÓGICA Y LENGUAJE: AMBIGÜEDAD EN EL DISCURSO Y ELABORACIÓN DEL CONTEXTO (HUM2007-65053 - 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, LENGUAJE Y LA UNIDAD DE LA CIENCIA (HP2007-0018 - Investigador/a)
LÓGICA DE PROTOCOLOS INCONDICIONALMENTE SEGUROS (P08-HUM-4159 - Investigador/a)
DISEÑO MÁSTER EN COGNICIÓN: LÓGICA, LINGÜÍSTICA Y FILOSOFÍA (SE-17 - Investigador/a)
DESARROLLO DE FLUJOS DE TRABAJO EN ENTORNOS DE COLABORACIÓN (0122/0083 - Responsable)
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)
La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador/a)
Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad. (1463/0083 - Responsable)
Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E - Responsable)
Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E - Investigador/a)
Dinámica de la Información: Razonamiento, Interacción y Abducción (FFI2014-56219-P - Responsable)
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)
Investigador en Epistemic Protocol Synthesis (Univ. Sevilla) (Responsable)
Epistemic protocol synthesis (FFI2011-15945-E - Responsable)
Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad (1463/0083 - Responsable)

Libros publicados

Zenil, Hector;Soler-Toscano, Fernando;Gauvrit, Nicolas:
Methods and Applications of Algorithmic Complexity. Beyond Statistical Lossless Compression. Springer. 2022. 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. 978-1-84890-358-6
Soler-Toscano, Fernando:
Razonamiento abductivo en lógica clásica. College Publications. 2012. 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.
Salguero-Lamillar, Francisco Jose;Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
LÓGICA, FILOSOFÍA DEL LENGUAJE Y DE LA LÓGICA. MERGABLUM. 2007. 9788496378353
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando;Salguero-Lamillar, Francisco Jose:
ESTUDIOS DE LÓGICA Y LENGUAJE (I): LLIC-S-2005-1. MERGABLUM. 2005. 8496378268
Barceló-Aspeitia,Axel Arturo;Soler-Toscano, Fernando;Aliseda-Llera, Atocha;Morado-Estrada,Raymundo;Nepomuceno-Fernandez, Angel:
REPRESENTACIÓN Y LOGICIDAD. FENIX EDITORIAL. 2005. 84-609-7872-9
Soler-Toscano, Fernando:
MODELOS FORMALES DE EXPLICACIÓN EN LÓGICA E INTELIGENCIA ARTIFICIAL. FONDOS DIGITALES UNIVERSIDAD DE SEVILLA. 2005. 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. 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. Pág. 1-29. Springer. Springer. 2022.
Soler-Toscano, Fernando:
Conciencia, lógica y computación. Pág. 115-128. COLLEGE PUBLICATIONS. COLLEGE PUBLICATIONS. 2020.
Soler-Toscano, Fernando:
Lógica y pensamiento computacional. Pág. 411-423. COLLEGE PUBLICATIONS. COLLEGE PUBLICATIONS. 2019.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
Abductive Reasoning in Dynamic Epistemic Logic. Pág. 269-293. Springer. Springer. 2017.
Soler-Toscano, Fernando:
Action Models for the Extended Mind. Pág. 433-444. Springer. Springer. 2016.
Nepomuceno-Fernandez, Angel;Sarrión-Morillo, Enrique;Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
Public and Secret Forgetting of Propositional Formulas. Pág. 139-149. En: 9422. Springer. Springer. 2015.
Pardo-Ventura, Pere;Sarrión-Morillo, Enrique;Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
Efficient Program Transformers for Translating LCC to PDL. Pág. 253-266. En: 8761. Springer. Springer. 2014.
Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
A dynamic-epistemic approach to abductive reasoning. Pág. 47-78. En: 3. College Publications. College Publications. 2012.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
Dinámica de la información en agentes no omniscientes. Pág. 49-61. Alfar. Alfar. 2012.
Joosten-, Joost Johannes;Soler-Toscano, Fernando;Zenil, Hector:
Complejidad descriptiva y computacional en máquinas de Turing pequeñas. Pág. 11-32. 2011.
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. Pág. 117-124. 2011.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando;Aliseda-Llera, Atocha:
FROM CLASSICAL LOGIC TO ABDUCTIVE LOGICAL SYSTEMS. Pág. 201-212. Springer. Springer. 2011.
Van Ditmarsch-, Hans;Soler-Toscano, Fernando:
Three Steps. Pág. 41-57. 2011.
Hernández-Antón, Ignacio;Soler-Toscano, Fernando:
ALGORITMOS GENÉTICOS PARA GENERACIÓN DE PROTOCOLOS INCONDICIONALMENTE SEGUROS. Pág. 61-68. FENIX EDITORA. FENIX EDITORA. 2010.
Salguero-Lamillar, Francisco Jose;Soler-Toscano, Fernando:
RESOLUCIÓN ABDUCTIVA DE ANÁFORAS PRONOMINALES. Pág. 47-61. FÉNIX EDITORA. FÉNIX EDITORA. 2010.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
Validez y contexto inferencial. Pág. 60-73. En: 3. 2010.
Soler-Toscano, Fernando:
CONSISTENCIA Y RELEVANCIA EN EL RAZONAMIENTO ABDUCTIVO. Pág. 133-138. FENIX EDITORA. FENIX EDITORA. 2010.
Soler-Toscano, Fernando:
ABDUCTIVE REASONING THROUGH D-RESOLUTION. Pág. 315-324. CENTRO DE LÓGICA, EPISTEMOLOGIA E HISTÓRIA DA CIÊNCIA. UNIVERSIDADE DE CAMPINAS. CENTRO DE LÓGICA, EPISTEMOLOGIA E HISTÓRIA DA CIÊNCIA. UNIVERSIDADE DE CAMPINAS. 2009.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
DEFINING INFERENTIAL CONTEXTS: DEDUCTION AND ABDUCTION. Pág. 511-529. COLLEGE PUBLICATIONS. COLLEGE PUBLICATIONS. 2009.
Soler-Toscano, Fernando:
CRITERIOS DE SELECCIÓN DE HIPÓTESIS EXPLICATIVAS. Pág. 203-217. MERGABLUM. MERGABLUM. 2007.
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. Pág. 699-711. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. 2006.
Nepomuceno-Fernandez, Angel;Salguero-Lamillar, Francisco Jose;Soler-Toscano, Fernando:
DEDUCCIÓN Y GENERACIÓN DE MODELOS DE CARDINALIDAD FINITA.. Pág. 588-599. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. EDICIONES DE LA UNIVERSIDAD DE CASTILLA LA MANCHA. 2006.
Soler-Toscano, Fernando:
PROGRAMACIÓN DE GRAMÁTICAS CLAUSALES EN PROLOG. Pág. 91-111. MERGABLUM. MERGABLUM. 2005.
Soler-Toscano, Fernando:
RAZONAMIENTO POR DEFECTO MEDIANTE D-RESOLUCIÓN. Pág. 85-112. FENIX EDITORIAL. FENIX EDITORIAL. 2005.
Soler-Toscano, Fernando:
LEANTAP, UN SISTEMA DE REPRESENTACIÓN Y RAZONAMIENTO PARA LÓGICA DE PRIMER ORDEN. Pág. 175-197. MERGABLUM EDICIÓN Y COMUNICACIÓN. MERGABLUM EDICIÓN Y COMUNICACIÓN. 2004.

Participación en congresos

Soler-Toscano, Fernando:
Loft 2012. 10th Conference on Logic and the Foundations of Game and Decision Theory. . 2012

Asistencia 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
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
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:
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:
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
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
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
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
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 Ciencia. FACULTAD DE FILOSOFÍA DE LA UCM.. 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
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
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
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;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;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
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
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;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;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:
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:
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:
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:
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
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:
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;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
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:
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:
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:
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
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
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
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
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

Artículos publicados

Esteban , FJ;Ibáñez-Molina, Antonio José;Iglesias-Parro, Sergio;Ruiz-De Miras, Juan;Soler-Toscano, Fernando:
Editorial: Complex network dynamics in consciousness. Frontiers in Computational Neuroscience. 2023. Vol: 17. 10.3389/fncom.2023.1310392.
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. PLoS Computational Biology. 2022. Vol: 18. Núm: 9. Pág. 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. PLoS One. 2022. Vol: 17. Núm: 4. Pág. 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. 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. bioRxiv. 2021. Pág. 1-31. https://doi.org/10.1101/2021.04.23.441179 .
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. Computer Methods and Programs in Biomedicine. 2019. Vol: 175. Pág. 129-137. 10.1016/j.cmpb.2019.04.017.
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. Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2019. Vol: 21. Núm: 5. Pág. 1-21. https://doi.org/10.3390/e21050493.
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. . PLoS Computational Biology. 2018. Vol: 14. Núm: 9. Pág. e1006154-33p. https://doi.org/10.1371/journal.pcbi.1006154.
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. Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2018. Vol: 20. Núm: 8. Pág. 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. Journal of Applied Logics- IfCoLog Journal of Logics and their Applications. 2018. Vol: 5. Núm: 1. Pág. 71-96.
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". Acta Psychologica. 2017. Vol: 174. Pág. 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. Complexity. 2017. Vol: 2017. Pág. 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. PLoS Computational Biology. 2017. Vol: 13. Núm: 4. 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. Ecological Complexity. 2017. Vol: 32. Núm: B. Pág. 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. Behavior Research Methods. 2016. Vol: 48. Núm: 1. Pág. 314-329. 10.3758/s13428-015-0574-3.
Joosten-, Joost Johannes;Soler-Toscano, Fernando;Zenil, Hector:
Fractal Dimension versus Process Complexity. Advances in Mathematical Physics. 2016. Vol: 2016. 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. Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol: 23. Núm: 6. Pág. 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. Designs, Codes, and Cryptography. 2015. Vol: 74. Núm: 1. Pág. 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. PeerJ Computer Science. 2015. Vol: 1. Núm: e23. 10.7717/peerj-cs.23.
Soler-Toscano, Fernando:
El giro dinámico en la epistemología formal: el caso del razonamiento explicativo. Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2014. Vol: 29. Núm: 2. Pág. 181-199. 10.1387/theoria.6347.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
The Fundamental Problem of Contemporary Epistemology. Teorema. 2014. Vol: 33. Núm: 2. Pág. 89-103.
Soler-Toscano, Fernando;Velázquez-Quesada, Fernando Raymundo:
Generation and selection of abductive explanations for non-omniscient agents. Journal of Logic, Language and Information. 2014. Vol: 23. Núm: 2. Pág. 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. Behavior Research Methods. 2014. Vol: 46. Núm: 3. Pág. 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. PLoS One. 2014. Vol: 9. Núm: 5. 10.1371/journal.pone.0096223.
Gauvrit, Nicolas;Soler-Toscano, Fernando;Zenil, Hector:
Natural scene statistics mediate the perception of image complexity. Visual Cognition. 2014. Vol: 22. Núm: 8. Pág. 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. Physica A: Statistical Mechanics and its Applications. 2014. Vol: 404. Pág. 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. Interest Group in Pure and Applied Logics. Logic Journal. 2013. Vol: 21. Núm: 6. Pág. 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. Investigación y Ciencia. 2013. Núm: 447. Pág. 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. Journal of Applied Logic. 2013. Vol: 11. Núm: 4. Pág. 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. Contrastes. Revista Internacional de Filosofía. 2013. Vol: XVIII. Pág. 399-412.
Soler-Toscano, Fernando;Zenil, Hector;Delahaye, Jean Paul;Gauvrit, Nicolas:
Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures. Computability: the Journal of the Association CiE. 2013. Vol: 2. Núm: 2. Pág. 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. Theoretical Computer Science. 2013. Vol: 495. Pág. 81-95. 10.1016/j.tcs.2013.05.010.
Zenil, Héctor;Soler-Toscano, Fernando;Joosten-, Joost Johannes:
Empirical Encounters with Computational Irreducibility and Unpredictability. Minds and Machines. 2012. Vol: 22. Núm: 3. Pág. 149-165. 10.1007/s11023-011-9262-y.
Soler-Toscano, Fernando:
Internet y la difusión de conocimiento libre. Acontecimiento. 2012. Vol: 105. Pág. 57-60.
Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Joosten-, Joost Johannes;Soler-Toscano, Fernando:
A secure additive protocol for card players. Australasian Journal of Combinatorics. 2012. Vol: 54. Pág. 163-175.
Soler-Toscano, Fernando;Fernandez-Duque, David;Nepomuceno-Fernandez, Angel:
A modal framework for modelling abductive reasoning. Interest Group in Pure and Applied Logics. Logic Journal. 2012. Vol: 20. Núm: 2. Pág. 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. Advances in Soft Computing. 2012. Vol: 156. Pág. 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. Revista de Humanidades. 2012. Núm: 19. Pág. 191-210.
Hernández-Antón, Ignacio;Soler-Toscano, Fernando;Van Ditmarsch-, Hans:
Unconditionally Secure Protocols with Genetic Algorithms. Advances in Soft Computing. 2012. Vol: 156. Pág. 121-128. 10.1007/978-3-642-28762-6_15.
Soler-Toscano, Fernando:
Visualizing Abduction. Kairos (Portugal). 2011. Núm: 3. Pág. 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. International Journal of Unconventional Computing. 2011. Vol: 7. Núm: 5. Pág. 353-387.
Soler-Toscano, Fernando;Nepomuceno-Fernandez, Angel;Aliseda-Llera, Atocha:
ABDUCTION VIA C-TABLEAUX AND D-RESOLUTION. Journal Of Applied Non-Classical Logics. 2009. Vol: 19. Núm: 2. Pág. 211-225.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
CONSTRUCTING INFERENTIAL CONTEXTS. The Bulletin of Symbolic Logic. 2009. Pág. 373-373.
Soler-Toscano, Fernando;Nepomuceno-Fernandez, Angel:
DEDUCCIÓN Y ABDUCCIÓN. Teorema. 2008. Vol: XXVII. Núm: 1. Pág. 5-16.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
CONSTRUCTING INFERENTIAL CONTEXTS. CLE e-Prints. 2008. Vol: 8. Núm: 6. Pág. E-PAPER.
Soler-Toscano, Fernando;Nepomuceno-Fernandez, Angel:
ABDUCCIÓN EN MODELOS FINITOS. Crítica: Revista Hispanoamericana de Filosofía. 2008. Pág. 57-78.
Soler-Toscano, Fernando:
EMILIO DÍAZ ESTÉVEZ. IN MEMORIAM.. Boletín de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. 2007. Núm: 43. Pág. 13-14.
Nepomuceno-Fernandez, Angel;Soler-Toscano, Fernando:
METAMODELLING ABDUCTION. Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2007. Pág. 285-293.
Soler-Toscano, Fernando;Nepomuceno-Fernandez, Angel:
TARFA: TABLEAUX AND RESOLUTION FOR FINITE ABDUCTION. Lecture Notes in Computer Science. 2006. Vol: 4160. Pág. 511-514.
Soler-Toscano, Fernando;Nepomuceno-Fernandez, Angel;Aliseda-Llera, Atocha:
MODEL-BASED ABDUCTION VIA DUAL RESOLUTION. Interest Group in Pure and Applied Logics. Logic Journal. 2006. Vol: 14. Núm: 2. Pág. 305-319.

Tesis dirigidas o codirigidas

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