Reasoning about visibility

DOI10.1016/j.jal.2012.02.001zbMath1237.68209OpenAlexW2076905458MaRDI QIDQ420853

Roger Villemaire, Sylvain Hallé

Publication date: 23 May 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2012.02.001

zbMATH Keywords

modal logicvisibilityspace

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computing methodologies for image processing (68U10) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• FIREMAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Structured firewall design
• Individuals and points
• Box sort, a multidimensional binary sorting method for rectangular boxes, used for quick range searching
• A calculus of individuals based on 'connection'
• Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• Decomposable searching problems
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• A special planar satisfiability problem and a consequence of its NP- completeness
• Many-dimensional modal logics: theory and applications
• Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing
• Lower bounds for orthogonal range searching: I. The reporting case
• Handbook of Spatial Logics
• The Complexity of the Partial Order Dimension Problem
• Optimal Point Location in a Monotone Subdivision
• Multidimensional binary search trees used for associative searching
• Complexity and algorithms for reasoning about time
• Computing and Verifying Depth Orders
• Depth-First Search and Linear Graph Algorithms
• Data and Applications Security XIX