conftrace_

finite controllability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

finite model semantics (1) query entailment (1) knowledge base satisfiability (1) conjunctive query answering (1) finite entailment (1) finite model (1) datalog reasoning (1) existential rule (1) query answering (1) description logic (1)

Papers

Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018