- Fuzzy Inductive Logic Programming2006 | Faculty of Mathematics and Physics
- Logic programming for combinatorial problems2010 | Faculty of Mathematics and Physics
- Induction of Fuzzy and Annotated Logic Programs +12007 | Faculty of Mathematics and Physics
- Planning as tabled logic programming2015 | Faculty of Mathematics and Physics
- Combinatorics in Logic Programming: Implementations and Applications2006 | Faculty of Mathematics and Physics
- Domain Modeling for Planning as Logic Programming2016 | Faculty of Mathematics and Physics
- On Generating Templates for Hypothesis in Inductive Logic Programming2011 | Faculty of Mathematics and Physics
- Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement2011 | Faculty of Mathematics and Physics
- Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2010 | Faculty of Mathematics and Physics
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Faculty of Mathematics and Physics
- Constraint Models for Reasoning on Unification in Inductive Logic Programming2010 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Faculty of Mathematics and Physics
- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms2012 | Faculty of Mathematics and Physics
- Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem2010 | Faculty of Mathematics and Physics
- An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner2016 | Faculty of Mathematics and Physics
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Faculty of Mathematics and Physics
- Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station2016 | Faculty of Mathematics and Physics
- Monads in Logic Programming2002 | Publication without faculty affiliation
- Binary Speed Up for Logic Programs2000 | Faculty of Mathematics and Physics
- 18th International Conference on Inductive Logic ProgrammingPublication without faculty affiliation
- Dynamic Global Constraints in Constraint Logic ProgrammingPublication without faculty affiliation
- Searching for Sequential Plans Using Tabled Logic Programming2015 | Faculty of Mathematics and Physics
- Schema-Based Transformations of Logic Programs in lambdaProlog2002 | Publication without faculty affiliation
- Speedup of logic programs by binarization and partial deduction2004 | Faculty of Mathematics and Physics
- Logic Program Transformations and Intelligent Agents1999 | Faculty of Mathematics and Physics
- Transformation of deductive and inductive tasks between models of logic programming with imperfect information2004 | Faculty of Mathematics and Physics, Central Library of Charles University
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Faculty of Mathematics and Physics
- Formulating the template ILP consistency problem as a constraint satisfaction problem2013 | Faculty of Mathematics and Physics