Martin Svatos

According to our database, Martin Svatos authored at least 7 papers between 2016 and 2023.

Collaborative distances:

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

2023

On Discovering Interesting Combinatorial Integer Sequences.

Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2020

STRiKE: Rule-Driven Relational Learning Using Stratified k-Entailment.

Martin Svatos, Steven Schockaert, Jesse Davis, Ondrej Kuzelka

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Revisiting Neural-Symbolic Learning Cycle.

Martin Svatos, Gustav Sourek, Filip Zelezný

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Cautious Rule-Based Collective Inference.

Martin Svatos

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2017

Pruning Hypothesis Spaces Using Learned Domain Theories.

Martin Svatos, Gustav Sourek, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

Stacked Structure Learning for Lifted Relational Neural Networks.

Gustav Sourek, Martin Svatos, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016

Recursive Polynomial Reductions for Classical Planning.

Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonín Komenda

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016