Jáchym Barvínek

According to our database, Jáchym Barvínek authored at least 2 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Automatic Conjecturing of P-Recursions Using Lifted Inference.

Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Zelezný, Ondrej Kuzelka

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

2017

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

Jáchym Barvínek, Filip Zelezný

Proceedings of the Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, 2017