257 citations · 486 across the 35 of their papers we have counts for
1 paper · 1 filter
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter +1
We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedne…