A First-Order Axiomatization for Transition Learning with Rich Constraints.

Jchym Barvnek, Filip Zelezn

Browse the full ILP paper archive.