Jindrich Vodrázka

According to our database, Jindrich Vodrázka authored at least 9 papers between 2014 and 2023.

Collaborative distances:

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

2023

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract).

Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2020

On Modelling Multi-Agent Path Finding as a Classical Planning Problem.

Jindrich Vodrázka, Roman Barták, Jirí Svancara

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Automated Acquisition of Control Knowledge for Classical Planners.

Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2016

The Effect of Domain Modeling on Efficiency of Planning.

Roman Barták, Jindrich Vodrázka

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

The Benefit of Control Knowledge and Heuristics During Search in Planning.

Jindrich Vodrázka, Roman Barták

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Domain Modeling for Planning as Logic Programming.

Roman Barták, Jindrich Vodrázka

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

2015

The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain.

Roman Barták, Jindrich Vodrázka

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2015

Searching for Sequential Plans Using Tabled Logic Programming.

Roman Barták, Jindrich Vodrázka

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

On Modeling Formalisms for Automated Planning.

Jindrich Vodrázka, Roman Barták

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014