Publications
- Handling non-local dead-ends in Agent Planning Programs2017 | 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
- 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
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Faculty of Mathematics and Physics
- Planning and Acting with Non-Deterministic Events: Navigating between Safe States2020 | Faculty of Mathematics and Physics
- Planning in a Real-World Application: An AUV Case Study2020 | Faculty of Mathematics and Physics
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Faculty of Mathematics and Physics
- On the predictability of domain-independent temporal planners2019 | Faculty of Mathematics and Physics
Loading network view...