Jindrich Vodrázka

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract).
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2022
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning.
IEEE Trans. Knowl. Data Eng., 2022

2020
On Modelling Multi-Agent Path Finding as a Classical Planning Problem.
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

Automated Acquisition of Control Knowledge for Classical Planners.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2017
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program., 2017

2016
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner.
Fundam. Informaticae, 2016

The Effect of Domain Modeling on Efficiency of Planning.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

The Benefit of Control Knowledge and Heuristics During Search in Planning.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Domain Modeling for Planning as Logic Programming.
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.
Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2015

Searching for Sequential Plans Using Tabled Logic Programming.
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.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014


  Loading...