- Vizuální tvorba plánovacích domén2010 | Matematicko-fyzikální fakulta
- A Novel Framework for Modeling Planning Domains with State Variables2012 | Matematicko-fyzikální fakulta
- On verification of workflow and planning domain models using attribute grammars2017 | Matematicko-fyzikální fakulta
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Matematicko-fyzikální fakulta
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Matematicko-fyzikální fakulta
- Appropriate expressiveness of planning domain models: An urban traffic control case study2019 | Matematicko-fyzikální fakulta
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta
- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Matematicko-fyzikální fakulta
- Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems2012 | Matematicko-fyzikální fakulta
- Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning2022 | Matematicko-fyzikální fakulta
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Matematicko-fyzikální fakulta
- O získávání doménových znalostí: analýza plánů prostřednictvím průzkumu závislostí mezi akcemi2008 | Matematicko-fyzikální fakulta
- Towards AI Planning Efficiency: Finite-domain State Variable Reformulation2013 | Matematicko-fyzikální fakulta, UNIVERZITA KARLOVA
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Matematicko-fyzikální fakulta
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Matematicko-fyzikální fakulta
- Domain Modeling for Planning as Logic Programming2016 | Matematicko-fyzikální fakulta
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Matematicko-fyzikální fakulta
- Generování makro-operátorů pomocí prozkoumání závislosti skcí v plánech2010 | Matematicko-fyzikální fakulta
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Matematicko-fyzikální fakulta
- Generování makro-operátorů výšetřováním závislostí akcí v plánech2008 | Matematicko-fyzikální fakulta
- On Modeling Planning Problems: Experience From The Petrobras Challenge +12013 | Matematicko-fyzikální fakulta
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Matematicko-fyzikální fakulta
- LOUGA: learning planning operators using genetic algorithms2018 | Matematicko-fyzikální fakulta
- Reformulace plánovacích problémů pomocí eliminace nadbytečných akcí2009 | Matematicko-fyzikální fakulta
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Matematicko-fyzikální fakulta, UNIVERZITA KARLOVA