Strings and holes: An exercise on spatial reasoning
dc.contributor.author | CABALA, P. | |
dc.contributor.author | Paulo Santos | |
dc.contributor.authorOrcid | https://orcid.org/0000-0001-8484-0354 | |
dc.date.accessioned | 2022-01-12T22:05:43Z | |
dc.date.available | 2022-01-12T22:05:43Z | |
dc.date.issued | 2006-10-23 | |
dc.description.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. © Springer-Verlag Berlin Heidelberg 2006. | |
dc.description.firstpage | 419 | |
dc.description.lastpage | 429 | |
dc.description.volume | 4140 LNAI | |
dc.identifier.citation | CABALA, 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. | |
dc.identifier.doi | 10.1007/11874850_46 | |
dc.identifier.issn | 1611-3349 | |
dc.identifier.uri | https://repositorio.fei.edu.br/handle/FEI/4358 | |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.rights | Acesso Restrito | |
dc.title | Strings and holes: An exercise on spatial reasoning | |
dc.type | Artigo de evento | |
fei.scopus.citations | 11 | |
fei.scopus.eid | 2-s2.0-33751369832 | |
fei.scopus.subject | Reasoning processes | |
fei.scopus.subject | Void space | |
fei.scopus.updated | 2024-07-01 | |
fei.scopus.url | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33751369832&origin=inward |