ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Metric indexing"
Metric indexing
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Simona Ondrčková
Akademický pracovník na Matematicko-fyzikální fakulta
9 publikací
Publikace
publication
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
2023 |
Matematicko-fyzikální fakulta
publication
On the Impact of Grounding on HTN Plan Verification via Parsing
2023 |
Matematicko-fyzikální fakulta
publication
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm
2023 |
Matematicko-fyzikální fakulta
publication
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
2023 |
Matematicko-fyzikální fakulta
publication
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods
2023 |
Matematicko-fyzikální fakulta
publication
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
2022 |
Matematicko-fyzikální fakulta
publication
Correcting Hierarchical Plans by Action Deletion
2021 |
Matematicko-fyzikální fakulta
publication
On the Verification of Totally-Ordered HTN Plans
2021 |
Matematicko-fyzikální fakulta
publication
A Novel Parsing-based Approach for Verification of Hierarchical Plans
2020 |
Matematicko-fyzikální fakulta
Loading network view...