Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Gonzalo Antonio Aranda Corral


Gonzalo Antonio Aranda Corral
Email: Solicitar correo
Página personal: http://www.glc.us.es/~garanda
Perfil en ORCID: 0000-0003-4318-6573
Perfil en ResearcherID: B-9618-2012
Perfil en Scopus: 33367534500
Perfil en Dialnet: 3753765

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Colaborador

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00 - Equipo de Investigación)
    • Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Equipo de Investigación)
    • Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064 - Otro Investigador)
    • Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • 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 - Colaborador)
    • Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (OG-003/08 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Chavez Gonzalez, Antonia Mª, Cordon Franco, Andres, Hidalgo Doblado, Maria Jose, et. al.:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. 602

Otra participación en Libros
De Miguel, Jaime (Coordinador), Borrego Diaz, Joaquin (Coordinador), Sancho Caparrini, Fernando (Coordinador), Aranda Corral, Gonzalo A. (Coordinador), Domínguez, Ismael (Coordinador):
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014. Sevilla. Fidetia. 2015. ISBN 978-84-617-9075-3

De Miguel, Jaime (Coordinador), Borrego Diaz, Joaquin (Coordinador), Sancho Caparrini, Fernando (Coordinador), Aranda Corral, Gonzalo A. (Coordinador), Domínguez, Ismael (Coordinador):
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013. Sevilla. Fidetia. 2014. ISBN 978-84-617-9076-0

Capítulos en Libros
Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pag. 243-260. En: Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016. Springer, Cham. 2016

Fernández-Valderrama Aparicio, Luz, Rovira Caballero, Ignacio, Mendoza Muro, Maria Salas, Rodríguez Estévez, Sergio, Ureta Muñoz, Carolina, et. al.:
El diseño de herramientas analítico-prospectivas para la regeneración integrada de barrios: atlas potencial de terapias urbanas. Pag. 163-186. En: Idpa_02. RUbooks, Departamento de Proyectos Arquitectónicos, US. 2016. ISBN ISBN 978-84-941838-9-8

Rodríguez Estévez, Sergio, Mendoza Muro, Maria Salas, Fernández-Valderrama Aparicio, Luz, Ureta Muñoz, Carolina, Rovira Caballero, Ignacio, et. al.:
Atlas de terapias urbanas basado en casos reales. Pag. 159-168. En: Obsolescence and Renovation ¿ 20th century housing in the new millennium. Architecture MPS. 2016

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Solís Martín, David:
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pag. 79-89. En: Advances in Intelligent Systems and Computing. Springer Cham, Heidelberg. 2015. ISBN 978-3-319-19719-7

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. Pag. 79-89. En: Advances in Intelligent Systems and Computing. Springer Cham, Heidelberg. 2015. ISBN 978-3-319-19719-7

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Scale-free structure in concept lattices associated to complex systems}. Vol. 1. Pag. 1-6. En: Complex Systems (ICCS), 2012 International Conference on. 2012. ISBN 978-1-4673-4764-8

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles. Vol. 1. Pag. 739-744. En: Cognitive Infocommunications (CogInfoCom), 2012 IEEE 3rd International Conference on. IEEE Xplore. 2012. ISBN 978-1-4673-5187-4

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Ontological Dimensions of Semantic Mobile Web 2.0. Pag. 667-688. En: Handbook of Research on Mobility and Computing. Ed. 2011. Hershey, Pennsylvania (USA). Igi Global. 2011

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:
Extending Attribute Explorations by Means of Boolean Derivatives. Vol. 1. Pag. 121-132. En: Proceedings of the Sixth International Conference on Concept Lattices and Their Applications. Olomouc, Chequia. Radim Belohlavek and Sergei O. Kuznetsov. 2008. ISBN 978-80-244-2111-7

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Aranda Corral, Gonzalo A.:
Learning Services Based on Formal Concept Reasoning. Pag. 1-10. En: Actas del Mccsis 2001: Multi Conference on Computer Science and Information Systems. Lisboa, Portugal. Iadis Press Publisher. 2007

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Krrt: Knowledge Representation and Reasoning Tutor System. Pag. 150-151. En: Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. Iuctc Universidad de las Palmas de Gran Canaria. 2007. ISBN 978-84-690-3603-7

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Fits: Formalization With an Intelligent Tutor System. Vol. 2. Pag. 861-865. En: Current Developments in Technology-Assisted Education (2006). Badajoz, España. Formatex. 2006. ISBN 84-690-2472-8

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. Pag. 243-260

Publicaciones en Revistas
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:
A logic-algebraic tool for reasoning with Knowledge-Based Systems. En: Journal of Logical and Algebraic Methods in Programming. 2018. Vol. 101. Núm. 1. Pag. 88-109. https://doi.org/10.1016/j.jlamp.2018.09.001

Chavez Gonzalez, Antonia Mª, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. En: Lecture Notes in Computer Science. 2014. Vol. LNAI 8480. Pag. 427-438. 10.1007/978-3-319-07617-1_38

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez, Jesús:
Agent-mediated shared conceptualizations in tagging services. En: Multimedia Tools and Applications. 2013. Vol. 65. Núm. 1. Pag. 5-28. 10.1007/s11042-012-1146-5

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Complex concept lattices for simulating human prediction in sport. En: Journal of Systems Science and Complexity. 2013. Vol. 26. Núm. 1. Pag. 117-136. 10.1007/s11424-013-2288-x

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Qualitative Reasoning on Complex Systems from Observations. En: Lecture Notes in Computer Science. 2013. Vol. 8073. Núm. 1. Pag. 202-211. 10.1007/978-3-642-40846-5_21

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
On the Phenomenological Reconstruction of Complex Systems -- The Scale-Free Conceptualization Hypothesis. En: Systems Research and Behavioral Science. 2013. Vol. 30. Núm. 6. Pag. 716-734. 10.1002/sres.2240

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. En: International Workshop on Database and Expert Systems Applications. 2011. Vol. 22. Núm. 1. Pag. 350-354. 10.1109/Dexa.2011.18

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Confidence-Based Reasoning with Local Temporal Formal Contexts. En: Lecture Notes in Computer Science. 2011. Vol. 6692. Núm. 1. Pag. 461-468. 10.1007/978-3-642-21498-1_58

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Bounded Rationality for Data Reasoning. En: International Workshop on Database and Expert Systems Applications. 2011. Pag. 350-354

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Mereotopological Analysis of Formal Concepts in Security Ontologies. En: Advances in Soft Computing. 2010. Vol. 85. Pag. 33-40

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A., Jiménez Mavillard, Antonio:
Social Ontology Documentation for Knowledge Externalization. En: Communications in Computer and Information Science. 2010. Vol. 108. Pag. 137-148

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Reconciling Knowledge in Social Tagging Web Services. En: Lecture Notes in Computer Science. 2010. Vol. 6076. Núm. 2. Pag. 383-390

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Toward Semantic Mobile Web 2.0 Through Multiagent Systems. En: Lecture Notes in Computer Science. 2009. Vol. 5559. Pag. 400-409

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena:
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. En: Lecture Notes in Computer Science. 2009. Vol. 5625/2009. Pag. 45-58

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo Antonio, Martin Mateos, Francisco Jesus:
Krrt: Knowledge Representation and Reasoning Tutor System. En: Lecture Notes in Computer Science. 2007. Vol. 4739. Pag. 400-407

Aranda Corral, Gonzalo A.:
A logic-algebraic tool for reasoning with Knowledge-Based Systems

Aranda Corral, Gonzalo A.:
A logic-algebraic tool for reasoning with Knowledge-Based Systems

Otra participación en Libros de Actas
Aranda Corral, Gonzalo A. (Editor/a):
Artificial Intelligence and Symbolic Computation. 2014. ISBN 978-3-319-13769-8. Switzerland

Aportaciones a Congresos
Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan, Trujillo Caballero, Alejandro:
On experimental efficiency for retraction operator to stem basis. Comunicación en congreso. European Symposium on Computational Intelligence and Mathematics. - Faro; Portugal. 2017

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan, De Miguel, Jaime:
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. Ponencia en Congreso. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016. Toulouse. 2016

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Solis Martín, David:
iaBastos: An Intelligent Marketplace for Agricultural Products. Ponencia en Congreso. 13th International Conference on Practical Applications of Agents and Multi-Agent Systems. - Salamanca, España. 2015

Galán Páez, Juan, Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Modeling Lexicon Emergence as Concept Emergence in Networks. Ponencia en Congreso. International Afro-European Conference for Industrial Advancement. Villejuif (Paris-sud). 2015

Rodríguez Estévez, Sergio, Mendoza Muro, Maria Salas, Fernández-Valderrama Aparicio, Luz, Ureta Muñoz, Carolina, Rovira Caballero, Ignacio, et. al.:
Atlas de terapias urbanas basado en casos reales. Comunicación en congreso. OBSOLESCENCE and RENOVATION - 20th Century Housing in the New Millennium. Universidad de Sevilla. 2015

Mendoza Muro, Maria Salas, Rodríguez Estévez, Sergio, Fernández-Valderrama Aparicio, Luz, Ureta Muñoz, Carolina, Rovira Caballero, Ignacio, et. al.:
Atlas Potencial de Terapias Urbanas. Comunicación en congreso. OBSOLESCENCE and RENOVATION ¿ 20th Century Housing in the New Millennium. 2015

Mendoza Muro, Maria Salas, Rodríguez Estévez, Sergio, Aranda Corral, Gonzalo A.:
Mejoras Barriales Entrevistas. Ponencia de Seminario. mejoras barriales entrevistas. Palacio de los Marqueses de la Algaba, Sevilla. 2015

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan, Jiménez Mavillard, Antonio:
Emergent Concepts on Knowledge Intensive Processes. Ponencia en Congreso. International Conference on Computational Collective Intelligence. Seul. 2014

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez, Jesús:
On the Complexity of Shared Conceptualizations. Ponencia en Congreso. 11th International Conference on Artificial Intelligence and Soft Computing. Cz¿stochowa,Poland. 2012

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Simulating Language Dynamics by Means of Concept Reasoning. Ponencia en Congreso. 7th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lugano. 2012

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Galán Páez, Juan:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis. Ponencia en Taller de trabajo. Workshop on Complex Systems and Sports. Granada. 2011

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Fca & Semantic Mobile Web 2.0. Ponencia en Congreso. Ifca: Informal Fca Workshop. Dresden. Germany. 2011

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Robocup: Ia en Sistemas Multiagente y Fútbol de Simulación. Conferencia Congreso no publicada. Jornadas de Robótica Robotus. 2010

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Aranda Corral, Gonzalo A.:
Mereotopological Patterns for Ontology Evolution and Debugging. Comunicación en congreso. Ctic 2010 Workshop on Computational Topology in Image Context, Chipiona (Cádiz), 2010). Chipiona, Cádiz. 2010

Paredes Moreno, Antonio, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Pragmatic Knowledge Integration Based on Semantic Interoperability in Business. Ponencia en Congreso. III Congreso Internacional de Patrimonio Cultural y Cooperación al Desarrollo. Museo Nacional de Antropología. Ciudad de México. 2010. E-Commerce 2007 Iadis International Conference. 1. 37

Aranda Corral, Gonzalo A.:
(Re)Organizing Web Search Results by Means of Semantic and Visual Tools. Conferencia Congreso no publicada. Future of Web Search: Semantic Search. Santa Aurelia, Ibiza, Spain. 2009

Aranda Corral, Gonzalo A.:
Vocamp - Ibiza2009. Ponencia en Taller de trabajo. Vocamp 2009. Ibiza, Spain. 2009

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A., Alonso Jimenez, Jose Antonio:
Sistema Certificado de Decisión Proposicional Basado en Polinomios. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Web Semántica, Sistemas Multiagente y Redes Sociales Móviles: Proyecto Mowento. Conferencia Congreso no publicada. Jornadas Científico-Técnicas de Difusión de la Tecnología Multiagente en la Universidad de Sevilla. 2009

Aranda Corral, Gonzalo A., Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Sistema Certificado de Decisión Proposicional Basado en Polinomios. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009. Computational Logics and Artificial Intelligence. 101. 111

Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin:
Ontoxicwiki: una Herramienta para la Reparación y Documentación Social y Colectiva de Ontologías. Conferencia Congreso no publicada. Open Source World Conference 2008. 2008

Fernández de Viana González, Iñaki, Aranda Corral, Gonzalo A.:
Folmo: First Order Logic in Moodle. Comunicación en congreso. Jornadas de Enseñanza Universitaria de la Informática. Granada. 2008

Aranda Corral, Gonzalo A.:
Tratamiento de la Semántica Emergente Mediante Sistemas de Agentes Basados en Conocimiento. Comunicación en congreso. Simposio de Doctorado en Web Semántica. 2007. I Simposio de Doctorado en Web Semántica. Salamanca, 13 de Noviembre de 2007. 1. 10

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Krrt: Knowledge Representation & Reasoning Tutor System. Comunicación en congreso. International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria, Spain. 2007. Computer Aided Systems Theory - Eurocast 2007. 280. 283

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Fits: Formalization With an Intelligent Tutor System. Comunicación en congreso. IV International Conference on Multimedia and Information and Communication Technologies in Education. Santander (ESPAÑA). 2006

Aranda Corral, Gonzalo A.:
Seminario: Construcción de un Sistema Multiagente Mediante Jade. Conferencia en Seminario no publicada

Aranda Corral, Gonzalo A.:
Asistencia al Congreso "Future Internet Assembly and Service Wave". Conferencia Congreso no publicada

Otras Publicaciones
Borrego Diaz,J, Domínguez Mayo, Francisco José, Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:
Diseño e Implementación de un Equipo de Fútbol Virtual Genérico para la Competición Robocup Mediante Técnicas de Sistemas Multiagente. Otras Publicaciones. Español

Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Giráldez Cru,Jesús, Giráldez Cru,Jesús:
Sinnet. Red Social Móvil con Gestión Semántica de la Información Mediante un Sitema Multiagente. Otras Publicaciones. Español

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla