A Sound and Complete Backward Chaining Algorithm for Existential Rules

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
Herausgeber (Verlag)Springer Open
Seiten122-138
Seitenumfang17
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Externe IDs

Scopus 85006841280