Status QIO: Conjunctive Query Entailment is Decidable
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 225-235 |