- Normal Default Rules as Epistemic Actions2016 | Filozofická fakulta
- LOUGA: learning planning operators using genetic algorithms2018 | Matematicko-fyzikální fakulta
- Model of a professor’s didactical action in mathematics education. Professor’s variability and students’ algorithmic flexibility in solving arithmetical problems2006 | Pedagogická fakulta
- On modeling planning problems in tabled logic programming2015 | Matematicko-fyzikální fakulta