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

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

collaborators
Showing cs.AIShow all

8 papers · 1 filter

cs.AI2020

Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics

Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan

We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking in the backdrop of autonomous driving. A general neurosymbo…

cs.AI20201 cited

Towards a Human-Centred Cognitive Model of Visuospatial Complexity in Everyday Driving

Vasiliki Kondyli, Mehul Bhatt, Jakob Suchan

We develop a human-centred, cognitive model of visuospatial complexity in everyday, naturalistic driving conditions. With a focus on visual perception, the model incorporates quant…

cs.AI2019

Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving

Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan

We demonstrate the need and potential of systematically integrated vision and semantics} solutions for visual sensemaking (in the backdrop of autonomous driving). A general method…

cs.AI2018

Answer Set Programming Modulo `Space-Time'

Carl Schultz, Mehul Bhatt, Jakob Suchan +1

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal compone…

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…

cs.AI2016

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…