Status QIO: Conjunctive Query Entailment Is Decidable

Birte Glimm, Sebastian Rudolph. Status QIO: Conjunctive Query Entailment Is Decidable. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

Authors

Birte Glimm

This author has not been identified. Look up 'Birte Glimm' in Google

Sebastian Rudolph

This author has not been identified. Look up 'Sebastian Rudolph' in Google