Thesis Topics

Browse available thesis topics from our institutes.

Sort by

Thesis Level

Research Areas

foundations

Institutes

Select institutes...

Status

Date Range

Start

End

1 filters

Showing 1 of 1 thesis topics

Show:

Dodging the Grounding Bottleneck in Program Synthesis

Inductive Logic Programming (ILP) is a form of symbolic machine learning, where logic programs (e.g., Prolog or ASP) are synthesized from input/output examples. These synthesis tasks are notorious for their large search space. Modern approaches use a conflict-driven search to constrain this search iteratively. This procedure is usually implemented using constraint programming solvers operating on […]

Diedrich Wolter