vix.ing · top · new · best · stats · spec

König, Mélanie

  1. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
    2013/11/13 by König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure +1 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)