GONZALO ANTONIO
ARANDA CORRAL
PROFESOR CONTRATADO DOCTOR
Publications (51) GONZALO ANTONIO ARANDA CORRAL publications View referenced research data.
2024
-
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
AI (Switzerland), Vol. 5, Núm. 2, pp. 746-789
-
Atlas potencial de terapias urbanas
Ediciones del Genal
-
FCA-based reasoning for privacy
Logic Journal of the IGPL, Vol. 32, Núm. 2, pp. 224-242
2022
-
Concept learning consistency under three-way decision paradigm
International Journal of Machine Learning and Cybernetics, Vol. 13, Núm. 10, pp. 2977-2999
-
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)
2021
-
Genetic hybrid optimization of a real bike sharing system
Mathematics, Vol. 9, Núm. 18
-
Towards a notion of basis for knowledge-based systems—applications
Mathematics, Vol. 9, Núm. 3, pp. 1-22
2020
-
A model of three-way decisions for Knowledge Harnessing
International Journal of Approximate Reasoning, Vol. 120, pp. 184-202
2019
-
On experimental efficiency for retraction operator to stem basis
Studies in Computational Intelligence (Springer Verlag), pp. 73-79
2018
-
A logic-algebraic tool for reasoning with Knowledge-Based Systems
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 88-109
-
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
Lecture Notes in Networks and Systems (Springer), pp. 243-260
2016
-
Modeling lexicon emergence as concept emergence in networks
Advances in Intelligent Systems and Computing
-
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
-
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
-
IaBastos: An intelligent marketplace for agricultural products
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
-
Towards a soft evaluation and refinement of tagging in digital humanities
Advances in Intelligent Systems and Computing
2014
-
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)
-
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
-
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)
-
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