Ver Investigador - - Prisma - Unidad de Bibliometría

Antonia María Chávez González

Profesora Contratada Doctora
tchavez@us.es
Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial
Departamento: Ciencias de la Computación e Inteligencia Artificial
Grupo: LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO - TIC-137 (Universidad de Sevilla)

Investiga en

Tipo Año Título Fuente
Artículo2024 A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology AI
Artículo2017 Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna Revista de Humanidades Digitales
Artículo2016 Semantics for incident identification and resolution reports Logic Journal of the IGPL
Ponencia2014 Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning Approach HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014
Ponencia2014 Specifying and Verifying Meta-Security by Means of Semantic Web Methods INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14
Ponencia2012 Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles 3rd IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2012 - Proceedings
Ponencia2012 Semantic geodemography and urban interoperability METADATA AND SEMANTICS RESEARCH
Capítulo2011 Computational logic and knowledge representation issues in data analysis for the semantic web Data Management in the Semantic Web
Libro2011 XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011
Artículo2010 MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING Image-A
Ponencia2009 On the use of Automated Reasoning Systems in Ontology Integration CEUR workshop proceedings
Ponencia2008 Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies UNCERTAINTY REASONING FOR THE SEMANTIC WEB I
Ponencia2007 A formal foundation for Knowledge Integration of defficent information in the Semantic Web COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007 Learning services based on formal concept reasoning MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007
Artículo2006 Foundational challenges in automated Semantic Web data and ontology cleaning IEEE INTELLIGENT SYSTEMS
Artículo2006 Visual ontology cleaning: Cognitive principles and applicability SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS
Ponencia2005 Controlling ontology extension by uncertain concepts through cognitive entropy CEUR workshop proceedings
Artículo2005 Extension of ontologies assisted by automated reasoning systems Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Capítulo2005 Logic databases and inconsistency handling Encyclopedia of Database Technologies and Applications
Ponencia2004 Ontology cleaning by mereotopological reasoning 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia2004 Towards a tool for ontology engineering Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC
Artículo2003 Towards a practical argumentative reasoning with qualitative spatial databases DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Ponencia2002 A methodology for the computer-aided cleaning of complex knowledge databases IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4
Capítulo2001 Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático Actas del Encuentro de Matemáticos Andaluces

Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2014 31/12/2017 Investigador/a Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P) Ministerio de Economía y Competitividad (Nacional)
15/03/2011 14/09/2015 Investigador/a Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2010 31/12/2012 Investigador/a Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492) Ministerio de Ciencia e Innovación (Nacional)
13/12/2004 13/12/2007 Investigador/a Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884) Ministerio de Ciencia y Tecnología (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/01/2008 15/01/2010 Investigador/a Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (OG-003/08) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)
15/11/2013 31/12/2014 Investigador/a El corredor de la carretera N-340 como eje histórico del litoral andaluz: metodologías de caracterización y estrategias para su patrimonialización y regeneración sostenible (2040/0701) AGENCIA DE OBRA PUBLICA DE LA JUNTA DE ANDALUCIA (Desconocido)
El investigador no tiene ningún resultado de investigación asociado