KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.5591/978-1-57735-516-8/IJCAI11-166

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

Krötzsch, M.; Rudolph, S.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 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, Menlo Park
Seiten 963 - 968
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page