Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla

Antonia M. Chávez González

Correo electrónico: tchavez@us.es
Teléfono: 954553864, Fax: 954557970.

Horario de tutorías

Primer Cuatrimestre 2012-2013:

• Miércoles: 11:30 - 13 :30 h. (Solicitar por correo electrónico)
• Jueves: 08:30 - 12 :30 h. (Solicitar por correo electrónico)

Asignaturas impartidas durante el curso 2012-13:

• Representación del Conocimiento en la Web. Máster en lógica, Computación e Inteligencia Artificial.
• Programación Declarativa. (3º Ingeniería Informática. Tecnologías Informáticas. 1º Cuat.)
• Informática. 1º Grado en Matemáticas. Anual. Fichero de configuración de emacs para la asignatura de Informática Grado en Matemáticas.

Asignaturas impartidas en cursos anteriores:

Curso 2011-12:
• Representación del Conocimiento en la Web. Máster en lógica, Computación e Inteligencia Artificial.
• Lógica y Programación. (3º Ing. Informática. 2º Cuat.)
• Informática (1º Grado en Matemáticas. Anual.)

Curso 2010-11:
• Representación del Conocimiento en la Web. Máster en lógica, Computación e Inteligencia Artificial.
• Lógica y Programación. (3º Ing. Informática. 2º Cuat.)
• Informática (1º Grado en Matemáticas. Anual.)
• Ampliación de Informática (2º Dpl. en Estadística. 1º Cuat. )

Curso 2009-10:

• Lógica y Programación. (3º Ing. Informática. 2º Cuat.)
• Seminario de Inteligencia Artificial (5º Ing. Informática. 2º Cuat. )
• Informática (1º Grado en Matemáticas. Anual.)
• Ampliación de Informática (2º Dpl. en Estadística. 1º Cuat. )

Curso 2008-09:

• Lógica y Programación (3º Ing. Informática)
• Seminario de Inteligencia Artificial (5º Ing. Informática )
• Informática (1º Lic. Matemáticas)
• Ampliación de Informática (2º Dpl. en Estadística )

Curso 2007-08:
• Lógica y Programación (3º Ing. Informática)
• Seminario de Inteligencia Artificial (5º Ing. Informática )
• Informática (1º Lic. Matemáticas)
• Ampliación de Informática (2º Dpl. en Estadística )

Curso 2006-07:
• Lógica y Programación (3º Ing. Informática)
• Seminario de Inteligencia Artificial (5º Ing. Informática )
• Lógica Informática (2º Ingeniería Informática)
• Informática (1º Lic. Matemáticas)
• Ampliación de Informática (2º Dpl. en Estadística )

Curso 2005-06:
• Lógica y Programación (3º Ing. Informática)
• Bases de datos (2º Dpl. en Estadística )
• Lógica Informática (2º Ingeniería Informática)
• Informática (1º Lic. Matemáticas)
• Ampliación de Informática (2º Dpl. en Estadística )

Curso 2004-05:
• Bases de datos (2º Dpl. en Estadística )
• Lógica Informática (2º Ingeniería Informática)
• Informática (1º Lic. Matemáticas)
• Demostración automática de Teoremas (Libre configuración)

Curso 2003-04:
• Informática (1º Lic. Matemáticas)
• Bases de datos (2º Dpl. en Estadística )
• Demostración automática de Teoremas (Libre configuración)

Curso 2002-03:
• Informática (1º Lic. Matemáticas)
• Bases de datos (2º Dpl. en Estadística )
• Demostración automática de Teoremas (Libre configuración)

Curso 2001-02:
• Informática (1º Dpl. en Estadística)
• Bases de datos (2º Dpl. en Estadística)

Publicaciones y contribuciones a congresos:

• Semantic geodemography for smartcities. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Smart City World Congress 2012.
• Semantic Geodemography and Urban Interoperability. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Proc. Metadata and Semantic Research 6th International Conference, MTSR 2012.
• Computational Logic and Knowledge Representation Issues in Data Analysis for the Semantic Web. J.A. Alonso-Jiménez, Joaquín Borrego-Díaz, A. M. Chávez-González, F. Jesús Martín-Mateos. Data Management in the Semantic Web (NOVA Pub.) 2011, pp. 105-130
• Mereotopological Patterns for Ontology Evolution and Debugging. G. A. Aranda-Corral, Joaquín Borrego-Díaz, A. M. Chávez-González. IMAGE-A, 1: 151-158 (2010).
• Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. URSW 2005-2007 Uncertainty Reasoning form the Semantic Web. Lecture Notes in Artificial Intelligence. P.C.G. da Costa et al. (Eds.): URSW 2005-2007, LNAI 5327, pp. 315-329, 2008. Springer-Verlag Berlin Heideberg 2008. ISSN: (En colaboración con J. Borrego-Díaz).
• Learning Services Based on Formal Concept Reasoning. IADIS International Conference Intelligent Systems and Agents 2007, (IADIS'07). ISBN: 978-972-8924-39-3.(2007). (En colaboración con J. Borrego-Díaz y G. Aranda-Corral).
• Anomalías en Ontologías Provisionales. Actas del VIII Congreso ISKO España. Interdisciplinarity and Transdisciplinarity in the Organization of Scientific Knowledge, (ISKO'07). ISBN: 978-84-9773-333-5.(2007). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• A Formal Foundation for Knowledge Integration of Deficient Information in the Semantic Web. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2007, LNCS 4739, pp. 305-312, 2007. Springer-Verlag Berlin Heideberg 2007. ISSN: 0302-9743 (En colaboración con J. Borrego-Díaz).
• Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo. Actas del congreso 50 Años de Inteligencia Artificial. Campus Multidisciplinar en Percepción e Inteligencia, (CMPI'06). ISBN:84-689-9561-4.(2006). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• Visual Ontology Cleaning: Cognitive Principles and Applicability. 3th European Semantic Web Conference ESWC'06. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): , LNCS 4011,The Semantic Web: Research and applications pp. 317-331, 2006. Springer-Verlag Berlin Heideberg 2006. ISBN:0302-9743 (En colaboración con J. Borrego-Díaz).
• Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web. IEEE Intelligent Systems, Special Issue: AI, Agents and the Web. ISSN:1541-1672 (2006). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y F.J. Martín-Mateos).
• Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. 4th International Semantic Web Conference, Workshop on Uncertainty Reasoning for the Semantic Web. Noviembre 2005. Galway, Irlanda. (En colaboración con J. Borrego-Díaz).
• Razonamiento Mereotopológico Automatizado para la Depuración de Ontologías. Tesis Doctoral dirigida por el Prof. Dr. D. Joaquín Borrego Díaz. Dept. Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Junio 2005.
• Logic Databases and Inconsistency Handling. L.C. Rivero, J. H. Doorn y V. E. Ferraggine (Eds.) Encyclopedia of Database Technologies and Applications, pp. 336-340, 2005. Idea Group Reference. ISBN: 1-59140-560-2. (2005). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• Extension of Ontologies Assisted by Automated Reasoning Systems. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2005, LNCS 3643, pp. 247-253, 2005. Springer-Verlag Berlin Heideberg 2005.ISBN:3-540-29002-8 (En colaboración con J. Borrego-Díaz).
• Towards a Tool for Ontology Engineering. Proc. of World Automation Congress (WAC'04). ISBN:1-889335-20-7. IEEE Press (2004). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• Ontology Cleaning by Mereotopological Reasoning. Proc. of  DEXA Workshop on Web Semantics (WebS'04), pp. 132-137. IEEE Computer Society (2004). ISBN: 0-7695-2195-9 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. Developments in Applied Artificial Intelligence. Lecture Notes in Artificial Intelligence, LNAI  2718, pp. 789-798. Springer-Verlag (2003). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y J.D. Navarro Marín).
• A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Proc. of The 28th Annual Conference of the IEEE Industrial Electrocnics Society (IECON 2002), pp. 1806-1812. IEEE Press. ISBN:0-7803-7475-4 (2002). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz, M.A. Gutiérrez-Naranjo y J.D. Navarro-Marín).
• Estrategias para la demostración automática de teoremas. IV Jornadas Científicas en Tecnologías de la Información CINTE'00, Libro de Actas pp. 132-137. (2000). ISBN/DL:CA-883/2000 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
• Deducción Automática en Anillos Ternarios: Algunos Métodos de procesamiento del conocimiento matemático. Primer Encuentro de Matemáticos Andaluces (EMA 2000). Libro de Actas pp. 23-32 Universidad de Cádiz. (2000). ISBN/DL:CA-84-472-0290-0 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).