Inproceedings,

A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories

, , , , and .
Logic Program Synthesis and Transformation, 1463, page 300--321. Springer-Verlag, (1998)

Meta data

Tags

Users

  • @pierpaolo.pk81

Comments and Reviews