A Sound and Complete Backward Chaining Algorithm for Existential Rules
Aus International Center for Computational Logic
A Sound and Complete Backward Chaining Algorithm for Existential Rules
Mélanie KönigMélanie König, Michel LeclèreMichel Leclère, Marie-Laure MugnierMarie-Laure Mugnier, Michaël ThomazoMichaël Thomazo

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules
RR, 122-138, 2012
A Sound and Complete Backward Chaining Algorithm for Existential Rules
RR, 122-138, 2012
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{KLMT2012,
author = {M{\'{e}}lanie K{\"{o}}nig and Michel Lecl{\`{e}}re and
Marie-Laure Mugnier and Micha{\"{e}}l Thomazo},
title = {A Sound and Complete Backward Chaining Algorithm for Existential
Rules},
booktitle = {RR},
year = {2012},
pages = {122-138}
}