Inference from visible information and background knowledge
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 — while the remaining relations are invisible. We also have a background theory — invariants given by logical sentences — whic...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Association for Computing Machinery
2021
|