1 code implementation • 15 Aug 2022 • 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 reasoning.
1 code implementation • 12 Jan 2022 • Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years.
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 • 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).
