Publicaciones en las que colabora con Antonia María Chávez González (5)

2024

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

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

2014

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

2012

  1. Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles

    3rd IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2012 - Proceedings

2010

  1. Mereotopological Patterns for Ontology Evolution and Debugging

    IMAGE-A, Vol. 1, Núm. 3, pp. 151-158

2007

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