- Domain Modeling for Planning as Logic Programming2016 | Matematicko-fyzikální fakulta
- On verification of workflow and planning domain models using attribute grammars2017 | Matematicko-fyzikální fakulta
- Recovering Traceability Links Between Code and Specification Through Domain Model Extraction2014 | Matematicko-fyzikální fakulta
- Appropriate expressiveness of planning domain models: An urban traffic control case study2019 | Matematicko-fyzikální fakulta
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Matematicko-fyzikální fakulta
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Matematicko-fyzikální fakulta
- Time-domain modeling of global ocean tides generated by the full lunisolar potential2017 | Matematicko-fyzikální fakulta
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Matematicko-fyzikální fakulta
- Electromagnetic induction and heterogeneous Earth's mantle : time-domain modellingPublikace bez příslušnosti k fakultě
- Crystal Structure of the ORP8 Lipid Transport ORD Domain: Model of Lipid Transport2023 | Ústřední knihovna
- On the robustness of domain-independent planning engines: The impact of poorly-engineered knowledge2019 | Matematicko-fyzikální fakulta
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta
- Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems2012 | Matematicko-fyzikální fakulta
- Fundamentals of Mathematical Modeling of Chemicals Through QSPR/QSAR2023 | 1. lékařská fakulta
- Elevational range size patterns of vascular plants in the Himalaya contradict Rapoport's rule2021 | Přírodovědecká fakulta, Ústřední knihovna
- On Modeling Formalisms for Automated Planning2014 | Matematicko-fyzikální fakulta
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- CIEAEM Commission for the Study and Improvement of Mathematics TeachingPublikace bez příslušnosti k fakultě
- Automatické generování implementace z požadavků v přirozeném jazyce2011 | Matematicko-fyzikální fakulta
- Correcting Hierarchical Plans by Action Deletion2021 | Matematicko-fyzikální fakulta
- LOUGA: learning planning operators using genetic algorithms2018 | Matematicko-fyzikální fakulta
- Validation of hierarchical plans via parsing of attribute grammars2018 | Matematicko-fyzikální fakulta
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Matematicko-fyzikální fakulta
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Matematicko-fyzikální fakulta
- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Matematicko-fyzikální fakulta
- On modeling planning problems in tabled logic programming2015 | Matematicko-fyzikální fakulta
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Matematicko-fyzikální fakulta
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Matematicko-fyzikální fakulta
- Business cycle synchronization of the Visegrad Four and the European UnionPublikace bez příslušnosti k fakultě