@inproceedings{06d9a7f07467461e99001554ecb93d28,
title = "Strings and holes: An exercise on spatial reasoning",
abstract = "This paper investigates the challenging problem of encoding the knowledge and reasoning processes involved in the common sense manipulation of physical objects. In particular we provide a formalisation of a domain involving rigid objects, holes and a string within a reasoning about actions and change framework. Therefore, this work investigates the formalisation and reasoning about flexible objects and void space (holes) in a single domain. Preliminary results of automated reasoning within this domain are also presented.",
author = "Pedro Cabalar and Paulo Santos",
year = "2006",
month = jan,
day = "1",
language = "English",
isbn = "9783540454624",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "419--429",
editor = "Sichman, {Jaime Simao} and Helder Coelho and Rezende, {Solange Oliveira}",
booktitle = "Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Proceedings",
note = "IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium ; Conference date: 23-10-2006 Through 27-10-2006",
}