8 citations · 43 across the 20 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015
Inference From Visible Information And Background Knowledge
Michael Benedikt, Pierre Bourhis, Balder ten Cate +2
We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are visible to a user --- that is, their complete contents are known ---…
cs.LO2015★ 4 cited
Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts…