5 citations · 5 across the 3 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning
Carl Schultz, Mehul Bhatt
Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning…
cs.AI2015★ 5 cited
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz
The systematic modelling of \emph{dynamic spatial systems} [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided archi…