Dirección:

E.T.S. de Ingeniería Informática 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

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)
D. Antonio de Jesús Pérez Jiménez

Profesores Asociados

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

Becarios

D. Agustín Riscos Núñez

Colaboradores

Dª. Fátima Olías Alvarez
D. Manuel Perera Domínguez
D. Antonio Jesús Ramos Espina

Personal de Administración y Servicios

Dª. Mª del Carmen Pérez Cardona

Grupo Interdepartamental con el Dpto. Teoría Económica y Economía Política⁽¹⁾.
Responsable: J.J. Arrabal
Componentes: J. Morilla^(*), R. Fernández⁽¹⁾, M. de la Hoz^(*), D. Inglis^(*), B. López^(*)
Financiación:

1. Ayuda Consolidación Grupos de Investigación: Estud. Estad. e Hist. Series temp. en Andalucía, XIX-XX: 6.832,00 €.

Responsable: J.A. Alonso
Componentes: A. Fernández, D. Balbontín, J. Borrego, M.d.J. Pérez, A. Riscos, M.J. Hidalgo, I. Medina^(*), F. Palomo^(*), A.J. Pérez, 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, M. Perera
Financiación:

1. Plan Propio. Subvención para la elaboración y presentación de proyectos. Convocatorio 2002. Verificación automática de bases de conocimiento semi-estructuradas: 1.500,00 €.
2. MCYT. Desarrollo y verificación formal de sistemas de razonamiento: 4.207,08 €.
3. MCYT: 'Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas': 12.950,00 €.
4. Ayuda Consolidación Grupos de Investigación. Lógica, Computación e Ingeniería del Conocimiento: 3.822,00 €.
5. Estancia en centro de investigación de Becarios de FPI: 902,00 €.
6. Estancia del solicitante en otro centro: 3.030,00 €.
7. Asistencia a Congresos, Seminarios y reuniones: 782,00 €.
8. Ayudas Extensión Universitaria:'Seminario de Teoría de la Computación: Computación Celular con Membranas': 551,73 €.

"Verificación de programas en modelos de computación no convencionales"
Doctorando: Fernando Sancho Caparrini
Director: Mario de Jesús Pérez Jiménez
Calificación: Sobresaliente cum laude, E.T.S. Ingeniería Informática (Sevilla), 27 de junio.

"Operadores de generalización para el aprendizaje clausal"
Doctorando: Miguel A. Gutiérrez Naranjo
Directores: José Antonio Alonso Jiménez y Joaquín Borrego Díaz
Calificación: Sobresaliente cum laude, E.T. S. Ingeniería Informática (Sevilla), 16 de septiembre.

"Teoría computacional (en ACL2) sobre cálculos proposicionales"
Doctorando: Francisco Jesús Martín Mateos
Director: José Antonio Alonso Jiménez
Calificación: Sobresaliente cum laude, E.T. S. Ingeniería Informática (Sevilla), 17 de septiembre.

Libros

Alonso, J.A., Borrego, J.: Agentes Inteligentes: Una aproximación desde la lógica computacional. 124 Páginas. Editorial Kronos. 2002. ISBN/D.L.: 84-86273-59-5.

Alonso, J.A., Borrego, J.: Deducción Automática (Vol. 1: Construcción lógica de sistemas lógicos). 98 Páginas. Editorial Kronos. 2002. ISBN/D.L.: 84-86273-58-7.

Pérez, M.d.J., Romero, A., Sancho, F.: Teoría de la Complejidad en modelos de Computación Celular con Membranas. 124 Páginas. Editorial Kronos. 2002. ISBN/D.L.: 84-86273-57-9.

Pérez, M.d.J., Sancho, F.: Computación Celular con Membranas: Un modelo no convencional. 112 Páginas. Editorial Kronos. 2002. ISBN/D.L.: 84-86273-52-8.

Trabajos en Libros

Alonso, J.A., Borrego, J., Chávez, A., Gutiérrez, M.A., Navarro, J.D.: "A methodology for the computer-aided cleaning of complex knowledge databases". En: The 28th. Annual Conference of the IEEE Industrial Electronics Society (IECON'02). pp. 1806-1811. IEEE. 2002. ISBN/D.L.: 0-7803-7475-4.

Amores, J.G., Quesada, J.F.: "Order-sorted unification in LFG". En: The Complete Linguist: A Collection of Papers in Honour of Alexis Manaster Ramer. Coords./Eds.: F.Cavoto. pp. 1-10. Lincom Europa. 2002. ISBN/D.L.: 3-89586-426-9.

Graciani, C., Martín, F.J., Pérez, M.d.J.: "Specification of Adleman´s Restricted Model Using an Automated Reasoning System: Verification of Lipton´s Experiment". En: Proceedings of the Third International Conference on Unconventional Models of Computation. Lectures Notes in Computer Science vol. 2.509). pp. 126-136. Springer-Verlag. 2002. ISBN/D.L.: 3-540-44311-8.

Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "A quasi-metric for Machine Learning". En: Advances in Artificial Intelligence- IBERAMIA 2002 (8th. Ibero-American Conference on AI Seville, Spain, November 12-15, 2002 Proceedings). Coords./Eds.: F.J. Garijo, J.C. Riquelme, M. Toro. pp. 193-203. Springer-Verlag. 2002. ISBN/D.L.: 3-540-00131-X.

Pérez, M.d.J., Graciani, C., Romero, A., Sancho, F.: "Formalización computacional del experimento de Lipton sobre el problema SAT". En: Actas del Primer Congreso Español de Algoritmos Evolutivos y Bio-inspirados. Coords./Eds.: Alba, E.; Fernández, F.; Gómez, J.A.;Herrera, F.;Hidalgo, J.I;Lanchares, J.;Merelo, J.J; Sánchez,J.M. pp. 326-332. Fernández de Vega, Francisco. 2002. ISBN/D.L.: 84-607-3913-9.

Pérez, M.d.J., Sancho, F.: "Solving Knapsack problems in a sticker based model". En: DNA Computing.(Lectures Notes in Computer Science, Vol. 2340). Coords./Eds.: Natasa Jonoska, Nadrian C. Seeman. pp. 161-171. Springer Verlag. 2002. ISBN/D.L.: 3-540-43775-4.

Romero, A., Pérez, M.d.J.: "Generation of Diophantine Sets by Computing P Systems with External Output". En: Unconventional Models of Computation (Third International Conference, UMC 2002, Proceedings). Coords./Eds.: Calude, Cristian S.; Dinneen, Michael J.; Peper, Ferdinand. pp. 176-190. Springer-Verlag. 2002. ISBN/D.L.: 3-540-44311-8.

Trabajos en Revistas

Clavel, M, Durán, F., EKer, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: "Maude: specification and programming in rewriting logic". Theoretical Computer Science. Num. 285. 2002. pp. 187-243.

Graciani, C., Martín, F.J., Pérez, M.d.J.: "Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment". Lecture Notes in Computer Science. Vol. 2509. 2002. pp. 126-136.

Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "A quasi-metric for Machine Learning". Lecture Notes in Artificial Intelligence. Vol. 2527. 2002. pp. 193-203.

Pérez, M.d.J., Romero, A.: "Simulating Turing machines by P systems with external output". Fundamenta Informaticae. Vol. 49. Num. 1-3. 2002. pp. 273-287.

Pérez, M.d.J., Sancho, F.: "A formalization of transition P systems". Fundamenta Informaticae. Vol. 49. Num. 1-3. 2002. pp. 261-272.

Pérez, M.d.J., Sancho, F.: "Verifying a P system generating squares". Romanian Journal of Information Science and Technology. Vol. 5. Num. 1-2. 2002. pp. 181-191.

Pérez, M.d.J., Sancho, F.: "Solving Knapsack problems in a sticker based model". Lecture Notes in Computer Science. Vol. 2340. 2002. pp. 161-171.

Quesada, J.F.: "Parsing bidimensional de estructuras DAG mediante el algoritmo SCP y su aplicación al reconocimiento del habla". Procesamiento del Lenguaje Natural. Num. 29. 2002. pp. 137-144.

Quesada, J.F.: "Modelado de diálogo basado en conocimiento, acciones y expectativas". Procesamiento del Lenguaje Natural. Num. 29. 2002. pp. 213-220.

Romero, A., Pérez, M.d.J.: "Generation of diophantine sets by computing P system with external output". Lecture Notes in Computer Science. Vol. 2509. 2002. pp. 176-190.

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. Vol. 36. Num. 3. 2002. pp. 239-262.

Sena, E., Amores, J.G., Quesada, J.F.: "Identification and Representation of Anaphoric Expressions in a Spoken Dialogue System". Procesamiento del Lenguaje Natural. Num. 29. 2002. pp. 189-196.

Otras publicaciones

Amores, J.G., Manchón, P., Pérez, G., Knight, S., Milward, D., Thomas, J., Quesada, J.F.: Possibilities for Enhancing Speech Recognition by Consulting Information States. Deliverable D2.3. Siridus project. IST-1999-10516.

Chávez, A.: Demostración automática en anillos ternarios.

Cordón, A.: Fragmentos de la Aritmética.

Graciani, C.: Simulación de máquinas de Turing no deterministas y máquinas PRAM-CREW en modelos de computación basados en ADN.

Kruijff-Korbayová, I., Ericsson, S., García, C., Jonson, R., Karagjosova, E., Manchón, P., Rodríguez, K.J., Quesada, J.F.: Improving System Output Using the Information State. Deliverable D5.1. Siridus project. IST-1999-10516.

Larsson, S., Amores, J.G., Jonson, R., Quesada, J.F.: SIRIDUS system architecture and interface report. Deliverable D6.3. Siridus project. IST-1999-10516.

Larsson, S., Jonson, R., Amores, J.G., García, C., Quesada, J.F.: Evaluation of Contribution of the Information State Based View of Dialogue. Deliverable D3.4. Siridus project. IST-1999-10516.

Pérez, M.d.J., Romero, F.J.: Universalidad del modelo Post-Turing.

Quesada, J.F., García, C., Amores, J.G., Jonson, R., Prieto, L.P., Manchón, P., Espinosa, S., Bernal, J.A.: Implementation of a Natural Command Language Dialogue System. Deliverable D3.3. Siridus project. IST-1999-10516.

Riscos Núñez, A.: Ordenación paralela externa en dos arquitecturas paralelas: SIMD-tree y MIMD-Pipeline.

Romero, A.: Teorías diofánticamente indecidibles.

Ponencias y Comunicaciones en Congresos

Alonso, J.A., Borrego, J., Chávez, A., Gutiérrez, M.A., Navarro, J.D.: "Towards a practical argumentative reasoning with qualitative spatial databases". IDEIA 2002. IBERAMIA 2002. Sevilla. I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial. pp. 111-120. 2002.

Alonso, J.A., Borrego, J., Chávez, A., Gutiérrez, M.A., Navarro, J.D.: "A Methodology for the computer-aided cleaning of complex knowledge databases". The 28th. Ann. Conference of the IEEE Industrial Electronics Society (IECON'02). Industrial Electronics Society (IECON) 2002: 28th Annual Conference. pp. 1806-1811. IEEE Standards Office. 2002. ISBN/D.L.: 0-7803-7475-4.

Alonso, J.A., Borrego, J., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: "Una introducción al Análisis Formal de Conceptos en PVS". IDEIA 2002. IBERAMIA-2002. Sevilla. Actas del I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial. pp. 33-46. 2002.

Amores, J.G., Quesada, J.F.: "Cooperation and Collaboration in Natural Command Language Dialogues". EDILOG: 6th Workshop on the semantics and pragmatics of. Universidad de Edimburgo. Edimburgo (Reino Unido). Proceedings of the 6th Workshop on the semantics and pragmatics of dialogue. pp. 5-12. 2002.

Balbontín, D., Pérez, M.d.J., Sancho, F.: "A MzScheme implementation of transition P systems". Workshop on Membrane Computing´02. Roman. Academy and Univ. Studi di Milano. Curtea de Arges (Rumanía). Pre-proceedings of Workshop on Membrane Computing 2002 (MolCoNet project-IST-2001-32008, Publication nº 1). pp. 65-80. Gh. Paun and C. Zandron ( Editores). 2002.

Graciani, C., Martín, F.J., Pérez, M.d.J.: "Specification of Adleman´s Restricted Model Using and Automated Reasoning System: Verification of Lipton´s Experiment". Third International Conference on Unconventional Models of Computation. UCM 2002. CRL-KARC and CDMTCS. Kobe (Japón). Proceedings of the Third International Conference on Unconventional Models of Computation. Lectures Notes in Computer Science, Vol. 2509. pp. 126-136. Springer-Verlag. 2002. ISBN/D.L.: 3-540-44311-8.

Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "A quasi-metric for Machine Learning". IBERAMIA 2002 (VIII Conferencia Iberoamericana de Inteligencia Artificial). Universidad de Sevilla. Sevilla. Advance in Artificial Intelligence- IBERAMIA 2002. pp. 193-203. 2002.

Martín, F.J., Alonso, J.A., Hidalgo, M.J., Ruiz, J.L.: "A Genetic Instantiation Tool and a Case Study: A Genetic Multiset Theory". Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. ACL2 -2002. TIMA, AMD and The University of Texas. Grenoble (Francia). Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. pp. 78-100. 2002.

Martín, F.J., Alonso, J.A., Hidalgo, M.J., Ruiz, J.L.: "Verification in ACL2 of a generic framework to synthesize SAT-provers". International Workshop on Logic Based Program Develop and Transform. LOPSTR´02. Technical University of Madrid (Spain). Madrid. Preproceedings of the International Workshop on Logic Based Program Development and Transformation. pp. 182-197. 2002.

Martín, F.J., Alonso, J.A., Hidalgo, M.J., Ruiz, J.L.: "Desarrollo formal y verificación de sistemas proposicionales". IDEIA 2002. IBERAMIA 2002. Sevilla. Actas del I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial. pp. 1-12. 2002.

Martín, F.J., Alonso, J.A., Pérez, M.d.J., Sancho, F.: "Molecular Computation Models in ACL2: a Simulation of Lipton´s Experiment solving SAT". Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. ACL2-2002. TIMA, AMD and The University of Texas. Grenoble (Francia). Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. pp. 175-187. 2002.

Medina, I., Alonso, J.A., Palomo, F.: "Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger)". IDEIA 2002. IBERAMIA 2002. Sevilla. I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial. pp. 133-142. 2002.

Medina, I., Palomo, F., Alonso, J.A.: "Implementation in ACL2 of Well-Founded Polynomial Orderings". Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. ACL2-2002. TIMA, AMD and The University of Texas. Grenoble (Francia). Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. pp. 175-187. 2002.

Paun, Gheorghe, Pérez, M.d.J., Sancho, F.: "On the reachability problem for P systems with porters". 10 th. International Conference on Automata and Formal Language. Universidad de Debrecen (Hungría). Debrecen (Hungría). Proceedings of the 10th International Conference on Automata and Formal Languages. pp. 1-3. 2002.

Pérez, M.d.J., Graciani, C., Romero, A., Sancho, F.: "Formalización computacional del experimento de Lipton sobre el problema SAT". Primer Congreso Español de Algorithmos Evolutivos y Bio-inspirados. Universidad de Extremadura. Mérida. Actas del Primer Congreso Español de Algoritmos Evolutivos y Bio-inspirados (AEB'02). pp. 326-332. Fernández de Vega, Francisco (Editor). 2002. ISBN/D.L.: 84-607-3913-9.

Pérez, M.d.J., Romero, A., Sancho, F.: "Decision P systems and the P=NP conjecture". Workshop on Membrane Computing '02. Roman. Academy and Univ. Studi di Milano. Curtea de Arges (Rumanía). Pre-proceedings of Workshop on Membrane Computing 2002 (MolCoNet project-IST-2001-32008, Publication nº 1). pp. 345-354. Gh. Paun and C. Zandron ( Editores). 2002.

Quesada, J.F., Amores, J.G.: "Delfos2: A Dialogue System inspired in LFG". 7th International LFG Conference. National Technical University of Athens. Atenas (Grecia). 2002.

Quesada, J.F., Amores, J.G.: "Knowledge-based Reference Resolution for Dialogue Management in a Home Domain Environment". EDILOG: 6th Workshop on the semantics and pragmatics of dialogue. Universidad de Edimburgo. Edimburgo (Reino Unido). Proceedings of the 6th Workshop on the semantics and pragmatics of dialogue. pp. 149-154. 2002.

Romero, A., Pérez, M.d.J.: "Generation of Diophantine Sets by Computing P Systems with External Output". Third International Conference on Unconventional Models of Computations. Kansai Advanced Research Center (Japón). Kobe (Japón). Unconventional Models of Computations (Third International Conference, UCM 2002, Proceedings). pp. 176-190. Springer-Verlag. 2002. ISBN/D.L.: 3-540-44311-8.

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "A Theory About First-order Terms in ACL2". Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. ACL2-2002. TIMA, AMD and The University of Texas. Grenoble (Francia). Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. pp. 78-100. 2002.

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Progress Report: Term Dags Using Stobjs". Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. ACL2-2002. TIMA, AMD and The University of Texas. Grenoble (Francia). Third Intl. Workshop on The ACL2 Theorem Prover and its Applications. pp. 101-108. 2002.

Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Verificación formal y eficiencia: un caso de estudio aplicado a la unificación de términos". IDEIA 2002. IBERAMIA 2002. I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial. pp. 77-90. 2002.