ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "i domain"
i domain
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
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
Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio
2012 |
Matematicko-fyzikální fakulta
publication
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems
2012 |
Matematicko-fyzikální fakulta
publication
When Planning Should Be Easy: On Solving Cumulative Planning Problems
2012 |
Matematicko-fyzikální fakulta
publication
A Novel Framework for Modeling Planning Domains with State Variables
2012 |
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
Načíst další publikace (579)
Loading network view...