no code implementations • 13 Mar 2020 • Arjun Balaji, Lachlan Kelsey, Kamran Majeed, Carl Schultz, Barry Doyle
We show that our developments lead to a model, DeepCap, that is on par with state-of-the-art machine learning methods in terms of segmentation quality and robustness, while using as little as 12% of the parameters.
no code implementations • 17 May 2018 • Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Wałęga
We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components.
no code implementations • 3 Dec 2017 • Jakob Suchan, Mehul Bhatt, Przemysław Wałęga, Carl Schultz
We present the formal framework, its general implementation as a (declarative) method in answer set programming, and an example application and evaluation based on two diverse video datasets: the MOTChallenge benchmark developed by the vision community, and a recently developed Movie Dataset.
no code implementations • 9 Aug 2016 • Jakob Suchan, Mehul Bhatt, Carl Schultz
We present an inductive spatio-temporal learning framework rooted in inductive logic programming.
no code implementations • 25 Jun 2016 • Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning -a crucial requirement within dynamic spatial systems- based on Answer Set Programming Modulo Theories (ASPMT).
no code implementations • 16 Jun 2015 • 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 within standard knowledge representation and reasoning (KR) based methods (e. g., logic programming and derivatives).
no code implementations • 16 Jun 2015 • Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz
We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning ---a crucial requirement within dynamic spatial systems-- based on Answer Set Programming Modulo Theories (ASPMT).
no code implementations • 22 Jun 2013 • Mehul Bhatt, Jakob Suchan, Carl Schultz
We position a narrative-centred computational model for high-level knowledge representation and reasoning in the context of a range of assistive technologies concerned with "visuo-spatial perception and cognition" tasks.