76 citations · 512 across the 33 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…