Publications: 1990-2003

  • 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, pp. 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, pp. 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, III International Symposium on Effective Methods in Algebraic Geometry, Santander. Preprint Universidad de Sevilla  (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, pp. 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 42:341-348 (1996).
  • J. Borrego Díaz.Algoritmos y Computabilidad, in Lógica Formal: Orígenes, métodos y aplicaciones, pp. 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 pp. 400–405 ICE de la UPM (1996).
  • J. Borrego Díaz, M.J. Pérez Jiménez. End and cofinal extensions in Arithmetic. in
    Bulletin of the Workshop of Model Theory and Complexity, pp. 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 (eds), Bulletin of the Workshop on Model Theory and Complexity Ed. Kronos (1997).
  • J.A. Alonso, J. Borrego, M.J. Pérez y J.L. Ruiz .Curso práctico de teoría de conjuntos.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 pp. 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, pp. 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, pp. 187–193 (1999).
  • J. Borrego Díaz Programas transversales científico–tecnológicos: expectativas, limitaciones y resultados. Revista de Enseńanza universitaria (Número extr.), pp. 197–204 (1999).
  • J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez, On $\Sigma_n$–definability in Arithmetic, Proc. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts. Cracow (1999)
  • J.A. Alonso, J. Borrego y F. Olías. Verificación automática de bases de conocimiento. Demostración automática versus model checking. Proc. IV CINTE, pp. 268–275 (2000).
  • M.A. Gutiérrez, J.A. Alonso y J. Borrego, A topological study of the upward refinement operators in ILP. Proc. 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.Proc. 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. Proc.  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, pp. 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 Volume 2527 of the series Lecture Notes in Computer Science 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 (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  (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, Volume 2718 of the series Lecture Notes in Computer Science pp 789-798 (2003).
  • M. A. Gutiérrez Naranjo, J. A. Alonso Jiménez, J. Borrego Díaz, Generalizing logic programs via Subsumption, Computer Aided Systems Theory – EUROCAST 2003 Volume 2809 of the series Lecture Notes in Computer Science 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)