Ciencias de la Computación e Inteligencia Artificial
Dirección:

Facultad de Informática y Estadística
Avda. Reina Mercedes, s/n
41012 - Sevilla
TELF: 95.455.6580
FAX: 95.455.6599
WEB: http://www.cs.us.es/

Docencia en otros Centros:

Facultad de Matemáticas

Componentes del Departamento

Catedráticos

Dr. D. Alejandro Fernández Margarit

Profesores Titulares

Dr. D. José Antonio Alonso Jiménez (Director del Departamento)
Dr. D. Juan José Arrabal Parrilla
Dra. Dª. Delia Balbontín Noval
Dr. D. Joaquín Borrego Díaz
Dr. D. Mario de Jesús Pérez Jiménez
Dr. D. Agustín Riscos Fernández

Profesores Titulares (E.U.)

Dª. María José Hidalgo Doblado (Secretario del Departamento)

Profesores Asociados

Dª. Antonia Maria Chávez González
D. Andrés Cordón Franco
Dª. Mª del Carmen Graciani Díaz
D. Miguel Angel Gutiérrez Naranjo
Dr. D. Francisco Félix Lara Martín
D. Francisco Jesús Martín Mateos
Dr. D. José Francisco Quesada Moreno
D. Alvaro Romero Jiménez
Dr. D. José Luis Ruiz Reina
D. Fernando Sancho Caparrini

Profesores de Enseñanzas Secundarias en Comisión de Servicios

D. Antonio de Jesús Pérez Jiménez

Becarios

D. Agustín Riscos Núñez

Colaboradores

D. Manuel Perera Domínguez
D. Antonio Jesús Ramos Espina

Personal de Administración y Servicios

Dª. Mª del Carmen Pérez Cardona

Financiación general del Departamento

Presupuesto General 19.373,33 €
Ayuda para Prácticas 5.464,46 €
Programas de Doctorado 4.053,83 €
Plan Propio de la Universidad de Sevilla 1.770,75 €


Grupos de Investigación (Universidad de Sevilla)


Lógica, Computación e Ingeniería del Conocimiento (TIC-137)

Responsable: A. Fernández
Componentes: J.A. Alonso, D. Balbontín, J. Borrego, M.d.J. Pérez, A. Riscos, M.J. Hidalgo, I. Medina(*), F. Palomo(*), A. Chávez, A. Cordón, C. Graciani, M.A. Gutiérrez, F.F. Lara, F.J. Martín, A. Romero, J.L. Ruiz, F. Sancho, A.J. Pérez, M. Perera
Financiación:

  1. Ayuda consolidación grupos de investigación. Lógica, computación e ingeniería del conocimiento: 3.366,29 €.
  2. M.C.T. Desarrollo y Verificación Formal de Sistemas de Razonamiento: 10.606,66 €.
  3. Asistencias a congresos, seminarios y reuniones: 1.202,02 €.
  4. Publicaciones: 901,51 €.
  5. Organización de Congresos, Seminarios y reuniones de carácter científico: 1.202,02 €.

Tesis doctorales

"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"
Doctorando: José Luis Ruíz Reina
Director: Alonso, J.A.
Calificación: Sobresaliente cum laude, Sevilla, 28 de septiembre.

Publicaciones

Libros

Bláquez Gallego, J., Pérez, M.d.J.: Vida Artificial: Estudio y análisis del programa SWARM. Coords./Eds.: J. Blázquez Gallego y M.J. Pérez Jiménez. 104 Páginas. J. Blázquez Gallego y M.J. Pérez Jiménez. 2001. ISBN/D.L.: 84-666-4449-5.

Briales, E., Carriazo, A., Chacón Rebollo, T., Real, P., Romero, A.: Actas del Encuentro de Matemáticos Andaluces: Conferencias plenarias y semblanzas. 273 Páginas. Universidad de Sevilla. 2001. ISBN/D.L.: 84-472-0289-5.

Briales, E., Carriazo, A., Chacón Rebollo, T., Real, P., Romero, A.: Actas del Encuentro de Matemáticos Andaluces: Comunicaciones. 742 Páginas. Universidad de Sevilla. 2001. ISBN/D.L.: 84-472-0290-9.

Nepomuceno, A., Quesada, J.F., Salguero, F.J.: Información: Tratamiento y Representación. Coords./Eds.: Ángel Nepomuceno, José F. Quesada, Francisco J. Salguero. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0692-0.

Pérez, A.J., Varios autores: Jornada Matemática en el Parlamento de Andalucía. Coords./Eds.: A.J. Pérez y otros. 200 Páginas. Servicio de Diario de Sesiones y Publicaciones no periódicas (Parlamento de Andalucía). 2001. ISBN/D.L.: 84-88652-75-5.

Trabajos en Libros

Alonso, J.A., Borrego, J., Chávez, A.: "Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático". En: Actas del Encuentro de Matemáticos Andaluces. pp. 23-32. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0290-9.

Alonso, J.A., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: "Formalización del Razonamiento Ecuacional en una Lógica Computacional.". En: Actas del Encuentro de Matemáticos Andaluces. pp. 41-50. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0290-9.

Alonso, J.A., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: "Verifying an applicative ATP using multiset relations". En: Computer Aided Systems Theory. EUROCAST 2.001. pp. 612-626. Springer-Verlag (LNCS, 2178). 2001. ISBN/D.L.: 3-540-42959-X.

Fernández, A., Lara, F.F.: "Funciones Recursivas y Fragmentos de la Aritmética". En: Actas del Encuentro de Matemáticos Andaluces. pp. 429-436. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0290-9.

Graciani, C., Pérez, M.d.J., Romero, A., Sancho, F.: "NP-Completitud y Computación ADN". En: Actas del Encuentro de Matemáticos Andaluces. pp. 539-548. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0290-9.

Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "Proximidad entre cláusulas en Programación Lógica Inductiva". En: Actas del Encuentro de Matemáticos Andaluces. Vol.II. pp. 33-40. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0290-9.

Medina, I., Palomo, F., Alonso, J.A.: "A Certified Algorithm for Translating Formulas into Polynomials. An ACL2 Approach". En: International Joint Conference on Automated Reasoning (IJCAR-2.001). pp. 103-112. Technical Report DII 11/01.Dipartimento di Ingegneria dell'Informaziones.Università de Siena(Italia). 2001. ISBN/D.L.: Techn. Report.

Medina, I., Palomo, F., Alonso, J.A.: "A Certified Polynomial-Based Decision Procedure for Proporsitional Logic". En: Theorem Proving in Higher Order Logics (14th. International Conference, TPHOLS 2.001). pp. 297-312. Springer-Verlag. 2001. ISBN/D.L.: 3-540-42525-X.

Pérez, Guillermo, Quesada, J.F.: "Un Algoritmo de parsing bidimensional de estructuras DAG para reconocimiento de voz". En: Las tecnologías del habla. Coords./Eds.: Teresa López Soto. pp. Sin pag.Libro elect. Mergablum. 2001. ISBN/D.L.: 84-95118-58-0.

Pérez, M.d.J.: "Computación molecular sin memoria basada en ADN". En: Información: Tratamiento y Representación. Coords./Eds.: A. Nepomuceno, J.F. Quesada y F. Salguero. pp. 271-313(capítulo 15). Universidad de Sevilla. Servicio de Publicaciones. 2001. ISBN/D.L.: 84-472-0692-0.

Quesada, J.F.: "Teoría de Lenguajes Formales". En: Información: Tratamiento y Representación. Coords./Eds.: A. Nepomuceno, J.F. Quesada, J.F. Salguero. pp. 59-76. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0692-0.

Quesada, J.F.: "Técnicas de parsing: Métodos computacionales para el análisis formal de lenguajes naturales". En: Información: Tratamiento y Representación. Coords./Eds.: Nepomuceno, A., Quesada, J.F., Salguero, F.J. pp. 145-162. Universidad de Sevilla. Secretariado de Publicaciones. 2001. ISBN/D.L.: 84-472-0692-0.

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Formalizing rewriting in the ACL2 theorem prover". En: Artificial Intelligence and Symbolic Computation. Int. Conference AISC 2000. pp. 92-106. Springer-Verlag (LNAI, 1930). 2001. ISBN/D.L.: 3-540-42071-1.

Trabajos en Revistas

Amores, J.G., Ballesteros, R., Quesada, J.F.: "Integration of Dialogue Moves and Speech Recognition in a Telephone Scenario". Procesamiento del Lenguaje Natural. Vol. 27. 2001. pp. 71-78.

Amores, J.G., Quesada, J.F.: "Dialogue Moves for Natural Command Languages". Procesamiento del Lenguaje Natural. Vol. 27. 2001. pp. 81-88.

Fernández, A., Lara, F.F.: "Some results on L Δn+1-.". Mathematical Logic Quarterly. Vol. 47. Num. 4. 2001. pp. 503-512.

Martín, F.J., Alonso, J.A., Hidalgo, M.J., Ruiz, J.L.: "Verifying an applicative ATP using multisets relations". Lecture Notes in Computer Science. Vol. 2178. 2001. pp. 612-626.

Medina, I., Palomo, F., Alonso, J.A.: "A certified polynomial-based decision procedure for proporsitional logic". Lecture Notes in Computer Science. Vol. 2152. 2001. pp. 297-312.

Pérez, A.J.: "El año mundial de las matemáticas en Andalucía". Suma. Vol. 37. Num. 37. 2001. pp. 39-42.

Quesada, J.F., García, F., Senda, E.: "Dialogue Management in a Home Machine Environment: Linguistic Components over an Agent Architecture". Procesamiento del Lenguaje Natural. Vol. 27. 2001. pp. 89-96.

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Formal proofs about rewriting using ACL2". Annals of Mathematics and Artificial Intelligence. 2001. (aceptado).

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Formalizing rewriting in the ACL2 theorem prover". Lecture Notes in Computer Science. Vol. 1930. 2001. pp. 92-106.

Otras publicaciones

Amores, J.G., Alexander Berman, Johan Bos, Johan Boye, Robin Cooper, Stina Ericsson, Alexander Holt, Staffan Larsson, David Milward, Quesada, J.F.: Knowledge and Action Management in the Home Device Environment. Ref. Documento Científico Técnico: Deliverable 4.1. Proyecto DHomme (IST-2000-26280).

Balbontín, D., Pérez, M.d.J.: Una implementación de los P-sistemas de transición en MzScheme. Trabajos de Lógica y Computación. Universidad de Sevilla. Vol. 10, páginas 1-67.

Borrego, J., Pérez, M.d.J., Pérez, A.J.: Computación, Computabilidad y Programación. Trabajos de Lógica y Computación. Universidad de Sevilla. Vol. 8, páginas 1-192.

David Milward, James Thomas, Amores, J.G., Johan Bos, Johan Boye, Robin Cooper, Stina Ericsson, Genevieve Gorrell, David Hjelm, Alexander Holt, Sylvia Knight, Staffan Larsson, Ian Lewin, Quesada, J.F.: A D’Homme Demonstrator in English, Swedish and Spanish. Ref. Documento Científico Técnico: Deliverable 2.2. Proyecto DHomme (IST-2000-26280).

Graciani, C.: Simulación de Máquinas de Turing y máquinas PRAM-CREW en modelos moleculares basados en ADN. Trabajos de Lógica y Computación. Universidad de Sevilla. Secc. III. Vol. 5. pgs. 1-46.

Ian Lewin, Alexander Berman, Johan Boye, Staffan Larsson, James Thomas, Quesada, J.F.: D’Homme Devices. Ref. Documento Científico Técnico: Deliverable 5.2. Proyecto DHomme (IST-2000-26280).

Ian Lewin, Staffan Larsson, Stina Ericsson, James Thomas, Amores, J.G., Quesada, J.F.: The D’Homme Device Selection. Ref. Documento Científico Técnico: Deliverable 5.1. Proyecto DHomme (IST-2000-26280).

Palomo, F., Medina, I., Alonso, J.A.: Certification of Matrix Multiplication Algorithms . Strassen´s Algorithms in ACL2. TPHOLS 2.001:Supplemental Proceedings pp. 283-298.

Pérez, M.d.J., Romero Campero, F.J.: Universalidad del modelo de computación Post-Turing. Trabajos de Lógica y Computación. Universidad de Sevilla. Vol. 7, páginas 1-56.

Quesada, J.F., Amores, J.G., Johan Bos, Stina Ericsson, Genevieve Gorrell, Sylvia Knight, Ian Lewin, David Milward, Many Rainer: Configuring Linguistic Components in a Plug and Play Environment Ref. Documento Científico Técnico: Deliverable 3.1. Proyecto DHomme (IST-2000-26280) –.

Romero, A.: Teorías diofánticamente indecidibles. Trabajos de Lógica y Computación. Universidad de Sevilla. Secc. III, número 4..

Sancho, F.: Resolución y verificación de problemas numéricos NP completos en modelos moleculares basados en ADN. Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia Artificial. Universidad de Sevilla. Sección III, número 3..

Ponencias y Comunicaciones en Congresos

Alonso, J.A., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: "Verifying an applicative ATP using multiset relations". Computer Aided Systems Theory EUROCAST 2.001. Univ. de las Palmas de Gran Canaria. Las Palmas de Gran Canaria. Computer Aided Systems Theory, EUROCAST 2.001. pp. 612-626. Springer-Verlag. 2001. ISBN/D.L.: 3-540-42959-X.

Medina, I., Palomo, F., Alonso, J.A.: "Certification of Matrix Multiplication Algorithms. Strassen´s Algorithm in ACL2". 14th. International Conference, TPHOLS 2.001. Universidades de Edimburgo y Glasgow. Edimburgo (Escocia). TPHOLS 2.001: Supplemental Proceedings. pp. 283-298. 2001.

Medina, I., Palomo, F., Alonso, J.A.: "A Certified Algorithms for Translating Formulas into Polynomials. An ACL2 Approach'". International Joint Conference on Automated Reasoning (IJCAR-2.001). Università degli Studi di Siena. Siena (Italia). International Joint Conference on Automated Reasoning (IJCAR-2.001). pp. 103-112. Technical Report DII 11/01. Dipartimento di Ingegneria dell'Informaziones. Università di Siena. 2001.

Medina, I., Palomo, F., Alonso, J.A.: "A Certified Polynomial-Based Decision Procedure for Proporsitional Logic". 14th. International Conference TPHOLS 2.001. Universidades de Edimburgo y Glasgow. Edimburgo (Escocia). 2001.

Pérez, A.J.: "La enseñanza de las Matemáticas: el legado del siglo XX.". IV Congreso Argentino de Educación Matemática. Asoc. Educación Matemática de Argentina. Montecasero (Argentina). 2001.

Pérez, M.d.J., Sancho, F.: "Minimal Set Cover Problem: On a DNA Solution of Selection Stage". Workshop on Membrane Computing. Romanian Academy. Curtea de Arges, Romanian. Pre-proceedings of Workshop on Membrane Computing. C.Martín-Vide, Gh. Paun (eds.). pp. 251-258. The Research Group on Mathematica Linguistics, Rovira i Virgili University, Tarragona. Spain. 2001. ISBN/D.L.: Report 17/01.

Pérez, M.d.J., Sancho, F.: "Solving Knapsack Problems in a Sticker Based Model". The Seventh International Meeting on DNA Based Computers. University of South Florida. Tampa, Florida. USA. Proceedings of the Seventh International Meeting on DNA Based Computers. pp. 94-104. N.Jonoska and N.C. Sedman, eds. 2001.