Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla
Tipografías: [ A+ ] [ Normal ] [ A- ]

Ficha personal - Fernando Soler Toscano


Fernando Soler Toscano
Telefono: 954559968
Email: Solicitar correo
Página personal: http://personal.us.es/fsoler/

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

Responsable de los siguientes proyectos/ayudas en la US:

  • Contratos Arts. 68/83 LOU:
    • Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad. (1463/0083)
    • Desarrollo de flujos de trabajo en entornos de colaboración (0122/0083)

  • Plan Propio:
    • Estancia. Centro de Filosofía das Ciencias. Universidad de Lisboa (PP2010-05-040)

  • Ayudas:

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Conciencia, Lógica y Computación (FFI2011-29609-C02-01 - Investigador)
    • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
    • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)
    • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)
    • Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053 - Becario)
    • Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Ap (P06-HUM-01538 - Investigador)
    • Lógica y lenguaje: información y representación (HUM2004-01255 - Becario)

  • Ayudas:
    • Incentivo al Grupo de Investigación HUM-609 (2011/HUM-609 - Investigador)
    • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609 - Investigador)
    • Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609 - Investigador)
    • Lógica, lenguaje y la unidad de la ciencia (HP2007-0018 - Contratado)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2006/HUM-609 - Becario)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2005/HUM-609)

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


Publicaciones:

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

Soler Toscano, Fernando:
Modelos Formales de Explicación en Lógica e Inteligencia Artificial. Fondos Digitales Universidad de Sevilla. 2005. ISBN 978-84-691-0931-1

Barceló Aspeitia,Axel Arturo, Soler Toscano, Fernando, Aliseda Llera, Atocha, Morado Estrada,Raymundo, Nepomuceno Fernandez, Angel:
Representación y Logicidad. Sevilla, España. Fenix Editorial. 2005. ISBN 84-609-7872-9

Otra participación en Libros
Van Ditmarsch, Hans (Editor), Salguero Lamillar, Francisco Jose (Editor), Soler Toscano, Fernando (Editor):
Liber Amicorum Ángel Nepomuceno. Homenaje en su Sexagésimo Cumpleaños. Sevilla, España. Fénix Editora. 2010

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

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

Nepomuceno Fernandez, Angel (Editor), Salguero Lamillar, Francisco Jose (Editor), Soler Toscano, Fernando (Editor):
Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Mergablum Edición y Comunicación. 2004. ISBN 84-96378-04-7

Capítulos en Libros
Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
Dinámica de la información en agentes no omniscientes. Pag. 49-61. En: Ensayos sobre Lógica, Lenguaje, Mente y Ciencia. Ediciones Alfar, S.A. 2012. 17-30. ISBN 978-84-7898-462-6

Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
A dynamic-epistemic approach to abductive reasoning. Vol. 3. Pag. 47-78. En: Logic of knowledge. Theory and applications. Londres, Reino Unido. College Publications. 2012. ISBN 978-1-84890-074-5

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Aliseda Llera, Atocha:
From Classical Logic to Abductive Logical Systems. Pag. 201-212. En: Otto Neurath and the Unity of Science. Heidelberg, Alemania. Springer. 2011. ISBN 978-94-007-0142-7

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

Joosten, Joost Johannes, Soler Toscano, Fernando, Zenil, Hector:
Complejidad descriptiva y computacional en máquinas de Turing pequeñas. Pag. 11-32. En: Lógica Universal e Unidade da Ciência. 2011. ISBN 978-989-8247-50-6

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Interpreted Systems. Pag. 117-124. En: International Symposium on Distributed Computing and Artificial Intelligence. 2011. ISBN 978-3-642-22358-7

Soler Toscano, Fernando:
Consistencia y Relevancia en el Razonamiento Abductivo. Pag. 133-138. En: Liber Amicorum Ángel Nepomuceno. Sevilla, España. Fenix Editora. 2010. ISBN 978-84-614-5116-6

Hernández Antón, Ignacio, Soler Toscano, Fernando:
Algoritmos Genéticos para Generación de Protocolos Incondicionalmente Seguros. Pag. 61-68. En: Liber Amicorum Ángel Nepomuceno. Sevilla, España. Fenix Editora. 2010. ISBN 978-84-614-5116-6

Salguero Lamillar, Francisco Jose, Soler Toscano, Fernando:
Resolución Abductiva de Anáforas Pronominales. Pag. 47-61. En: Estudios de Lógica, Lenguaje y Epistemología. Fénix Editora. 2010. 449. ISBN 9788461442911

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

Soler Toscano, Fernando:
Abductive Reasoning Through D-Resolution. Pag. 315-324. En: Dimensions of Logical Concepts. Campinas. Centro de Lógica, Epistemologia e História da Ciência. Universidade de Campinas. 2009. ISBN 978-85-86497-05-6

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Defining Inferential Contexts: Deduction and Abduction. Pag. 511-529. En: The Many Sides of Logic. London. College Publications. 2009. ISBN 978-1-904987-78-9

Soler Toscano, Fernando:
Criterios de Selección de Hipótesis Explicativas. Pag. 203-217. En: Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha, Reyes Cabello,Araceli Liliana:
Razonamiento Abductivo en Modelos Finitos Mediante C-Tablas y Delta-Resolución. Pag. 699-711. En: Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

Nepomuceno Fernandez, Angel, Salguero Lamillar, Francisco Jose, Soler Toscano, Fernando:
Deducción y Generación de Modelos de Cardinalidad Finita. Pag. 588-599. En: Una Perspectiva de la Ia en su 50 Aniversario. Albacete. Ediciones de la Universidad de Castilla la Mancha. 2006. ISBN 84-689-9560-6

Soler Toscano, Fernando:
Razonamiento Por Defecto Mediante D-Resolución. Pag. 85-112. En: Representación y Logicidad. Sevilla, España. Fenix Editorial. 2005. ISBN 84-609-7872-9

Soler Toscano, Fernando:
Programación de Gramáticas Clausales en Prolog. Pag. 91-111. En: Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Sevilla, España. Mergablum. 2005. ISBN 8496378268

Soler Toscano, Fernando:
Leantap, un Sistema de Representación y Razonamiento para Lógica de Primer Orden. Pag. 175-197. En: Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Mergablum Edición y Comunicación. 2004. ISBN 84-96378-04-7

Publicaciones en Revistas
Zenil, Hector, Soler Toscano, Fernando, Dingle, Kamaludin, Louis, Ard:
Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks. En: Physica. A (Print). 2014. Vol. 404. Pag. 341-358

Soler Toscano, Fernando, Zenil, Hector:
De los universos digitales a la mente. Nuevas herramientas para cuantificar nuestra intuición sobre la complejidad y el azar. En: Investigación y ciencia. 2013. Núm. 447. Pag. 10-12

Gauvrit, Nicolas, Zenil, Hector, Delahaye, Jean Paul, Soler Toscano, Fernando:
Algorithmic complexity for short binary strings applied to psychology: a primer. En: Behavior Research Methods. 2013

Soler Toscano, Fernando:
Razonamiento explicativo y evolución de lógicas: una aproximación desde la semántica de mundos posibles. En: Contrastes (Málaga). 2013. Vol. XVIII. Pag. 399-412

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A geometric protocol for cryptography with cards. En: Designs, codes and cryptography. 2013

Velázquez Quesada, Fernando Raymundo, Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. En: Journal of Applied Logic. 2013. Vol. 11. Núm. 4. Pag. 505-522

Soler Toscano, Fernando, Zenil, Hector, Delahaye, Jean Paul, Gauvrit, Nicolas:
Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures. En: Computability. 2013. Vol. 2. Núm. 2. Pag. 125-140

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. En: Theoretical computer science. 2013. Vol. 495. Pag. 81-95

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. En: Logic journal of the IGPL (Print). 2013. Vol. 21. Núm. 6. Pag. 943-961

Zenil, Héctor, Soler Toscano, Fernando, Joosten, Joost Johannes:
Empirical Encounters with Computational Irreducibility and Unpredictability. En: Minds & Machines. 2012. Vol. 22. Núm. 3. Pag. 149-165

Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A modal framework for modelling abductive reasoning. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 438-444

Soler Toscano, Fernando:
¿Qué es lo lógico? La logicidad dentro y fuera de la lógica. En: Revista de humanidades. 2012. Núm. 19. Pag. 191-210

Hernández Antón, Ignacio, Soler Toscano, Fernando, Van Ditmarsch, Hans:
Unconditionally Secure Protocols with Genetic Algorithms. En: Advances in Intelligent and Soft Computing. 2012. Vol. 156. Pag. 121-128

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

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando:
A secure additive protocol for card players. En: The Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175

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

Joosten, Joost Johannes, Soler Toscano, Fernando, Zenil, Héctor:
Program-size versus Time Complexity. Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. En: International Journal of Unconventional Computing. 2011. Vol. 7. Núm. 5. Pag. 353-387

Soler Toscano, Fernando:
Visualizing Abduction. En: Kairos. Revista de Filosofia & Ciência. 2011. Núm. 3. Pag. 39-52

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Abduction Via C-Tableaux and D-Resolution. En: Journal of applied non-classical logics. 2009. Vol. 19. Núm. 2. Pag. 211-225

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Constructing Inferential Contexts. En: The bulletin of symbolic logic. 2009. Pag. 373-373

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Abducción en Modelos Finitos. En: Crítica (México). 2008. Pag. 57-78

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Deducción y Abducción. En: Teorema ((Valencia)). 2008. Vol. XXVII. Núm. 1. Pag. 5-16

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Constructing Inferential Contexts. En: CLE e-prints (Online). 2008. Vol. 8. Núm. 6

Soler Toscano, Fernando:
Emilio Díaz Estévez. in Memoriam. En: Boletín SLMFCE. 2007. Núm. 43. Pag. 13-14

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Metamodelling Abduction. En: Theoria (Madrid). 2007. Pag. 285-293

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha:
Model-Based Abduction Via Dual Resolution. En: Logic journal of the IGPL (Print). 2006. Vol. 14. Núm. 2. Pag. 305-319

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

Otra participación en Libros de Actas
Blackburn, Patrick (Editor), Van Ditmarsch, Hans (Editor), Manzano, María (Editor), Soler Toscano, Fernando (Editor):
Tools for Teaching Logic. 2011. ISBN 978-3-642-21349-6

Aportaciones a Congresos
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:
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, Velázquez Quesada, Fernando Raymundo:
The dynamics of information in non-omniscient agents. Poster en Congreso. Loft 2012. 10th Conference on Logic and the Foundations of Game and Decision Theor. 2012

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, et. al.:
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Comunicación en congreso. 10th International Conference on Practical Applications of Agents and Multi-Agent Systems. 2012

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

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

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. Rectorado de la Universidad de Salamanca. 2011

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

Soler Toscano, Fernando, Velázquez Quesada, Fernando R.:
Razonamiento abductivo en agentes no omniscientes. Comunicación en congreso. VI Jornadas Ibéricas. Lógica, Lenguaje, Mente y Cienci. Facultad de Filosofía de la Ucm. 2011

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

Joosten, Joost Johannes, Soler Toscano, Fernando, Zenil, Héctor:
Descriptional Versus Computational Complexity. Slowdown and Speed-Up Phenomena in the Micro-Cosmos of Small Turing Machines. Comunicación en congreso. 3rd International Workshop on Physics and Computation (2010). Egipto. 2010

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Multi-Agent Systems. Comunicación en congreso. Logics in Security. Copenhague, Dinamarca. 2010

Soler Toscano, Fernando, Velázquez Quesada, Fernando R.:
A Subjective-Dynamic Perspective to Abductive Reasoning. Comunicación en congreso. Argumentation in Intensional Contexts: Knowledge, Belief, Dialogue. 2010

Soler Toscano, Fernando, Velázquez Quesada, Fernando R.:
Un Enfoque Epistémico-Dinámico a la Abducción. Comunicación en congreso. Simposio de Lingüística, Lógica y Computación. 2010

Soler Toscano, Fernando, Velázquez Quesada, Fernando R.:
Abduction for (Non-Omniscient) Agents. Comunicación en congreso. The Multi-Agent Logics, Languages, and Organisations Federated Workshops. Lyon, Francia. 2010. Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (Mallow 2010). 1. 14

Joosten, Joost Johannes, Soler Toscano, Fernando:
Trade-Off Between Descriptive and Computational Complexity on Small Turing Machines. Comunicación en congreso. Jornadas Ibéricas - Lógica Universal e Unidade da Ciência. Lisboa, Sevilla. 2010

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, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A Modal Framework for Modelling Abductive Reasoning. Comunicación en congreso. Model-Based Reasoning in Science and Technology. Campinas, Brasil. 2009

Soler Toscano, Fernando, Hernández Antón, Ignacio:
Aproximación Modal a la Inferencia de Nuevas Teorías. Comunicación en congreso. VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valencia. 2009. Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 123. 127

Soler Toscano, Fernando:
Programación Lógica y Sus Aplicaciones en Inteligencia Artificial. Ponencia en Congreso. Lógica y Filosofía de la Ciencia en España. Salamanca. 2008

Soler Toscano, Fernando:
Abducción, Deducción y Tesis de Autonomía. Ponencia en Congreso. Congrso Internacional de Filosofía de la Asociación Filosófica de México. Mazatlán (México). 2007

Soler Toscano, Fernando:
Lógica Proposicional con Easylogic. Ponencia en Congreso. Encuentro Internacional de Didáctica de la Lógica. Mazatlán (México). 2007

Soler Toscano, Fernando:
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

Soler Toscano, Fernando:
Explicando el Razonamiento Explicativo. Comunicación en congreso. Jornadas Ibéricas de Logica e Filosofia da Ciencia. Lisboa (Portugal). 2007

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Logic: a Bridge Between Sciences and Humanities. Comunicación en congreso. Second International Congress on Tools for Teaching Logic. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 133. 136

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel, Pérez Robleda,José Antonio:
Easy Logic: an Interactive Web Interface to Theorem Provers. Comunicación en congreso. Second International Congress on Tools for Teaching Logic. Salamanca. 2006. Proceeding of Second International Congress on Tools for Teaching Logic. 201. 204

Soler Toscano, Fernando:
Razonamiento Abductivo en Lógicas Multivaluadas. Comunicación en congreso. Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2006. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 614. 617

Nepomuceno Fernandez, Angel, Aliseda Llera, Atocha, Soler Toscano, Fernando:
Searching the Unity of Science: From Classical Logic to Abductive Logical System. Comunicación en congreso. Lisbon Colloquium for the Philosophy of Science. the Unity of Science: Non Traditional Approaches. Lisboa. 2006

Soler Toscano, Fernando:
Abducción Mediante D-Resolución: Análisis Cognitivo. Comunicación en congreso. Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia. La Laguna. 2005. II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. CD. ROM

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

Soler Toscano, Fernando, Nepomuceno Fernandez, Angel:
Abducción y Tablas Semánticas: Algunas Extensiones. Comunicación en congreso. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 396. 399

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Abducción y Razonamiento Por Defecto. Conferencia Congreso no publicada. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 385. 387

Soler Toscano, Fernando:
Cálculo de Delta-Resolución Proposicional. Conferencia Congreso no publicada. Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Valladolid, España. 2004. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Valladolid, 3-6 de Noviembre de 2004). 392. 395

Soler Toscano, Fernando:
La Abducción Como Proceso: la Búsqueda del Eslabón Perdido en la Cadena de Razonamientos. Comunicación en congreso. Jornada de Lógica y Lenguaje: Información y Representación. Carmona. 2004. Jornada de Lógica y Lenguaje: Información y Representación. 30. 30

Nepomuceno Fernandez, Angel, Soler Toscano, Fernando:
Concept Script: From Logic of Language to Language of Logic. Comunicación en congreso. Foundations of the Formal Sciences IV: the History of the Concept of the Formal Sciences. Rheinische Friedrich-Wilhems.universität Bonn. 2003. Fotfs IV: the History of the Concept of the Formal Sciences. 36. 36

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

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

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

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

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

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla