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

filter_list Computational Theory and Mathematics

2024

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

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

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