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)
Trabajos publicados:
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)
Contribuciones a congresos
no publicadas:
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).
Tesis dirigidas:
Miguel Angel Gutiérrez Naranjo. Operadores
de generalización para el aprendizaje clausal.
Tesis doctoral en Matemáticas. Universidad
de Sevilla, Septiembre de 2002.
Trabajos en proceso de revisión o no sometidos todavía
a publicación
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.).
Organización
de Congresos
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