A First-Order Axiomatization for Transition Learning with Rich Constraints. - Jáchym Barvínek; Filip Zelezný (ILP (Late Breaking Papers), 2017)

Automatic Conjecturing of P-Recursions Using Lifted Inference. - Jáchym Barvínek; Timothy van Bremen; Yuyi Wang 001; Filip Zelezný; Ondrej Kuzelka (ILP, 2021)