OrCid: 0000-0003-4318-6573
Researcher ID: B-9618-2012
En esta página voy a colocar los temas relacionados con mi investigación y otras cosas que tengan que ver con eso.
- Publicaciones
- Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Nataliya M. Gulayeva. Logic-Algebraic Methods for Revising Formal Ontologies. AI Systems: Theory and Applications. 2024. DOI.
- Aranda-Corral, Gonzalo A and Borrego-Díaz, Joaquín and Galán-Páez, Juan. FCA-based reasoning for privacy. Logic Journal of the IGPL. 19. 2024 DOI (JCR 2022: Q1 D2 T1 Logic – IF: 1.00).
- Aranda-Corral, G.A., Borrego-Díaz, J. & Galán-Páez, J. Concept learning consistency under three-way decision paradigm. Int. J. Mach. Learn. & Cyber. 13, 2977–2999 (2022). DOI (JCR 2021: Q2 CS and AI). (Prisma)
- Aranda-Corral, G.; Rodríguez, M.; Fernández de Viana, I.; Arenas, M. Genetic Hybrid Optimization of a Real Bike Sharing System. Mathematics 2021, 9(18), 2227; DOI; (JCR 2019: Q1 Mathematics)
- Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez and Daniel Rodríguez-Chavarría. Towards a Notion of Basis for Knowledge-Based Systems – Applications. Enero 2021. https://doi.org/10.3390/math9030252. Mathematics (ISSN 2227-7390). Volume 9 Issue 3. (JCR 2019: Q1 Mathematics) (Prisma)
- Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez. A model of three-way decisions for Knowledge Harnessing. Mayo 2020. https://doi.org/10.1016/j.ijar.2020.02.010 . International Journal of Approximate Reasoning. Volume 120, May 2020, Pages 184-202. (JCR 2019: Q2 Computer Sciences) (Prisma)
- José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón, M. José Hidalgo-Doblado; A logic-algebraic tool for reasoning with Knowledge-Based Systems, Journal of Logical and Algebraic Methods in Programming, Volume 101, 2018, Pages 88-109, ISSN 2352-2208, https://doi.org/10.1016/j.jlamp.2018.09.001. (JCR 2018: Q2 Logic) (Prisma)
Special collection: Top papers selected by the Editorial Board - Aranda-Corral G.A., Borrego-Díaz J., Galán-Páez J., Caballero A.T. (2019) On Experimental Efficiency for Retraction Operator to Stem Basis. In: Cornejo M., Kóczy L., Medina J., De Barros Ruano A. (eds) Trends in Mathematics and Computational Intelligence. Studies in Computational Intelligence, vol 796. Springer, Cham
- Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. July 2016. DOI10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0152. Conference: 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). Jaime de miguel, Juan Galán-Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
- Lecture Notes in Computer Science. September 2014. DOI10.1007/978-3-319-11289-3_29. Conference: International Conference on Computational Collective Intelligence. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Antonio Jimenez-Mavillard
- Phenomenological percolation in conceptual networks associated to Complex Systems. March 2015. DOI10.1109/ICoCS.2014.7060948. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
- Modeling Lexicon Emergence as Concept Emergence in Networks. January 2016. DOI10.1007/978-3-319-29504-6_39. In book: Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. Juan Galán-Páez, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral
- Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. January 2015. DOI10.1007/978-3-319-19719-7_7. In book: 10th International Conference on Soft Computing Models in Industrial and Environmental Applications. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
- Aranda-Corral G. A., Borrego-Díaz J., Galán-Páez J. (2018) Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. In: Bi Y., Kapoor S., Bhatia R. (eds) Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016. IntelliSys 2016. Lecture Notes in Networks and Systems, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-56991-8_19
- Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles. G. A. Aranda-Corral, J. Borrego-Díaz, Antonia M. Chávez-González. CogInfoCom 2012. Kosice. Page(s): 739 – 744. E-ISBN : 978-1-4673-5186-7. Print ISBN: 978-1-4673-5187-4. Digital Object Identifier : 10.1109/CogInfoCom.2012.6421949
- Scale-Free Structure in Concept Lattices Associated to Complex Systems.G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán-Páez. ICCS 2012. Agadir. Morocco.
- Complex Concept Lattices for Simulating Human Prediction in Sport. Journal of Systems Science and Complexity (JCR). G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán-Páez. (20 pág.). 2012. Aceptado
- G. A. Aranda-Corral, J. Borrego-Díaz, J. Giráldez-Cru: Agent-mediated shared conceptualizations in tagging services. Multimedia Tools and Applications (JCR(2011): 0.617), DOI: 10.1007/s11042-012-1146-5, http://www.springerlink.com/content/b0733j74166q7148/ (2012)
- SmartCities. Barcelona
- On the Complexity of Shared Conceptualizations. ICAISC 2012. Zakopane. Polonia.
- Conceptual-Based Reasoning in Mobile Web 2.0 by means of Multiagent Systems – Knowledge Engineering notes. ICAART 2012. Vilamoura, Portugal.
- Theoretical Foundations of a Formal Model for Context Reasoning in Multiagent Systems by means Conservative Retraction – UCAmI 2011 – Riviera Maya, México.
- Data-in-the-cloud City. 7th Virtual Cities and Territories. Lisboa 2011
- Modelling Urban Dynamics as Complex Systems – (ECCS) Viena 2011
- Bounded Rationality for Data Reasoning based on Formal Concept Analysis – (DEXA) DALI 2011. Toulousse.
- Selecting Attributes for Sport Forecasting using Formal Concept Analysis – (ECAL) CS-SPORT 2011. París.
- Confidence-Based Reasoning with Local Temporal Formal Contexts – IWANN 2011 – Torremolinos. Málaga.
- Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts. – (Cap. Libro) 2011
- Social Ontology Documentation for Knowledge Externalization – Fourth Metadata and Semantics Research Conference. 2010 – Alcalá de Henares.
- Mereotopological Analysis of Formal Concepts in Security Ontologies – CISIS 2010 (B) – San Sebastián.
- Reconciling Knowledge in Social Tagging Web Services. Lecture Notes in Artificial Intelligence. (Bibtex)
- Mereotopological Patterns for Ontology Evolution and Debugging.
- Paella: A support tool for debugging of ontologies. CastroUrdiales 2010.
- Sistema certificado de decisión proposicional basado en polinomios. CLAI 2009. (CAEPIA)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. Calculemus 2009 – Canadá
- Toward Semantic Mobile Web 2.0 through Multiagent Systems. (C) AMSTA-KES 2009 – Suecia
- (Re)Organizing web search results by means of semantic and visual tools. Future of Web Search. Ibiza 2009
- FOLMO: First Order Logic in Moodle. JENUI 2009.
- Extending Attribute Exploration by Means of Boolean Derivatives. CLA 2008.
- Tratamiento de la semántica emergente mediante sistemas de agentes basados en conocimiento. CAEPIA 2007. Simposio de Doctorado.
- Learning Services Based on Formal Concept Reasoning. IADIS 2007
- KRRT: Knowledge Representation and Reasoning Tutor System. Eurocast 2007
- Ontologías bajo Creative Commons. El futuro del conocimiento en la Web. Conf. Internacional Software Libre 2007 (Link externo)
- FITS: Formalization with an Intelligent Tutor System. MICTE 2006
- Asistencia a Congresos
- Gonzalo A. Aranda-Corral, José Antonio Alonso-Jiménez. Are LLM’s sound for Logic?. Oral Presentation. WoTFU 2024. February 9nd-11th, Cádiz. Spain
- Planetic 2021
- CISIS-2021
- Gonzalo A. Aranda-Corral: Comunicación Atlas de terapias urbanas en Andalucía. IV Seminario Internacional de Regeneración de Barrios: Investigación, Gestión, Acción. November 18-19th, 2019. Sevilla
- Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González and Juan Galán-Páez. TinyPaella: A formal tool for FCA context’s debugging. Oral Presentation. ESCIM 2019. October 2nd-5th, Toledo. Spain
- “FCA-based Recommender Systems”. Fuzzy Formal Tools for Non Cannonical Reasoning. November 3rd to 5th. Vejer de la Frontera
- Gonzalo A. Aranda-Corral, Joaquín, Borrego-Díaz, Juan Galán-Páez and Alejandro Trujillo Caballero. On experimental efficiency for retraction operator to stem basis. Oral Presentation. 9th European Symposium on Computational Intelligence and Mathematics. Faro (Portugal), October 4th – 7th, 2017. ESCIM 2017. Faro
- SmartCities 2012. Barcelona
- ICAISC 2012. Zakopane. Polonia.
- ICAART 2012. Vilamoura, Portugal.
- UCAmI 2011 – Riviera Maya, México.
- 7th Virtual Cities and Territories. Lisboa 2011
- European Conference on Complex Systems. Viena 2011
- (DEXA) DALI 2011
- (European Conference on Artificial Life) CS-SPORT 2011
- IWANN 2011. Torremolinos. Málaga
- iFCA 2011. Dresden. Alemania, 20-25 Febrero 2011.(www)
- CISIS 2010.(B) León.
- HAIS 2010.(C) – San Sebastián.
- II Jornadas de Multiagentes. Sevilla.
- Jornadas ESIBOT. Sevilla.
- Calculemus 2009. Grand Bend, Ontario (CANADA), 5-12 July 2009.
- I Foro de Proyectos de Andaluces en Movilidad. Proyecto Minerva – Expositor – Sevilla 2009
- AMSTA KES (C) – 2009.
- VoCamp – Ibiza 2009
- I Foro de Proyectos Andaluces en Movilidad. Mowento
- CLA 2008 – Olomouc, Octubre 2008
- Future Internet – Madrid, Diciembre 2008
- Conferencia Sofware Libre – Badajoz 2007
- Eurocast 2007 – Gran Canarias
- Sevilla 2006
- Organización de Congresos
- ISAIM 2022: Special Session: Formalization in Mathematics.
- AISC 2014.
- CLA 2010
- Week Arithmetic days
- II Jornadas de Doctorado
- I Jornadas de Doctorado
- Proyectos
- Physics On the SHoulders of Artificial Intelligence (POSH-AI).
- IP: Francisco Pérez Bernal
- Ámbito: Plan Propio
- Referencia: EPIT1182023
- Cantidad: 63.210 €
- CIUDADES INTELIGENTES EN ACCIÓN: MOVILIDAD EFICIENTE MEDIANTE IOT DE BAJO CONSUMO, BIG DATA Y SOFT COMPUTING. Plan Propio Universidad de Granada. 15000 euros. Investigador. (link)
- Physics On the SHoulders of Artificial Intelligence (POSH-AI).
- Estancias en Centros de Investigación
- 2023 – University of Edinburgh – AIA Institute. Escocia
- 2023 – Glasgow Caledonian University – KA131 Erasmus. Escocia
- 2011 – CulturPlex Lab. University of Western Ontario. Canada.
- – Summer school Multiagents System. Annecy. Francia
- – Dpt. Computer Sciences. University of Dresden. Alemania
- Talleres/Charlas/Seminarios
- Seminario Edinburgh – Debugging knowledge by means of a spatial metaphor – 14/06/2023 – Edinburgh
- Seminario SIAUS – Análisis de datos para Smart Cities. Plataforma Open-Bicis. Ponente. 01/06/2023 – Sevilla
- Taller JADE – II Jornadas Multiagentes. Sevilla
- “Smart City Day” Huelva. Ponente. 29/05/2014 (enlace)
- Revisor:
- Cognitive AI 2023 (Parte del IJCLR 2023)
- International Journal of Approximate Reasoning. (2019)
- CaSon 2011
- AmI 2010
- IEA-AIE 2010
- HAIS 2010
- Libro: Mobile Computing
- Asistencia a Cursos
- Desarrollo sobre plataforma Apple iOS. Sevilla, 7-10 de Febrero de 2011