Status QIO: Conjunctive Query Entailment is Decidable
Birte Glimm and Sebastian Rudolph
Details
| Book Title |
Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR−10) |
| Publisher |
AAAI Press/The MIT Press |
| Year |
2010 |
Links
Related pages
|
People |
|
|
Activities |