Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2011 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-57735-514-4 KITopen-ID: 1000026452 |
| Erschienen in | Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, 16 - 22 July 2011. Ed.: Toby Walsh |
| Verlag | AAAI Press |
| Seiten | 963 - 968 |