Ciencias da Computación e Tecnoloxías da Información
Departamento
Centro Universitário da FEI
São Bernardo do Campo, BrasilPublicacións en colaboración con investigadores/as de Centro Universitário da FEI (4)
2020
-
Spatial Reasoning about String Loops and Holes in Temporal ASP
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
-
Spatial reasoning about string loops and holes in temporal asp
17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
2008
-
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
-
Holes, knots and shapes: A spatial ontology of a puzzle
AAAI Spring Symposium - Technical Report