5 citations · 5 across the 5 of their papers we have counts for
5 papers · 1 filter
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga +1
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge repres…
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…
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…
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…