ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "nested"
nested
Osoba
Předměty
Osoby
Publikace
Studium
prof. RNDr. Roman Barták Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta, Pedagogická fakulta
3 studijní programy
15 předmětů
589 publikací
Studijní programy
programme
Teoretická informatika a umělá inteligence
+1
🇨🇿 PhD. |
Matematicko-fyzikální fakulta
programme
Informatika - Umělá inteligence
🇨🇿 NMgr. |
Matematicko-fyzikální fakulta
Předměty
class
Seminář z umělé inteligence 1
NAIL004 |
Matematicko-fyzikální fakulta
class
Seminář z umělé inteligence 2
NAIL052 |
Matematicko-fyzikální fakulta
class
Umělá inteligence 1
NAIL069 |
Matematicko-fyzikální fakulta
class
Umělá inteligence 2
NAIL070 |
Matematicko-fyzikální fakulta
class
Plánování a rozvrhování
NAIL071 |
Matematicko-fyzikální fakulta
class
Úvod do umělé inteligence
+1
NAIL113 |
Matematicko-fyzikální fakulta
class
Seminář z umělé inteligence I
NAIX004 |
Matematicko-fyzikální fakulta
class
Seminář z umělé inteligence II
NAIX052 |
Matematicko-fyzikální fakulta
class
Umělá inteligence I
NAIX069 |
Matematicko-fyzikální fakulta
class
Programování s omezujícími podmínkami
+1
NOPT042 |
Matematicko-fyzikální fakulta
Načíst další předměty (5)
Publikace
publication
Automatická verifikace podmínek v zahnízděných pracovních postupech
2012 |
Matematicko-fyzikální fakulta
publication
On Complexity of Verifying Nested Workflows with Extra Constraints
+1
2011 |
Matematicko-fyzikální fakulta
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
Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans
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
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2023 |
Matematicko-fyzikální fakulta
publication
Multi-Agent Pathfnding with Predefned Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]
2023 |
Matematicko-fyzikální fakulta
Načíst další publikace (579)
Loading network view...