Jáchym Barvínek, Filip Zelezný. A First-Order Axiomatization for Transition Learning with Rich Constraints. In Nicolas Lachiche, Christel Vrain, editors, Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, Orléans, France, September 4-6, 2017. Volume 2085 of CEUR Workshop Proceedings, pages 1-5, CEUR-WS.org, 2017. [doi]
Abstract is missing.