This work investigates the spatial knowledge of a domaincomposed of non-trivial objects such as strings and holed objects. To this aim, we consider the formalisation of puzzlelike examples as the starting point for the development ofKnowledge Representation systems. The present paper concentrates on the representation of "loops" (or loop-like regions) that can be formed by a flexible string, and that mayplay an essential part in the solution of physical problems involving strings.
|Number of pages||7|
|Publication status||Published - May 2013|
|Event||11th International Symposium on Logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013 - Famagusta, Cyprus|
Duration: 27 May 2013 → 29 May 2013
|Conference||11th International Symposium on Logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013|
|Period||27/05/13 → 29/05/13|