Spatial occlusion within an interval algebra

Gérard Ligozat, Paulo E. Santos

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper introduces a new qualitative spatial reasoning formalism, called Interval Occlusion Calculus (IOC), Thai: takes into account multiple (distinct) viewpoints of a scene. This formalism extends Allen's Interval Algebra by including an interval-based definition for spatial occlusion.

Original languageEnglish
Title of host publicationLogical Formalizations of Commonsense Reasoning
Subtitle of host publicationPapers from the AAAI Spring Symposium, Technical Report
PublisherAI Access Foundation
Number of pages4
ISBN (Electronic)9781577357087
Publication statusPublished - 1 Jan 2015
Externally publishedYes
Event2015 AAAI Spring Symposium - Palo Alto, United States
Duration: 23 Mar 201525 Mar 2015

Publication series

NameAAAI Spring Symposium - Technical Report


Conference2015 AAAI Spring Symposium
CountryUnited States
CityPalo Alto

Fingerprint Dive into the research topics of 'Spatial occlusion within an interval algebra'. Together they form a unique fingerprint.

  • Cite this

    Ligozat, G., & Santos, P. E. (2015). Spatial occlusion within an interval algebra. In Logical Formalizations of Commonsense Reasoning: Papers from the AAAI Spring Symposium, Technical Report (pp. 103-106). (AAAI Spring Symposium - Technical Report; Vol. SS-15-04). AI Access Foundation.