» Investigación » SISIUS - Investigación en la USE

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 Complementarias:
  • Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E)
  
  

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 Complementarias:
  • 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:

Nota: Por problemas técnicos del sistema SICA2 la producción científica está actualizada hasta septiembre 2011.

Libros

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

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

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

Fernando Soler Toscano:
Modelos Formales de Explicación en Lógica e Inteligencia Artificial. Sevilla. Fondos Digitales Universidad de Sevilla. 2005

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

Angel Nepomuceno Fernandez, Francisco Jose Salguero Lamillar, Fernando Soler Toscano:
Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Sevilla. Mergablum Edición y Comunicación. 2004. 245

Capítulos en Libros

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

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

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

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

Fernando Soler Toscano:
Abductive Reasoning Through D-Resolution. Dimensions of Logical Concepts. Campinas. Centro de Lógica, Epistemologia e História da Ciência. Universidade de Campinas. Vol. 54. 2009. Pag. 315-324

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

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

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

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

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

Fernando Soler Toscano:
Razonamiento Por Defecto Mediante D-Resolución. Representación y Logicidad. Sevilla, España. Fenix Editorial. Vol. 1. 2005. Pag. 85-112

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

Publicaciones en Revistas

Fernando Soler Toscano, David Fernandez Duque, Angel Nepomuceno Fernandez:
A Modal Framework for Modeling Abductive Reasoning. Logic Journal of the Igpl. Vol. DOI:10.109. 2010. Pag. 1-7

Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera:
Abduction Via C-Tableaux and D-Resolution. Journal of Applied Non-Classical Logics. Vol. 19. Núm. 2. 2009. Pag. 211-225

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Constructing Inferential Contexts. Bulletin of Symbolic Logic. 2009. Pag. 373-373

Fernando Soler Toscano, Angel Nepomuceno Fernandez:
Abducción en Modelos Finitos. Crítica, Revista Hispanoamericana de Filosofía. 2008. Pag. 57-78

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Constructing Inferential Contexts. CLE e-Prints. Vol. 8. Núm. 6. 2008

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

Fernando Soler Toscano:
Emilio Díaz Estévez. in Memoriam. Boletín Slmfce (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España). Núm. 43. 2007. Pag. 13-14

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

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

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

Aportaciones a Congresos

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

Fernando Soler Toscano, Ignacio Hernández Antón:
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. VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (6). Num. 6. Valencia. Universidad de Valencia. 2009. Pag. 123-127

Fernando Soler Toscano, Angel Nepomuceno Fernandez, José Antonio Pérez Robleda:
Easy Logic: an Interactive Web Interface to Theorem Provers. Proceeding of Second International Congress on Tools for Teaching Logic. Second International Congress on Tools for Teaching Logic (). Salamanca. Universidad de Salamanca. 2006. Pag. 201-204

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Logic: a Bridge Between Sciences and Humanities. Proceeding of Second International Congress on Tools for Teaching Logic. Second International Congress on Tools for Teaching Logic (). Salamanca. Universidad de Salamanca. 2006. Pag. 133-136

Fernando Soler Toscano:
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. Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (5). Num. 5. Granada, España. Departamento Filosofía Universidad de Granada. 2006. Pag. 614-617

Fernando Soler Toscano:
Abducción Mediante D-Resolución: Análisis Cognitivo. II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. Congreso Iberoamericano de Filosofia de la Ciencia y de la Tecnologia (2). Num. 2. La Laguna. Universidad de la Laguna. 2005

Fernando Soler Toscano:
Abductive Reasoning Through Delta-Resolution. 1st World Congress and School on Universal Logic. World Congress on Universal Logic (1). Num. 1. Montreux, Suiza. Université de Neuchàtel. 2005. Pag. 97-97

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
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). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 385-387

Fernando Soler Toscano, Angel Nepomuceno Fernandez:
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). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 396-399

Fernando Soler Toscano:
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). Sociedad de Lógica, Metodología y Filosofia de la Ciencia. Num. 4. Valladolid, España. Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2004. Pag. 392-395

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

Angel Nepomuceno Fernandez, Fernando Soler Toscano:
Concept Script: From Logic of Language to Language of Logic. Fotfs IV: the History of the Concept of the Formal Sciences. Foundations of the Formal Sciences IV: the History of the Concept of the Formal Sciences (). Rheinische Friedrich-Wilhems.universität Bonn. Rheinische Friedrich-Wilhelms-Universität Bonn. 2003. Pag. 36-36

Fernando Soler Toscano:
Representative Functions for Infinite Semantic Tableaux. Volume of Abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science. 12th International Congress of Logic, Methodology and Philosophy of Science (). Oviedo, España. Departamento de Filosofía. Universidad de Oviedo. 2003. Pag. 134-134