Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla

Joaquin Borrego Díaz

Profesor Titular de Universidad

ATENCION: Esta página no se actualiza desde hace tiempo. Puede encontrar información reciente sobre mi actividad investigadora en Ontoblogia

---

Docencia durante el curso 01-02:

• Teoría de la Computabilidad
• Seminario de Inteligencia Artificial
• Agentes Inteligentes (Libre configuración)
• Síntesis, verificación y razonamiento sobre agentes (Curso de doctorado)

Docencia durante el curso 02-03:

• Teoría de la Computabilidad
• Seminario de Inteligencia Artificial
• Agentes Inteligentes (Libre configuración)
• Demostración automática de teoremas (libre configuración)
• Metodos Formales en Computación e Inteligencia Artificial (Curso de doctorado)
• Síntesis, verificación y razonamiento sobre agentes (Curso de doctorado)

Líneas de investigación:

• Incompletitud de la Aritmética: Autorreferencia. Teorías y Modelos de inducción débil. Aplicaciones a la verificación de programas
• Lógica Computacional: Razonamiento y demostración automáticos. Razonamiento espacio-temporal cualitativo
• Razonamiento sobre agentes y sobre sistemas basados en conocimiento

Coordinador del Seminario del Departamento de Ciencias de la Computación e Inteligencia Artificial

• Geometría Algebraica, Ciencias de la Computación e IA (Junta de Andalucía , 1989-1993)
• Lógica, Computación e Ingeniería del Conocimiento (Junta de Andalucía, 1993- 2002)
• Clasificación de las funciones computables mediante especificaciones aritméticas: metodología y diseńo Ministerio de Educación y cultura (DGES PB96-1345, 1997--2000)
• Un programa de adaptación curricular en el área de CCIA (ICE de la Universidad de Sevilla, 1997-1998 (responsable)
• Finite Model Theory and Bounded Arithmetic (UE-TMR ERBFMBICT971999, 1998)
• Verificación automática de bases de conocimiento semiestructuradas (Plan Propio de la Universidad de Sevilla, 2002/03) (responsable)

• J. Borrego Díaz .
  Los teoremas de incompletitud y la lógica de la demostrabilidad.
  Tesina. Facultad de Matemáticas de la Universidad de Sevilla (1990).
• J. Borrego Díaz,M.J. Hidalgo Doblado.
  Validez parcial en la Aritmética.
  Trabajos de Lógica y Computación. Sección III. CCIA U. Sevilla (1991).
• D. Balbontín Noval, J. Borrego Díaz, M.J. Pérez Jiménez
  Curso de Algorítmica (I).
  Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (1992).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Splitting en fragmentos del máximo .
  Lenguajes Naturales y Lenguajes Formales VIII (ISBN: 84--477--0002--X), 221--227 (1992).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Las teorías $I\Delta_n$ e $I\nabla_n$. I Congreso de lógica y Filosofía de la ciencia (ISBN: 84--604--8342--8), 128--131 (1993).
• J. Borrego Díaz, A. Fernández Margarit,M.J. Pérez Jiménez.
  Extensiones cofinales de modelos de la Aritmética.
  Lenguajes Naturales y Lenguajes Formales IX (ISBN: 84--477--0396--7), 273--277 (1993).
• P. Pisón Casares, E. Briales Morales, J. Borrego Díaz, M.J. Pérez Jiménez.
  Computing with Ideals of Semigroups.
  Prepublicaciones de la Facultad de Matemáticas (1994).
  Presentado en III International Symposium on Effective Methods in Algebraic Geometry, Santander (1994).
• J. Borrego Díaz, B. Kemme.
  Una aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporales. Lenguajes Naturales y Lenguajes. Formales X (ISBN: 84--477--0396--7), 167--182 (1994).
• J. Borrego Díaz.
  Modelos de Inducción Acotada (Tesis).
  Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (1994).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  On $\Sigma_n$--definability in Arithmetic.
  Prepublicaciones de la Facultad de Matemáticas. (1995).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  On overspill principles and axiom schemes for bounded formulas.
  Math. Logic Quarterly (ISSN: 0942--5616) 42:341-348 (1996).
• J. Borrego Díaz.
  Algoritmos y Computabilidad.
  Lógica Formal: Orígenes, métodos y aplicaciones (ISBN: 84--88620--56--X), 117--148 (1996).
• D. Balbontín Noval, J. Borrego Díaz, M.J. Pérez Jiménez.
  Fundamentos de Algorítmica: Algunas cuestiones metodológicas.
  II Jornadas Nacionales de innovación en la enseńanza de las ingenierías (ISBN: 84--88760--09--4), 400--405 ICE de la UPM (1996).
• J. Borrego Díaz, M.J. Pérez Jiménez.
  End and cofinal extensions in Arithmetic.
  Bulletin of the Workshop of Model Theory and Complexity (ISBN: 84--88620--08--X), 119--138 (1997).
• J. Borrego Díaz, A. Fernánez Margarit, M.J. Pérez Jiménez.
  Bounded Induction and feasible computable functions.
  Prepublicaciones de la Facultad de Matemáticas de la Universidad de Sevilla (1997).
• J. Borrego Díaz, M.J. Pérez Jiménez.
  Fundamentos de computación paralela.
  Trabajos de Lógica y Computación. Sección II. CCIA U. Sevilla (1997).
• J. Borrego Díaz, F.J. Salguero Lamillar (editores).
  Bulletin of the Workshop on Model Theory and Complexity
  Ed. Kronos(ISBN: 84--88620--08--X) (1997).
• J.A. Alonso, J. Borrego, M.J. Pérez y J.L. Ruiz .
  Curso práctico de teoría de conjuntos
  (ISBN: 84--89524--45--9) Editorial la ń (1998).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Maximal Models and the end-extension problem.
  Prepublicaciones de la Facultad de Matemáticas (1998).
• J. Borrego Díaz, M.C. Graciani Díaz, M.J. Pérez Jiménez.
  Matemáticas para la verificación de programas.
  IV Jornadas sobre la enseńanza universitaria de la informática (ISBN 84--922538-3-5), 380--385. Engineria i Arquitectura La Salle (1998).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Especificación y deducción propiedades temporales factibles. El sistema FDUX.
  III Jornadas de Ingeniería del Software (ISBN 84--95095--45--9), 351--362 D. M. Editor (1998).
• J.A. Alonso, J. Borrego y M.J. Pérez.
  Interpretación reactiva de sistemas basados en conocimiento.
  IV Congreso ISKO-Espańa EOCONSID'99 (ISBN: 84--699--0289--X) 187--193 (1999).
• J. Borrego Díaz.
  Programas transversales científico--tecnológicos: expectativas, limitaciones y resultados.
  Revista de Enseńanza universitaria (ISSN: 1131--5245) (Número extr.), 197--204 (1999).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  On $\Sigma_n$--definability in Arithmetic (Comunicación).
  11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts. Cracow (1999) (próxima publicación en la ed. Kluwer).
• J.A. Alonso, J. Borrego y F. Olías.
  Verificación automática de bases de conocimiento. Demostración automática versus model checking.
  IV CINTE (CA--883/2000), 268--275 (2000).
• M.A. Gutiérrez, J.A. Alonso y J. Borrego.
  A topological study of the upward refinement operators in ILP.
  Inductive Logic Programming 2000 (CEUR--WS Vol. 35) (2000).
• M.A. Gutiérrez, J.A. Alonso y J. Borrego.
  Una quasi--métrica basada en subsunción.
  IV CINTE (CA--883/2000), 260--267 (2000).
• J.A. Alonso, J. Borrego y A. Chávez.
  Estrategias para la demostración automática de teoremas.
  Actas IV CINTE (CA--883/2000), 276--283 (2000).
• J. A. Alonso, J. Borrego y F. Olías.
  Interpretación reactiva de sistemas basados en conocimiento: especificaciones (I).
  Trabajos de Lógica y Computación. Sección III. CCIA U. Sevilla (2000).
• J.A. Alonso, J. Borrego y A. Chávez.
  Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático.
  Actas del Encuentro de Matemáticos Andaluces, Vol. II (ISBN 8447206394), 23--32 (2001).
• J.A. Alonso, M.A. Gutiérrez y J. Borrego.
  Proximidad entre cláusulas en Programación Lógica Inductiva.
  Actas del Encuentro de Matemáticos Andaluces, Vol. II (ISBN (8447206394), 33--40 (2001).
• J. Borrego, M. J. Pérez, A.J. Pérez.
  Computación, Computabilidad y Programación.
  Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (2001).
• M. A. Gutiérrez Naranjo, J. A. Alonso Jiménez, J. Borrego Díaz.
  A quasi-metric for Machine Learning .
  Advances in Artificial Intelligence-IBERAMIA 2002. Lecture Notes in AI n. 2527, pp. 193-203 (2002).
• J. Alonso Jiménez, J. Borrego Díaz, Antonia M. Chávez González, M. A. Gutiérrez Naranjo, A. M. Chávez González, Jorge D. Navarro Marín.
  A Methodology for the Computer--Aided Cleaning of Complex Knowledge Databases.
  Proceedings of IECON 2002, pp. 1806-1812. IEEE Press. ISBN ??? (2003).
• J. Alonso Jiménez, J. Borrego Díaz.
  Agentes Inteligentes. Una aproximación desde la lógica computacional. (128 pag.)
  Ed. Kronos. ISBN 84-86273-59-5. (2002).
• J. Alonso Jiménez, J. Borrego Díaz.
  Lógica computacional, vol. 1.
  Ed. Kronos. ISBN 84-86273-58-7. (2002).
• J. Alonso Jiménez, J. Borrego Díaz, Antonia M. Chávez González, J. D. Navarro Marín.
  Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. Developments in Applied Artificial Intelligence. Lecture Notes in AI n. 2718, pp. 789-798 (2003).
  
• M. A. Gutiérrez Naranjo, J. A. Alonso Jiménez, J. Borrego Díaz.
  Generalizing logic programs via Subsumption.
  Lecture Notes in Computer Science n. 2809, pp. 115-126 (2003).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  On Sigma-n definability in Arithmetic
  Philosophical dimensions of Logic and Science, pag 47--56. Kluwer Ac. Press (2003)

• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Saturation of cofinal extensions in fragments of Arithmetic (Comunicación invitada)
  Meeting on Mathematical Logic. Barcelona (1994).
• J. Borrego Díaz, M.J. Pérez Jiménez.
  End and cofinal extensions in Arithmetic (Conferencia invitada).
  The 2nd Barcelona Logic Meeting. Barcelona (1995)
• J. Borrego Díaz, M.J. Hidalgo Doblado, M.J. Pérez Jiménez.
  La inducción matemática en el diseńo, análisis y corrección de algoritmos
  (Comunicación). Jornadas de Matemáticas y su enseńanza. Actas de las jornadas, 66-- 76. San Sebastián, (1998).
• J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.
  Sobre el problema de la extensión final para fragmentos de inducción acotada (Comunicación).
  I Congreso Iberoamericano de Filosofía. Madrid (1998).
• J. Alonso Jiménez, J. Borrego Díaz, Antonia M. Chávez González, J. D. Navarro Marín.
  Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.
  First Ibero-American Workshop on Automated Deduction and Artificial Intelligence (IDEIA 2002).

• Miguel Angel Gutiérrez Naranjo.
  Operadores de generalización para el aprendizaje clausal.
  Tesis doctoral en Matemáticas. Universidad de Sevilla, Septiembre de 2002.

• J. A. Alonso-Jiménez, J. Borrego--Díaz, A. M. Chávez-González, M. A. Gutiérrez-Naranjo, J. D. Navarro-Marín.
  Deliberative Agents without Real-Time Requirements: Prospecting new applications of AI to Internet Enterprises
  ( 15 pág.).
• J. Borrego Díaz.
  Cuts and maximal segments in discrete ordered rings with weak induction
  (28 pág.).
• J. Borrego Díaz.
  End Extensions and Stone-Cech Compactifications of models of bounded Induction
  (21 pag.).
• J. A. Alonso-Jiménez, J. Borrego--Díaz, M.M. Fernández-Lebrón, M.J. Hidalgo--Doblado
  Computer Algebra for Knowledge Acquisition
  (18 pag.).
  
• J. A. Alonso-Jiménez, J. Borrego Díaz, A. M. Chávez-González, F.J. Martín-Mateos
  Foundational challenges in Automated and Ontology cleaning in the Semantic Web
  (10 pag.).
• J. A. Alonso-Jiménez, J. Borrego--Díaz, A. M. Chávez-González, M. A. Gutiérrez-Naranjo,
  A mereotopological tool for Ontology Engineering
  (10 pag.).
  
  

• Workshop on Model Theory and Complexity, 20/09 a 22/09 de 1995.
  
  
• I Taller Iberoamericano sobre Deducción Automática e Inteligencia
Artificial (IDEIA 2002).12 de Noviembre de 2002 en Sevilla. Más información en Primer IDEIA