Publicacións en colaboración con investigadores/as de Centro Universitário da FEI (4)

2020

  1. Spatial Reasoning about String Loops and Holes in Temporal ASP

    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING

  2. Spatial reasoning about string loops and holes in temporal asp

    17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

2008

  1. The space within fisherman's folly: Playing with a puzzle in mereotopology

    Spatial Cognition and Computation, Vol. 8, Núm. 1-2, pp. 47-64

2007

  1. Holes, knots and shapes: A spatial ontology of a puzzle

    AAAI Spring Symposium - Technical Report