John Ahlgren

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present NrSample, a framework for program synthesis in inductive logic programming. NrSample uses propositional logic constraints to exclude undesirable candidates from the search. This is achieved by representing constraints as propositional formulae and solving the associated constraint satisfaction problem. We present a variety of such constraints:(More)
  • 1