José Antonio Alonso Jiménez

• Colaboraciones en obras colectivas (9)
• Tesis (1)
• Tesis dirigidas (5)

• Colaboraciones en obras colectivas

  • 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

    

  • 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

    

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

    José Antonio Alonso Jiménez, María José Hidalgo Doblado, F.J. 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

    

  • 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
    

  • 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

    Comunicaciones libres : Congreso Internacional sobre Sistemas de Información Histórica, 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

    

  • 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

    

  • 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

    

  • 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

    

  • 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

    

• Tesis

  • Métodos algebraicos de razonamiento automático

    José Antonio Alonso Jiménez

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

    • Resumen
    • Texto completo
    

• Tesis dirigidas

  • 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, Francisco Jesús Martín Mateos . Universidad de Sevilla (2012).

    

  • 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. Universidad de Sevilla (2008).

    • Resumen
    • Texto completo
    

  • Operadores de generalización para el aprendizaje clausal

    Miguel Ángel Gutiérrez Naranjo

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

    • Resumen
    • Texto completo
    

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

    Francisco Jesús Martín Mateos

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

    • Resumen
    • Texto completo
    

  • 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. Universidad de Sevilla (2001).

    • Resumen
    

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 toda 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.