Library learning is the process of building a library of common functionalities from a given
set of programs. Typically, this process is applied in the context of aiding program synthesis …

Generalization is an important ability that allows humans to tackle complex problems by
identifying common problem structures and omitting irrelevant details. Whereas such ability …

Knowledge refactoring compresses a logic program by introducing new rules. Current
approaches struggle to scale to large programs. To overcome this limitation, we introduce a …

The journey captured by this dissertation centers around knowledge compilation, model
counting, and their role within state-of-the-art inference algorithms for probabilistic logic …

With computational modelling and simulation taking equal reign, next to theory and
experimentation, as a paradigm of scientific discovery, many formal languages for …