A Sound and Complete Backward Chaining Algorithm for Existential Rules

Aus International Center for Computational Logic
Version vom 27. Oktober 2014, 18:31 Uhr von Long Cheng (Diskussion | Beiträge) (1 Version: Automatically imported publication data from DBLP)
Wechseln zu:Navigation, Suche

Toggle side column

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
A Sound and Complete Backward Chaining Algorithm for Existential Rules


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
@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}
}