José Antonio Alonso Jiménez

• Colaboraciones en obras colectivas (12)
• Tesis (1)
• Tesis dirigidas (8)

• Colaboraciones en obras colectivas

  • Seleccionado

    Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático

    José Antonio Alonso Jiménez, Joaquín Borrego Díaz , Antonia María Chávez González

    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. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 23-32

    • Texto completo
    
  • Seleccionado

    Proximidad entre cláusulas en programación lógica inductiva

    José Antonio Alonso Jiménez, Joaquín Borrego Díaz , Miguel Ángel Gutiérrez Naranjo

    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. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 33-40

    • Texto completo
    
  • Seleccionado

    Formalización del razonamiento ecuacional en una lógica computacional

    José Antonio Alonso Jiménez, María José Hidalgo Doblado , Francisco Jesús Martín Mateos , José Luis Ruiz Reina

    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. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 41-50

    
  • Seleccionado

    Interpretación reactiva de sistemas basados en concimiento

    José Antonio Alonso Jiménez, Mario de Jesús Pérez Jiménez , Joaquín Borrego Díaz

    La representación y la organización del conocimiento en sus distintas perspectivas. Su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID 99. 22-24 de abril de 1999, Granada / coord. por María José López-Huertas Pérez , Juan Carlos Fernández Molina , 1999, ISBN 84-699-0289-X, págs. 187-193

    • Texto completo
    • Texto completo
    
  • Seleccionado

    Sobre la enseñanza de la lógica

    José Antonio Alonso Jiménez, María José Hidalgo Doblado , Ángel Nepomuceno Fernández , Francisco José Salguero Lamillar

    Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.) , Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 6-9

    
  • Seleccionado

    Hacia la enseñanza permanente y automatizada: WWW y evaluación automática con GTI

    Juan José Arrabal Parrilla , José Antonio Alonso Jiménez, Rodrigo Fernández Carrión

    Congreso Internacional sobre Sistemas de Información Histórica: comunicaciones libres. 6, 7 y 8 de noviembre de 1997, Vitoria-Gasteiz / coord. por Manuel Balado Ruiz-Gallegos , José Antonio García Regueiro, María José de la Fuente y de la Calle, Vol. 2, 1997, ISBN 84-7821-338-4, págs. 451-458

    
  • Seleccionado

    Razonamiento automático

    José Antonio Alonso Jiménez, Alejandro Fernández Margarit , Mario de Jesús Pérez Jiménez

    Lógica formal: Orígenes, métodos y aplicaciones / coord. por Ángel Nepomuceno Fernández , 1995, ISBN 84-88620-56-X, págs. 189-211

    
  • Seleccionado

    Automatización de la aritmética

    Juan José Arrabal Parrilla , Alejandro Fernández Margarit , José Antonio Alonso Jiménez, Mario de Jesús Pérez Jiménez

    Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide , 1994, ISBN 84-477-0396-7, págs. 167-182

    
  • Seleccionado

    Razonamiento automático en lógica de primer orden

    Francisco Javier Herrera Govantes , José Antonio Alonso Jiménez, Delia Balbontín Noval , Juan José Arrabal Parrilla

    Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide , 1992, ISBN 84-477-0002-X, págs. 165-172

    
  • Seleccionado

    Lógicas polivalentes y bases de Gröbner

    José Antonio Alonso Jiménez, Emilio Briales Morales

    Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989) / coord. por Carlos Martín Vide , Vol. 2, 1990, ISBN 84-7665-691-2, págs. 307-316

    
  • Seleccionado

    Representación de modelos no-estándar de sublenguajes de la aritmética

    Alejandro Fernández Margarit , José Antonio Alonso Jiménez

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988) / coord. por Carlos Martín Vide , Vol. 2, 1989, ISBN 84-7665-517-7, págs. 441-464

    
  • Seleccionado

    Representación de modelos no-estándar de sublenguajes de la aritmética

    José Antonio Alonso Jiménez, Alejandro Fernández Margarit

    Lenguajes naturales y lenguajes formales IV: vol 2. / coord. por Carlos Martín Vide , 1989, ISBN 8476655177, págs. 441-464

    

• Tesis

  • Seleccionado

    Métodos algebraicos de razonamiento automático

    José Antonio Alonso Jiménez

    Tesis doctoral dirigida por Agustín Riscos Fernández (dir. tes.) . Universidad de Sevilla (1988).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

• Tesis dirigidas

  • Seleccionado

    Formalización en isar de la metalógica de primer orden

    Fabián Fernando Serrano Suárez

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.), Francisco Jesús Martín Mateos (dir. tes.) . Universidad de Sevilla (2012).

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

    Técnicas de depuración e integración de ontologías en el ámbito empresarial

    Antonio Paredes Moreno

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.). Universidad de Sevilla (2008).

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

    Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos

    María José Hidalgo Doblado

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.). Universidad de Sevilla (2004).

    • Resumen
    
  • Seleccionado

    Verificación formal en ACL2 del Algoritmo de Buchberger

    Inmaculada Medina Bulo

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.), José Luis Ruiz Reina (dir. tes.) . Universidad de Sevilla (2003).

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

    Operadores de generalización para el aprendizaje clausal

    Miguel Ángel Gutiérrez Naranjo

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.), Joaquín Borrego Díaz (dir. tes.) . Universidad de Sevilla (2002).

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

    Teoría computacional (en ACL2) sobre cálculos proposicionales

    Francisco Jesús Martín Mateos

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.). Universidad de Sevilla (2002).

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

    Una teoría computacional acerca de la lógica ecuacional (formalización en acl2 de la lógica ecuacional y demostración automática de sus propiedades)

    José Luis Ruiz Reina

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.). Universidad de Sevilla (2001).

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

    El algoritmo SCP de análisis sintáctico mediante propagación de restricciones. Aplicación a la traducción automática en tiempo real

    José Francisco Quesada Moreno

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.), José Gabriel Amores Carredano (dir. tes.) . Universidad de Sevilla (1997).

    

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.