Knowledge Representation and Reasoning Conference
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Status QIO: Conjunctive Query Entailment Is Decidable

Glimm, Rudolph




Search conference