research
∙
08/02/2023
Spatial Intelligence of a Self-driving Car and Rule-Based Decision Making
In this paper we show how rule-based decision making can be combined wit...
share
research
∙
08/01/2021
Deciding boundedness of monadic sirups
We show that deciding boundedness (aka FO-rewritability) of monadic sing...
research
∙
06/07/2020
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Aiming to understand the data complexity of answering conjunctive querie...
research
∙
03/12/2020
On monotonic determinacy and rewritability for recursive queries and views
A query Q is monotonically determined over a set of views if Q can be ex...
research
∙
05/23/2019
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Our concern is the axiomatisation problem for modal and algebraic logics...
research
∙
06/11/2014
