research
∙
03/13/2020
Coronary Artery Segmentation from Intravascular Optical Coherence Tomography Using Deep Capsules
The segmentation and analysis of coronary arteries from intravascular op...
share
research
∙
05/17/2018
Answer Set Programming Modulo `Space-Time'
We present ASP Modulo `Space-Time', a declarative representational and c...
research
∙
12/03/2017
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects
We propose a hybrid architecture for systematically computing robust vis...
research
∙
08/09/2016
Deeply Semantic Inductive Spatio-Temporal Learning
We present an inductive spatio-temporal learning framework rooted in ind...
research
∙
06/25/2016
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
The systematic modelling of dynamic spatial systems is a key requirement...
research
∙
06/16/2015
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning
Declarative spatial reasoning denotes the ability to (declaratively) spe...
research
∙
06/16/2015
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
The systematic modelling of dynamic spatial systems [9] is a key require...
research
∙
06/22/2013
