Publications
- Encoding of Planning Problems and their Optimizations in Linear Logic +12009 | Faculty of Mathematics and Physics
- Encoding of Planning Problems and Their Optimizations in Linear Logic2009 | Faculty of Mathematics and Physics
- MaLARea SG1 - Machine learner for automated reasoning with semantic guidance2008 | Faculty of Mathematics and Physics
- Solving Difficult Problems by Viewing them as Structured Dense Graphs2007 | Faculty of Mathematics and Physics
- Optimization of prolog programs by fully automated transformation procedure2008 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation +12007 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
Loading network view...