Abstract
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.
Original language | English |
---|---|
Number of pages | 7 |
Publication status | Published - May 2013 |
Externally published | Yes |
Event | 11th International Symposium on Logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013 - Famagusta, Cyprus Duration: 27 May 2013 → 29 May 2013 |
Conference
Conference | 11th International Symposium on Logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013 |
---|---|
Country/Territory | Cyprus |
City | Famagusta |
Period | 27/05/13 → 29/05/13 |