Publicaciones en las que colabora con Isabel Navarrete Sánchez (4)

2013

  1. Spatial reasoning with rectangular cardinal relations: The convex tractable subalgebra

    Annals of Mathematics and Artificial Intelligence, Vol. 67, Núm. 1, pp. 31-70

2007

  1. A new modal logic for reasoning about space: Spatial propositional neighborhood logic

    Annals of Mathematics and Artificial Intelligence, Vol. 51, Núm. 1, pp. 1-25

  2. Consistency checking of basic cardinal constraints over connected regions

    IJCAI International Joint Conference on Artificial Intelligence

  3. Using temporal logic for spatial reasoning: Temporalized propositional neighborhood logic

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