ℹ️
🇬🇧
Search
Search for people relevant for "random"
random
Person
Class
Person
Publication
Programmes
Export current view
prof. RNDr. Roman Barták Ph.D.
Academic staff at Faculty of Mathematics and Physics, Faculty of Education
3 study programmes
15 classes
589 publications
Study programmes
programme
Theoretical Computer Science and Artificial Intelligence
+1
🇨🇿 PhD. |
Faculty of Mathematics and Physics
programme
Computer Science - Artificial Intelligence
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Constraint Programming
+1
NOPT042 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence 1
NAIL004 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence 2
NAIL052 |
Faculty of Mathematics and Physics
class
Artificial Intelligence 1
NAIL069 |
Faculty of Mathematics and Physics
class
Artificial Intelligence 2
NAIL070 |
Faculty of Mathematics and Physics
class
Planning and Scheduling
NAIL071 |
Faculty of Mathematics and Physics
class
Introduction to Artificial Intelligence
+1
NAIL113 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence I
NAIX004 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence II
NAIX052 |
Faculty of Mathematics and Physics
class
Artificial Intelligence I
NAIX069 |
Faculty of Mathematics and Physics
Load more classes (5)
Publications
publication
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems
2012 |
Faculty of Mathematics and Physics
publication
On Generators of Random Quasigroup Problems
+3
2005 |
Faculty of Mathematics and Physics
publication
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
2023 |
Faculty of Mathematics and Physics
publication
On the Impact of Grounding on HTN Plan Verification via Parsing
2023 |
Faculty of Mathematics and Physics
publication
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm
2023 |
Faculty of Mathematics and Physics
publication
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
2023 |
Faculty of Mathematics and Physics
publication
Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans
2023 |
Faculty of Mathematics and Physics
publication
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods
2023 |
Faculty of Mathematics and Physics
publication
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2023 |
Faculty of Mathematics and Physics
publication
Multi-Agent Pathfnding with Predefned Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]
2023 |
Faculty of Mathematics and Physics
Load more publications (579)
Loading network view...