ℹ️
🇬🇧
Search
Search for people relevant for "searching"
searching
Person
Class
Person
Publication
Programmes
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
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
Artificial Intelligence I
NAIX069 |
Faculty of Mathematics and Physics
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
Seminar on Artificial Intelligence I
NAIX004 |
Faculty of Mathematics and Physics
class
Seminar on Artificial Intelligence II
NAIX052 |
Faculty of Mathematics and Physics
Load more classes (5)
Publications
publication
MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises
2012 |
Faculty of Mathematics and Physics
publication
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems
2012 |
Faculty of Mathematics and Physics
publication
When Planning Should Be Easy: On Solving Cumulative Planning Problems
2012 |
Faculty of Mathematics and Physics
publication
Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search
+1
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
Load more publications (579)
Loading network view...