ℹ️
🇬🇧
Search
Search for people relevant for "engineering"
engineering
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
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
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
Load more classes (5)
Publications
publication
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners
+1
2012 |
Faculty of Mathematics and Physics
publication
A Novel Framework for Modeling Planning Domains with State Variables
2012 |
Faculty of Mathematics and Physics
publication
KEPS 2011: Workshop on Knowledge Engineering for Planning and Scheduling
Publication without faculty affiliation
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
Load more publications (579)
Loading network view...