KIT | KIT-Bibliothek | Impressum | Datenschutz

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

Krötzsch, M.; Rudolph, S.


Originalveröffentlichung
DOI: 10.5591/978-1-57735-516-8/IJCAI11-166
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page