Publications (51) GONZALO ANTONIO ARANDA CORRAL publications View referenced research data.

2024

  1. A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology

    AI (Switzerland), Vol. 5, Núm. 2, pp. 746-789

  2. Atlas potencial de terapias urbanas

    Ediciones del Genal

  3. FCA-based reasoning for privacy

    Logic Journal of the IGPL, Vol. 32, Núm. 2, pp. 224-242

2022

  1. Concept learning consistency under three-way decision paradigm

    International Journal of Machine Learning and Cybernetics, Vol. 13, Núm. 10, pp. 2977-2999

  2. Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020

  1. A model of three-way decisions for Knowledge Harnessing

    International Journal of Approximate Reasoning, Vol. 120, pp. 184-202

2019

  1. On experimental efficiency for retraction operator to stem basis

    Studies in Computational Intelligence (Springer Verlag), pp. 73-79

2018

  1. A logic-algebraic tool for reasoning with Knowledge-Based Systems

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 88-109

  2. Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data

    Lecture Notes in Networks and Systems (Springer), pp. 243-260

2016

  1. Modeling lexicon emergence as concept emergence in networks

    Advances in Intelligent Systems and Computing

  2. Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City

    Proceedings - 13th IEEE International Conference on Ubiquitous Intelligence and Computing, 13th IEEE International Conference on Advanced and Trusted Computing, 16th IEEE International Conference on Scalable Computing and Communications, IEEE International Conference on Cloud and Big Data Computing, IEEE International Conference on Internet of People and IEEE Smart World Congress and Workshops, UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld 2016

  3. Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City

    2016 INT IEEE CONFERENCES ON UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING AND COMMUNICATIONS, CLOUD AND BIG DATA COMPUTING, INTERNET OF PEOPLE, AND SMART WORLD CONGRESS (UIC/ATC/SCALCOM/CBDCOM/IOP/SMARTWORLD)

2015

  1. IaBastos: An intelligent marketplace for agricultural products

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

  2. Towards a soft evaluation and refinement of tagging in digital humanities

    Advances in Intelligent Systems and Computing

2014

  1. Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedings

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Emergent concepts on knowledge intensive processes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8733, pp. 282-291

  3. Extending qualitative spatial theories with emergent spatial concepts: An automated reasoning approach

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Extracción y organización del conocimiento de etiquetados: aplicación a etiquetados en repositorios digitales sobre arte

    Humanidades Digitales: desafíos, logros y perspectivas de futuro (SIELAE), pp. 87-100