Now showing items 1-1 of 1

    • Inductive logic program synthesis with dialogs 

      Flener, Pierre (Springer, 1996-08)
      DIALOGS (Dialogue-based Inductive and Abductive LOGic program Synthesizer) is a schema-guided synthesizer of recursive logic programs; it takes the initiative and queries a (possibly computationally naive) specifier for ...