|
Facultad de Informática y Estadística Avda. Reina Mercedes, s/n 41012 - Sevilla |
|
Facultad de Matemáticas
Dr. D. Alejandro Fernández Margarit
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
Dª. María José Hidalgo Doblado (Secretario del Departamento)
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
D. Manuel Perera Domínguez
Dr. D. José Francisco Quesada Moreno
D. Alvaro Romero Jiménez
D. José Luis Ruiz Reina
D. Fernando Sancho Caparrini
D. Antonio de Jesús Pérez Jiménez
Dª. Mª del Carmen Pérez Cardona
Responsable: A. Fernández
Componentes: J.A. Alonso, J.J. Arrabal, J. Borrego, M.d.J. Pérez, A. Riscos, M.J. Hidalgo, I. Medina(*), F. Palomo(*), A. Chávez(*), M.A. Gutiérrez, F.F. Lara, F.J. Martín, M. Perera, A. Romero, J.L. Ruiz, A.J. Pérez
"Inducción y recursión: Las teorías ID n+1(T)"
Doctorando: Francisco Félix Lara Martín
Director: Alejandro Fernández Margarit
Calificación: Sobresaliente cum laude, Facultad de Matemáticas, 25 de febrero.
Quesada, J.F., Amores, J.G.: Diseño e Implementación de Sistemas de Traducción Automática. Secretariado de Publicaciones. Universidad de Sevilla. 2000. ISBN/D.L.: 84-472-0585-1.
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: "Towards Maude 2.0". En: Electronic Notes on Theoretical Computer Science, vol. 36. Coords./Eds.: F. Futatsugi. Elsevier. 2000. ISBN/D.L.: 044450848.
Quesada, J.F.: "Internet: Tecnología, Información y Educación". Epsilon. Vol. 48. Num. 1. 2000. pp. 95-105.
Quesada, J.F.: "Towards a Comprehensive Framework for the Specification, Representation and Unification of Complex Feature Structures". Procesamiento del Lenguaje Natural. Vol. 24. 2000. pp. 65-73.
Quesada, J.F.: "Sobregeneración durante el Análisis Gramatical (Overparsing), Derivabilidad Parcial, Adyacencia y Propagación de Restricciones: el algoritmo SCP". Procesamiento del Lenguaje Natural. Vol. 24. 2000. pp. 9-18.
Amores, J.G., Quesada, J.F.: Dialogue Moves in Natural Command Languages. Deliverable 1.1. Proyecto SIRIDUS: IST-1999-10156.
Quesada, J.F., Torre, D., Amores, J.G.: Design of a Natural Command Language Dialogue System. Deliverable 3.2. Proyecto SIRIDUS: IST-1999-10516.
Torre, D., Amores, J.G., Quesada, J.F.: User Requirements on a Natural Command Language Dialogue System. Deliverable 3.1. Proyecto SIRIDUS: ist-1999-10516.
Alonso, J.A., Borrego, J., Chávez, A.: "Deducción automática en anillos ternarios: Algunos métodos de procesamiento del conocimiento matemático". Encuentro de Matemáticos Andaluces. Sevilla, 13 al 17 de Noviembre de 2000. Actas del Encuentro de Matemáticos Andaluces. Universidad de Sevilla. 2000. ISBN/D.L.: 8447206394.
Alonso, J.A., Borrego, J., Chávez, A.: "Estrategias para la demostración automática de teoremas". IV Jornadas Científicas en Tecnologías de la Información. Cádiz, Noviembre 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 276-283. Esther Gadechi Díaz y Diego Gómez Vela. 2000. ISBN/D.L.: CA-883/2000.
Alonso, J.A., Borrego, J., Olias, Fátima: "Verificación automática de bases de conocimiento. Demostración automática versus model checking". IV Jornadas Científicas en Tecnologías de la Información. Cádiz. Noviembre, 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 268-275. Ed. Esther Gadechi Díaz y Diego Gómez Vela. 2000. ISBN/D.L.: CA-883/2000.
Clavel, M., Durán, F., Eker, S., Lincoln, P, Martí-Oliet, N., Meseguer, J., Quesada, J.F.: "Towards Maude 2.0". 3rd. Intl. Workshop on Rewriting Logic and its Applications. Trento, Italia. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS, vol. 36. F. Futatsugi. Elservier. 2000.
Fernández, A., Lara, F.F.: "Some results on LD n+1". Logic Colloquium 2000. Paris. La Sorbona, 23-31 Julio 2000. 2000.
Fernández, A., Lara, F.F.: "Funciones recursivas y fragmentos de la Aritmética". Encuentro de Matemáticos Andaluces. Sevilla. 13-17 Noviembre de 2000. Acta del Encuentro de Matemáticos Andaluces. Universidad de Sevilla. 2000. ISBN/D.L.: 844720639.
Fernández, M.G., Amores, J.G., Quesada, J.F.: "A dynamic approach for the Specification and Reasoning of Discourse Knowledge in Man-Machine Dialogue Systems". JOLL'2000: Jornadas sobre Lógica y Lenguaje. Sevilla, noviembre-diciembre 2000. Actas de las Jornadas sobre Lógica y Lenguaje. pp. 87-96. Kronos. 2000. ISBN/D.L.: 84-85101-57-X.
Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "A topological study of the upward refinement operators in ILP". Inductive Logic Programming 10th International Conference, ILP 2000. London, U.K. July 2000. Http://www.sunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-35. pp. 120-137. James Cussens y Alan Frisch (Eds.). 2000.
Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "Proximidad entre cláusulas en Programación Lógica Inductiva". Encuentro de Matemáticos Andaluces. Sevilla, Noviembre de 2000. Actas del Encuentro de Matemáticos Andaluces. Universidad de Sevilla. 2000. ISBN/D.L.: 8447206394.
Gutiérrez, M.A., Alonso, J.A., Borrego, J.: "Una quasi-métrica basada en subsunción". IV Jornadas Científicas en Tecnologías de la Información. Cádiz, Noviembre de 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 260-267. Esther Gadechi Díaz y Diego Gómez Vela. 2000. ISBN/D.L.: CA-883/2000.
Mateos Párraga, L., Marín Fernández, A., Gutiérrez, M.A., Rodríguez, José M.: "Una aplicación de la Programación Lógica Inductiva a las Ciencias Sociales en Andalucía". IV Jornadas Científicas en Tecnologías de la Información. Cádiz, Noviembre de 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 252-259. Esther Gadechi Díaz y Diego Gómez Vela. 2000. ISBN/D.L.: CA-883/2000.
Medina, I., Alonso, J.A., Palomo, F.: "Automatic Verification of Polynomial Rings: Fundamental Properties in ACL2". ACL2 Workshop 2000. Matt Kaufmann y J. Moore. Austin, Texas. Oct. 30-31, 2000. Http://www.cs.utexas.edu/users/moore/ac12/workshop-2000. 2000.
Medina, I., Alonso, J.A., Palomo, F.: "Razonamiento automático en programación genérica con ACL2: estudio de un caso". IV Jornadas Científicas en Tecnologías de la Información. Cádiz, Noviembre de 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 292-299. Esther Gadechi Díaz y Diego Gómez Vela (Eds.). 2000. ISBN/D.L.: CA-883/2000.
Palomo, F., Alonso, J.A., Medina, I.: "Reasoning about Matrix Arithmetic in ACL2". AOC Workshop 2000. Lyon, Francia. 15-16 Nov, 2000. http://www.sop.inria.fr/lemme/AOC/wokshop/francisco_palomo.ps.gz. 2000.
Palomo, F., Alonso, J.A., Medina, I.: "Inserción y fusión con listas ordenadas: un ejemplo de razonamiento automático con ACL2". IV Jornadas Científicas en Tecnologías de la Información. Cádiz, Noviembre de 2000. Actas de las IV Jornadas Científicas en Tecnologías de la Información. pp. 284-291. Esther Gadechi Díaz y Diego Gómez Vela. 2000. ISBN/D.L.: CA-883/2000.
Perera, M.: "Modelo de interacción entre entes físicos". II Jornadas Andalusíes de Informática Gráfica. Sevilla, 23,24 Noviembre 2000. 2000.
Perera, M.: "Programación literaria". VI Jornadas sobre la Enseñanza Universitaria de la Informática. Septiembre 2000. 2000.
Perera, M.: "Introducción al cálculo analógico mediante un modelo de dinámica poblacional". IV Congreso de Tecnologías Aplicadas a la Enseñanza de la Electrónica, TAEE-2000. Barcelona, 13-15 Septiembre 2000. 2000.
Perera, M.: "Una innovación literaria en la enseñanza de la programación". II Jornadas Andaluzas de Calidad en la Enseñanza Universitaria. Vicerrectorado de Calidad. ICE. Sevilla, Marzo 2000. 2000.
Pérez, M.d.J., Graciani, C., Romero, A.: "Some functional schemes in Arithmetic". Logic Colloquium 2000 and European Logic Summer School 2000. Paris, 23 al 31 de Julio. 2000.
Pérez, M.d.J., Graciani, C., Romero, A., Sancho, F.: "Soluciones moleculares del problema SAT de la Lógica Proposicional". Lógica, Lenguaje e Información, JOLL'2000. Sevilla. Actas de las Primeras Jornadas sobre Lógica y Lenguajes. pp. 243-252. Kronos. 2000. ISBN/D.L.: 84-85101-57-X.
Pérez, M.d.J., Graciani, C., Romero, A., Sancho, F.: "NP-completitud y Computación ADN". Encuentro de Matemáticos Andaluces. Sevilla. Actas del Encuentro de Matemáticos Andaluces. pp. 539-548. Universidad de Sevilla. 2000. ISBN/D.L.: 8447206394.
Quesada, J.F.: "A uniform model for the specification representation and unification of linguistic information: the L3U and CU unification algorithms". JOLL'2000: Jornadas sobre Lógica y Lenguaje. Sevilla, noviembre-diciembre 2000. Actas de las Jornadas sobre Lógica y Lenguaje. pp. 253-262. Kronos. 2000. ISBN/D.L.: 84-85101-57-X.
Quesada, J.F., Amores, J.G., Fernández, M.G., Bernal, J.A., López, M.T.: "Design Constraints and Representation for Dialogue Management in the Automatic Telephone Operator Scenario". Gotalog 2000: Four Conference on the Semantics and Pragmatics of Dialogue. Univers. Gotemburgo, Suecia. Junio 2000. pp. 137-142. 2000.
Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Formalizing rewriting in the ACL2 theorem prover". Artificial Intelligence an Symbolic Computation, AISC 2000. Madrid, 17-19 de Julio de 2000. 2000.
Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "A mechanical proof of Knuth-Bendix critical pair theorem (using ACL2)". Third International Workshop on First-Order Theorem Proving, FTP 2000. St, _Andrews, Escocia. Third International Workshop on First-Order Theorem Proving, FTP 2000. pp. 206-216. Universitat Koblenz. 2000.
Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Multiset relations: a tool for proving termination". Second ACL2 Workshop. Austin, Texas. Estados Unidos. Proceedings of the Second ACL2 workshop, Technical Report TR-00-29, Computer Science Deparment. University of Texas at Austin. 2000.
Ruiz, J.L., Alonso, J.A., Hidalgo, M.J., Martín, F.J.: "Formalización del razonamiento ecuacional en una lógica computacional". Encuentro de Matemáticos Andaluces. Sevilla, 13-17 de noviembre de 2000. 2000.