- Planning as tabled logic programming2015 | Matematicko-fyzikální fakulta
- On modeling planning problems in tabled logic programming2015 | 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
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Matematicko-fyzikální fakulta
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta