ℹ️
🇬🇧
Search
Search for people relevant for "Encoding"
Encoding
Person
Class
Person
Publication
Programmes
doc. RNDr. Lukáš Chrpa Ph.D.
External academic staff at Faculty of Mathematics and Physics
36 publications
Publications
publication
Inner entanglements: Narrowing the search in classical planning by problem reformulation
2019 |
Faculty of Mathematics and Physics
publication
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms
2018 |
Faculty of Mathematics and Physics
publication
Encoding of Planning Problems and their Optimizations in Linear Logic
+1
2009 |
Faculty of Mathematics and Physics
publication
Encoding of Planning Problems and Their Optimizations in Linear Logic
2009 |
Faculty of Mathematics and Physics
publication
Automated Acquisition of Control Knowledge for Classical Planners
2020 |
Faculty of Mathematics and Physics
publication
Compiling Planning Problems with Non-deterministic Events into FOND Planning
2020 |
Faculty of Mathematics and Physics
publication
Planning and Acting with Non-Deterministic Events: Navigating between Safe States
2020 |
Faculty of Mathematics and Physics
publication
Planning in a Real-World Application: An AUV Case Study
2020 |
Faculty of Mathematics and Physics
publication
On the predictability of domain-independent temporal planners
2019 |
Faculty of Mathematics and Physics
publication
Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks
2019 |
Faculty of Mathematics and Physics
Load more publications (26)
Loading network view...