Strings and holes: An exercise on spatial reasoning

Pedro Cabalar, Paulo Santos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationAdvances in Artificial Intelligence - IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Proceedings
EditorsJaime Simao Sichman, Helder Coelho, Solange Oliveira Rezende
Place of PublicationGermany
PublisherSpringer-Verlag
Pages419-429
Number of pages11
ISBN (Print)9783540454624, 9783540454625
Publication statusPublished - 1 Jan 2006
Externally publishedYes
EventIBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium - Ribeirao Preto, Brazil
Duration: 23 Oct 200627 Oct 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4140 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceIBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium
Country/TerritoryBrazil
CityRibeirao Preto
Period23/10/0627/10/06

Fingerprint

Dive into the research topics of 'Strings and holes: An exercise on spatial reasoning'. Together they form a unique fingerprint.

Cite this