Instituciones
Área de conocimientoAclaración de materia/profesión
Periodo de publicación recogido
|
|
|
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Luis María Laita de la Rica
Universidad San Pablo-CEU, CEU ediciones, 2006. ISBN 8486117534
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).
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).
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).
Sistema computacional de diagnosis de estados depresivos
Tesis doctoral dirigida por Luis López Corral (dir. tes.), Luis María Laita de la Rica (dir. tes.). Universidad de Alcalá (2005).
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).
Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1994).
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).
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).
Verificación de bases de conocimiento
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1991).
Una interpretación lógico-algebraica de la semántica de la programación
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad Politécnica de Madrid (1991).
N-Categorías: un modelo categorial de la lógica
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad de Sevilla (1984).
Una extensión de métodos algebraicos a la teoría de modelos
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.). Universidad de Sevilla (1983).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados