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

filter_list Artificial Intelligence

2024

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

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

  2. 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)

2021

  1. Genetic hybrid optimization of a real bike sharing system

    Mathematics, Vol. 9, Núm. 18

  2. Towards a notion of basis for knowledge-based systems—applications

    Mathematics, Vol. 9, Núm. 3, pp. 1-22

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

2014

  1. 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

  2. Simulating language dynamics by means of concept reasoning

    Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

2013

  1. Complex concept lattices for simulating human prediction in sport

    Journal of Systems Science and Complexity, Vol. 26, Núm. 1, pp. 117-136

2012

  1. CONCEPTUAL-BASED REASONING IN MOBILE WEB 2.0 BY MEANS MULTIAGENT SYSTEMS Knowledge Engineering Notes

    ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2

  2. Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes

    ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence

2011

  1. Bounded rationality for data reasoning based on formal concept analysis

    Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

  2. Confidence-based reasoning with local temporal formal contexts

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

2007

  1. KRRT: Knowledge representation and reasoning tutor system

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

  2. 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