- Fuzzy induktivní logické programování2006 | Matematicko-fyzikální fakulta
- Logické programování pro kombinatorické problémy2010 | Matematicko-fyzikální fakulta
- Indukce Fuzzy a Anotovaných Logických Programů2007 | Matematicko-fyzikální fakulta
- Planning as tabled logic programming2015 | Matematicko-fyzikální fakulta
- Kombinatorika v logickém programování: implementace a aplikace2006 | Matematicko-fyzikální fakulta
- Induction of Fuzzy and Annotated Logic Programs2007 | Matematicko-fyzikální fakulta
- Domain Modeling for Planning as Logic Programming2016 | Matematicko-fyzikální fakulta
- On Generating Templates for Hypothesis in Inductive Logic Programming2011 | Matematicko-fyzikální fakulta
- Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement2011 | Matematicko-fyzikální fakulta
- Použití splňování podmínek pro učení se hypotéz v induktivním logickém programování2010 | Matematicko-fyzikální fakulta
- On modeling planning problems in tabled logic programming2015 | Matematicko-fyzikální fakulta
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Matematicko-fyzikální fakulta
- Modely s podmínkami pro uvažování o unifikaci v induktivním logickém programování2010 | Matematicko-fyzikální fakulta
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Matematicko-fyzikální fakulta
- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms2012 | Matematicko-fyzikální fakulta
- Formulace problému konzistence vzoru v induktivním logickém programování metodou splňování podmínek2010 | 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
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta
- Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station2016 | Matematicko-fyzikální fakulta
- Monads in Logic Programming2002 | Publikace bez příslušnosti k fakultě
- Binary Speed Up for Logic Programs2000 | Matematicko-fyzikální fakulta
- 18. mezinárodní konference o Induktivním Logickém ProgramováníPublikace bez příslušnosti k fakultě
- Dynamic Global Constraints in Constraint Logic ProgrammingPublikace bez příslušnosti k fakultě
- Searching for Sequential Plans Using Tabled Logic Programming2015 | Matematicko-fyzikální fakulta
- Schema-Based Transformations of Logic Programs in lambdaProlog2002 | Publikace bez příslušnosti k fakultě
- Speedup of logic programs by binarization and partial deduction2004 | Matematicko-fyzikální fakulta
- Logic Program Transformations and Intelligent Agents1999 | 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
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Matematicko-fyzikální fakulta
- Formulating the template ILP consistency problem as a constraint satisfaction problem2013 | Matematicko-fyzikální fakulta