13 citations · 30 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 13 cited
A decidable weakening of Compass Logic based on cone-shaped cardinal directions
Angelo Montanari, Gabriele Puppis, Pietro Sala
We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition…
cs.LO2015
Inference From Visible Information And Background Knowledge
Michael Benedikt, Pierre Bourhis, Balder ten Cate +2
We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are visible to a user --- that is, their complete contents are known ---…