- Fuzzy Indukce přes zobecněné anotované programy2005 | Matematicko-fyzikální fakulta
- Monotonization of User Preferences2015 | Matematicko-fyzikální fakulta
- Transformation of deductive and inductive tasks between models of logic programming with imperfect information2004 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Induction of Fuzzy and Annotated Logic Programs2007 | Matematicko-fyzikální fakulta