Recursive Polynomial Reductions for Classical Planning. - Jan Tozicka; Jan Jakubuv; Martin Svatos; Antonín Komenda (ICAPS, 2016)

Stacked Structure Learning for Lifted Relational Neural Networks. - Gustav Sourek; Martin Svatos; Filip Zelezný; Steven Schockaert; Ondrej Kuzelka (ILP, 2017)

Pruning Hypothesis Spaces Using Learned Domain Theories. - Martin Svatos; Gustav Sourek; Filip Zelezný; Steven Schockaert; Ondrej Kuzelka (ILP, 2017)

Cautious Rule-Based Collective Inference. - Martin Svatos (IJCAI, 2019)

Revisiting Neural-Symbolic Learning Cycle. - Martin Svatos; Gustav Sourek; Filip Zelezný (NeSy@IJCAI, 2019)

STRiKE: Rule-Driven Relational Learning Using Stratified k-Entailment. - Martin Svatos; Steven Schockaert; Jesse Davis; Ondrej Kuzelka (ECAI, 2020)

On Discovering Interesting Combinatorial Integer Sequences. - Martin Svatos; Peter Jung; Jan Tóth; Yuyi Wang 001; Ondrej Kuzelka (IJCAI, 2023)