Luis María Laita de la Rica

• Artículos de revistas (16)
• Colaboraciones en obras colectivas (6)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (11)

• Artículos de revistas

  • Seleccionado

    A Gröbner bases-based rule based expert system for fibromyalgia diagnosis

    Josefina Piury, Luis María Laita de la Rica, Eugenio Roanes Lozano , Antonio Hernando, Francisco Javier Piury Alonso, José M. Gómez Argüelles, Laura Laita

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 106, Nº. 2, 2012, págs. 443-456

    • Texto completo
    
  • Seleccionado

    The Logics' Explorer: A Maple package for exploring finite many-valued propositional logics

    Eugenio Roanes Lozano , J.A. Alonso, A. Hernando, Luis María Laita de la Rica, Eugenio Roanes Macías

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 105, Nº. 2, 2011, págs. 323-337

    • Resumen
    
  • Seleccionado

    An algebraic approach to rule based expert systems

    Eugenio Roanes Lozano , Luis María Laita de la Rica, Antonio Hernando, Eugenio Roanes Macías

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 104, Nº. 1, 2010, págs. 19-40

    • Texto completo
    
  • Seleccionado

    Un estudio teórico de los cambios de representación en los espacios de problemas.

    Antonio Hernando Esteban , Luis de Ledesma Otamendi , Luis María Laita de la Rica

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 79, 2008, págs. 32-42

    • Resumen
    
  • Seleccionado

    Un sistema predictivo para la toma de decisiones inspirado por el modelo gravitacional

    Eugenio Roanes Lozano , Luis María Laita de la Rica, Eugenio Roanes Macías

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 79, 2008, págs. 43-55

    • Resumen
    
  • Seleccionado

    What machines can and cannot do

    Luis María Laita de la Rica, Eugenio Roanes Lozano , Luis de Ledesma Otamendi

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 101, Nº. 2, 2007, págs. 133-157

    • Resumen
    • Texto completo
    
  • Seleccionado

    El problema del tablero mutilado: una resolución a través de perspicacia (insight)

    Antonio Hernando Esteban , Luis María Laita de la Rica, Luis de Ledesma Otamendi

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 70, 2005, págs. 72-79

    
  • Seleccionado

    Construcción, basa en la Lógica y el Álgebra Computacionales, de un Sistema Experto para diagnóstico de la Depresión

    Carlos Rodríguez Solano , Vanessa Serrano, Luis María Laita de la Rica, Laura Laita, Eugenio Roanes Lozano

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 69, 2005, págs. 40-52

    
  • Seleccionado

    A terminal area topology-independent GB-based conflict detection system for A-SMGCS.

    Luis María Laita de la Rica

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 98, Nº. 1-2, 2004 (Ejemplar dedicado a: Computación simbólica en Lógica e Inteligencia artificial), pág. 229

    • Texto completo
    
  • Seleccionado

    Cálculos efectivos en lógica proposicional booleana interpretada como un anillo de clases residuales (polinomial) sobre Z2

    Eugenio Roanes Macías , Eugenio Roanes Lozano , Luis María Laita de la Rica

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 65 (Octubre), 2003, págs. 17-42

    
  • Seleccionado

    Aplicación de Maple 8

    Eugenio Roanes Macías , Eugenio Roanes Lozano , Luis María Laita de la Rica

    Forum tecnológico, ISSN 1579-3818, Nº. 4, 2003, págs. 7-8

    
  • Seleccionado

    Un método pararnétrico para demostrar automáticamente y determinar lugares a partir de las construcciones geométricas

    Eugenio Roanes Macías , Eugenio Roanes Lozano , Luis María Laita de la Rica, M. Villar Mena

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 62, 2002, págs. 34-71

    • Resumen
    
  • Seleccionado

    A Logic and computer algebra approach to a decision-making problem in medicine

    Luis María Laita de la Rica, Eugenio Roanes Lozano , Víctor Maojo, A. Díaz

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, ISSN 1137-2141, Vol. 92, Nº 4, 1998, págs. 299-306

    • Texto completo
    
  • Seleccionado

    Unos ejemplos de interés didáctico de Álgebras de Boole finitas: divisores de un producto de primos distintos dos a dos

    Luis María Laita de la Rica, Eugenio Roanes Lozano , Eugenio Roanes Macías

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 44, 1996, págs. 34-44

    • Resumen
    
  • Seleccionado

    Algunas observaciones sobre las álgebras de Boole (finitas) de partes de un conjunto y proposicional

    Luis María Laita de la Rica, Eugenio Roanes Lozano

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 39, 1995, págs. 29-39

    • Resumen
    
  • Seleccionado

    La verificación estructural de sistemas basados en conocimiento

    Luis María Laita de la Rica

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, ISSN 1137-2141, Vol. 89, Nº 1-2, 1995, págs. 143-172

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    From computer algebra to discretized continuous logic

    Eugenio Roanes Lozano , Francisco Javier Montero de Juan , Antonio Hernando , Luis María Laita de la Rica

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] / coord. por Antonio Peregrín Rubio , 2010, ISBN 978-84-92944-02-6, págs. 169-174

    • Resumen
    
  • Seleccionado

    Changing representation while problem solving through relevance levels

    Antonio Hernando Esteban , Luis de Ledesma Otamendi , Luis María Laita de la Rica

    XII Conferencia de la Asociación Española para la Inteligencia Artificial: (CAEPIA 2007). Actas / coord. por Daniel Borrajo Millán , Luis Castillo Vidal , Juan Manuel Corchado Rodríguez , Vol. 1, 2007, ISBN 978-84-611-8847-5, págs. 287-296

    • Resumen
    
  • Seleccionado

    Representación del conocimiento basado en reglas para un diagnóstico enfermero

    María Lourdes Jiménez Rodríguez , José María Santamaría García , León Atilano González Sotos , Ángel L. Asenjo Esteve, Luis María Laita de la Rica

    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 / coord. por Antonio Fernández Caballero , María Manzano , Enrique Alonso, Sergio Miguel Tomé, Vol. 1, 2006, ISBN 84-689-9561-4, págs. 124-129

    • Texto Completo Volumen
    
  • Seleccionado

    George Boole, precursor de la lógica computacional

    Luis María Laita de la Rica

    Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales , Alfonso Carriazo Rubio , Tomás Chacón Rebollo , Pedro Real Jurado , Alvaro Romero Jiménez, Vol. 1, 2001 (Conferencias plenarias y semblanzas), ISBN 84-472-0289-5, págs. 107-124

    
  • Seleccionado

    Una linea de trabajo en verificación de sistemas basados en conocimiento con técnicas de álgebra computacional

    Luis María Laita de la Rica, Eugenio Roanes Lozano

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.) , 1995, págs. 109-112

    
  • Seleccionado

    Algebraic knowledge systems verification

    Luis María Laita de la Rica

    Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) / coord. por Carlos Martín Vide , 1995, ISBN 84-477-0501-3, págs. 589-601

    

• Libros

  • Seleccionado

    Algunas consideraciones acerca de la pregunta ¿llegarán a ser algún día las máquinas más inteligentes que los seres humanos?

    Luis María Laita de la Rica

    Universidad San Pablo-CEU, CEU ediciones, 2006. ISBN 8486117534

    • Texto Completo Libro
    

• Tesis

  • Seleccionado

    Un estudio de la lógica algebraica desde el punto de vista de la teoría de categorías

    Luis María Laita de la Rica

    Tesis doctoral dirigida por Pedro Abellanas Cebollero (dir. tes.) . Universidad Complutense de Madrid (1973).

    

• Tesis dirigidas

  • Seleccionado

    Sistema computacional para reconocimiento de actitudes y estilos en música culta

    María Ángeles Fernández de Sevilla Vellón

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.), José Javier Martínez Herráiz (dir. tes.) . Universidad de Alcalá (2006).

    • Resumen
    
  • Seleccionado

    Sistema basado en conocimiento para la ayuda en el diagnóstico del cansancio en el desempeño del rol del cuidador

    María Lourdes Jiménez Rodríguez

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.), León Atilano González Sotos (codir. tes.) . Universidad de Alcalá (2006).

    • Resumen
    
  • Seleccionado

    Sistema computacional de diagnosis de estados depresivos

    Carlos Rodríguez Solano

    Tesis doctoral dirigida por Luis López Corral (dir. tes.) , Luis María Laita de la Rica (dir. tes.). Universidad de Alcalá (2005).

    • Resumen
    
  • Seleccionado

    Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento

    Ana M. Díaz Valderrama

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.), Eugenio Roanes Lozano (dir. tes.) . Universidad Politécnica de Madrid (2001).

    • Resumen
    
  • Seleccionado

    Una interpretación algebraica de la verificación de sistemas basados en el conocimiento

    Angélica de Antonio Jiménez

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1994).

    • Resumen
    
  • Seleccionado

    Un modelo teórico constructivo para el estudio de la acción cognitiva

    Juan Antonio Díaz de Rada Brun

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1993).

    • Resumen
    
  • Seleccionado

    Modelo de verificación de bases de conocimiento

    Julia Isabel Couto Sayalero

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1992).

    • Resumen
    
  • Seleccionado

    Verificación de bases de conocimiento

    Betty Ramirez Nieves

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1991).

    • Resumen
    
  • Seleccionado

    Una interpretación lógico-algebraica de la semántica de la programación

    Aurora Pérez Pérez

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1991).

    • Resumen
    
  • Seleccionado

    N-Categorías: un modelo categorial de la lógica

    Agustín Riscos Fernández

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad de Sevilla (1984).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Una extensión de métodos algebraicos a la teoría de modelos

    Alejandro Fernández Margarit

    Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad de Sevilla (1983).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.