- Normal Default Rules as Epistemic Actions2016 | Faculty of Arts
- LOUGA: learning planning operators using genetic algorithms2018 | Faculty of Mathematics and Physics
- Model of a professor’s didactical action in mathematics education. Professor’s variability and students’ algorithmic flexibility in solving arithmetical problems2006 | Faculty of Education
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics