KIT | KIT-Bibliothek | Impressum | Datenschutz

Status QIO: Conjunctive Query Entailment is Decidable

Glimm, Birte; Rudolph, Sebastian



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-1-57735-451-2
KITopen-ID: 1000022576
Erschienen in Proceedings / Twelfth International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ontario, Canada, May 9 - 13, 2010. Hrsg.:Fangzhen Lin
Verlag AAAI Press, Menlo Park (Calif.)
Seiten 225-235
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page