CABALA, P.Paulo Santos2022-01-122022-01-122006-10-23CABALA, P.; SANTOS, P. Strings and holes: An exercise on spatial reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 4140, p. 419 - 429, October, 2006.1611-3349https://repositorio.fei.edu.br/handle/FEI/4358This 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. © Springer-Verlag Berlin Heidelberg 2006.Acesso RestritoArtigo de evento10.1007/11874850_46