Directorio
FERNANDO SOLER TOSCANO
Categoría
Profesor Titular de Universidad
Departamento
Área
Lógica y Filosofía de la Ciencia
Docencia
Asignaturas que imparte
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
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
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
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.
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
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
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
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
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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.
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.
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.
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 .
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
¿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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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
