activity
20152018
most citedASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

5 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2017 · cs.AIShow all

1 paper · 2 filters

cs.AI2017

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…