Search Results for author: Michael Vanden Boom

Found 1 papers, 0 papers with code

Query Answering with Transitive and Linear-Ordered Data

no code implementations17 Feb 2022 Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations.

Relation

Cannot find the paper you are looking for? You can Submit a new open access paper.