5 citations · 5 across the 5 of their papers we have counts for
7 papers
Seminaive Materialisation in DatalogMTL
Dingmin Wang, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
DatalogMTL is an extension of Datalog with metric temporal operators that has found applications in temporal ontology-based data access and query answering, as well as in stream re…
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…
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed w…
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…