Reasoning about visibility

Citations of this article
Mendeley users who have this article in their library.


We consider properties of sequences of spatial regions, as seen from a viewpoint. In particular, we concentrate on two types of regions: (1) general domains in which a region is any subset of the space, and (2) axis-parallel domains, where the regions are boxes in an N-dimensional space. We introduce binary relations allowing to express properties of these sequences and present two approaches to process them. First, we show that constraints on these relations can be solved in polynomial time for general domain and that the same problem is NP-complete in the axis-parallel case. Second, we introduce a modal logic on these relations, called Visibility Logic, and show that model-checking on a finite sequence of regions can be done in polynomial time (both in the general and axis-parallel cases). Finally, we present applications to image processing and firewall filtering. © 2012 Elsevier B.V. All rights reserved.

Author supplied keywords




Villemaire, R., & Hallé, S. (2012). Reasoning about visibility. Journal of Applied Logic, 10(2), 163–178.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free