An Occlusion Calculus Based on an Interval Algebra
Paulo Eduardo Santos, Gérard Ligozat, Marjan Safi-Samghabad · 2015
This paper introduces a new qualitative spatial reasoning formalism, called Interval Occlusion Calculus (IOC), that takes into account multiple viewpoints of a scene. This formalism extends Allen's Algebra by including an interval-based definition for spatial occlusion. We prove that IOC is a relation algebra and show complexity results for this formalism.