5 citations · 5 across the 3 of their papers we have counts for
4 papers
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects
Jakob Suchan, Mehul Bhatt, Przemysław Wałęga +1
We propose a hybrid architecture for systematically computing robust visual explanation(s) encompassing hypothesis formation, belief revision, and default reasoning with video data…
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture de…
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…
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…