Publikace
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta
- An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner2016 | Matematicko-fyzikální fakulta
- Searching for Sequential Plans Using Tabled Logic Programming2015 | Matematicko-fyzikální fakulta
- Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning2022 | Matematicko-fyzikální fakulta
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- On Modelling Multi-Agent Path Finding as a Classical Planning Problem +12020 | Matematicko-fyzikální fakulta
- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Matematicko-fyzikální fakulta
- Domain Modeling for Planning as Logic Programming2016 | Matematicko-fyzikální fakulta
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Matematicko-fyzikální fakulta
- On Modeling Formalisms for Automated Planning2014 | Matematicko-fyzikální fakulta
Loading network view...