Fernando Soler Toscano

Profesor Titular de Universidad
fsoler@us.es
Área de conocimiento: Lógica y Filosofía de la Ciencia
Departamento: Filosofía, Lógica y Filos. de la Ciencia
Grupo: GRUPO DE LOGICA, LENGUAJE E INFORMACION (HUM-609)
Prog. doctorado: Programa de Doctorado en Filosofía (RD. 99/2011)
Tipo Año Título Fuente
Artículo2019 Fractal dimension analysis of states of consciousness and unconsciousness using transcranial magnetic stimulation COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
Artículo2019 Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory ENTROPY
Artículo2018 A decomposition method for global evaluation of shannon entropy and local estimations of algorithmic complexity ENTROPY
Artículo2018 Informational structures: A dynamical system approach for integrated information PLOS COMPUTATIONAL BIOLOGY
Artículo2018 Tuning the program transformers from LCC to PDL Journal of Applied Logics
Artículo2017 A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences COMPLEXITY
Artículo2017 A preference for some types of complexity comment on "perceived beauty of random texture patterns: A preference for complexity" Acta psychologica
Capítulo2017 Abductive Reasoning in Dynamic Epistemic Logic Springer Handbooks
Artículo2017 Human behavioral complexity peaks at age 25 PLOS COMPUTATIONAL BIOLOGY
Artículo2017 Measuring complexity to infer changes in the dynamics of ecological systems under stress ECOLOGICAL COMPLEXITY
Artículo2016 A impulsos de actos creadores. Revista Acontecimiento. Fundación Emmanuel Mounier
Capítulo2016 Action Models for the Extended Mind Logic, Epistemology, and the Unity of Science
Artículo2016 Algorithmic complexity for psychology: a user-friendly implementation of the coding theorem method BEHAVIOR RESEARCH METHODS
Artículo2016 El tú y el yo en la nueva ciencia cognitiva. Revista Acontecimiento. Fundación Emmanuel Mounier
Artículo2016 Fractal Dimension versus Process Complexity ADVANCES IN MATHEMATICAL PHYSICS
Artículo2015 A geometric protocol for cryptography with cards DESIGNS CODES AND CRYPTOGRAPHY
Artículo2015 Forgetting complex propositions Logic Journal of the IGPL
Ponencia2015 Public and secret forgetting of propositional formulas ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015)
Artículo2015 Two-dimensional Kolmogorov complexity and an empirical validation of the Coding theoremmethod by compressibility PEERJ COMPUTER SCIENCE
Artículo2014 Algorithmic complexity for short binary strings applied to psychology: A primer BEHAVIOR RESEARCH METHODS
Artículo2014 Calculating Kolmogorov complexity from the output frequency distributions of small turing machines PLOS ONE
Artículo2014 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
Ponencia2014 Efficient Program Transformers for Translating LCC to PDL LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014
Artículo2014 Efficient program transformers for translating LCC to PDL Lecture Notes in Computer Science
Artículo2014 Generation and Selection of Abductive Explanations for Non-Omniscient Agents JOURNAL OF LOGIC LANGUAGE AND INFORMATION
Artículo2014 Natural scene statistics mediate the perception of image complexity VISUAL COGNITION
Artículo2014 The dynamic turn in formal epistemology: The case of explanatory reasoning THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
Ponencia2014 The fundamental problem of contemporary epistemology TEOREMA
Artículo2013 A colouring protocol for the generalized Russian cards problem THEORETICAL COMPUTER SCIENCE
Artículo2013 An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution JOURNAL OF APPLIED LOGIC
Artículo2013 An epistemic and dynamic approach to abductive reasoning: selecting the best explanation Logic Journal of the IGPL
Artículo2013 Correspondence and independence of numerical evaluations of algorithmic information measures Computability
Artículo2013 De los universos digitales a la mente Investigación y Ciencia
Artículo2013 Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles Contrastes. Revista Internacional de Filosofía
Artículo2012 ¿Qué es lo lógico? La logicidad dentro y fuera de la lógica Revista de humanidades
Artículo2012 A modal framework for modelling abductive reasoning Logic Journal of the IGPL
Artículo2012 A secure additive protocol for card players Australasian Journal of Combinatorics
Artículo2012 Carta a un niño africano. Revista Acontecimiento. Fundación Emmanuel Mounier
Capítulo2012 Dinámica de la información en agentes no omniscientes Ensayos sobre lógica, lenguaje, mente y ciencia
Artículo2012 Empirical encounters with computational irreducibility and unpredictability MINDS AND MACHINES
Capítulo2012 Filosofía de la Mente (2º curso) Nuevas metodologías docentes aplicadas al Grado de Filosofía: proyecto de innovación docente de la Facultad de Filosofía de la Universidad de Sevilla
Artículo2012 Internet y la difusión de conocimiento libre. Revista Acontecimiento. Fundación Emmanuel Mounier
Ponencia2012 Modelling cryptographic keys in dynamic epistemic logic with DEMO HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS
Ponencia2012 Unconditionally secure protocols with genetic algorithms HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS
Artículo2011 La situación de las hipotecas en España. Revista Acontecimiento. Fundación Emmanuel Mounier
Editorial2011 Preface Lecture Notes in Computer Science
Artículo2011 Program-size versus Time Complexity Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Ponencia2011 Secure communication of local states in interpreted systems INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE
Ponencia2011 Three Steps COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
Ponencia2010 Abduction for (non-omniscient) agents CEUR Workshop Proceedings
Artículo2009 Abduction via C-tableaux and resolution Journal Of Applied Non-Classical Logics
Ponencia2009 Aproximación modal a la inferencia de nuevas teorías Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre
Artículo2008 Abduction in Finite Models CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo2008 Deducción y abducción TEOREMA
Artículo2007 Metamodeling abduction THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
Ponencia2006 Deducción y generación de modelos de cardinalidad finita Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
Artículo2006 Model-based abduction via dual resolution Logic Journal of the IGPL
Ponencia2006 Razonamiento abductivo en lógicas multivaluadas Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006)
Ponencia2006 Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
Artículo2006 tarfa: Tableaux and resolution for finite abduction LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Ponencia2004 Abducción y razonamiento por defecto 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
Ponencia2004 Abducción y tablas semánticas: algunas extensiones 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
Ponencia2004 Cálculo de delta-resolución proposicional 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
Artículo2001 Manifiesto alternativo Revista Acontecimiento. Fundación Emmanuel Mounier

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/09/2021 31/08/2025 Investigador/a Métodos lógicos y abductivos aplicados a la semántica y la pragmática de la interacción comunicativa (PID2020-117871GB-I00) Ministerio de Ciencia e Innovación (Nacional)
13/01/2009 13/01/2014 Investigador/a Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2015 31/12/2017 Responsable Dinámica de la Información: Razonamiento, Interacción y Abducción (FFI2014-56219-P) Ministerio de Economía y Competitividad (Nacional)
05/10/2021 31/12/2022 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) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
13/04/2007 12/04/2010 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) Junta de Andalucía (Plan Andaluz de Investigación) (Autonómico)
01/01/2012 31/12/2014 Investigador/a Conciencia, Lógica y Computación (FFI2011-29609-C02-01) Ministerio de Ciencia e Innovación (Nacional)
01/10/2007 30/09/2010 Investigador/a Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053) Ministerio de Educación y Ciencia (Nacional)
15/03/2011 30/04/2016 Investigador/a Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/02/2020 30/04/2022 Investigador/a Deterministic and stochastic dynamics of models from Neuroscience, Epidemiology, Biology and other branches of the Applied Sciences (US-1254251) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
13/12/2004 13/12/2007 Investigador/a Lógica y lenguaje: información y representación (HUM2004-01255) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2011 31/12/2012 Investigador/a La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional)
01/09/2015 31/12/2017 Investigador/a Dinámica Fractal de la Consciencia: de la Teoría a la Implementación Clínica (MTM2014-61312-EXP) Ministerio de Economía y Competitividad (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
20/02/2012 19/03/2012 Responsable Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad. (1463/0083) Centro de Formación Openpol, S.L. (Local)
01/10/2008 31/03/2009 Responsable Desarrollo de flujos de trabajo en entornos de colaboración (0122/0083) Sotomayor y Asociados Consultoría y Proyectos, S.L. (Local)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
14/12/2012 13/12/2014 Responsable Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E) Ministerio de Ciencia e Innovación (Nacional)
26/10/2011 25/10/2013 Investigador/a Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E) Ministerio de Ciencia e Innovación (Nacional)
17/05/2010 17/08/2010 Responsable Estancia. Centro de Filosofía das Ciencias. Universidad de Lisboa (PP2010-05-040) Universidad de Sevilla (Local)
01/01/2008 31/12/2009 Investigador/a Lógica, lenguaje y la unidad de la ciencia (HP2007-0018) Ministerio de Educación y Ciencia (Nacional)