Akademický pracovník na Matematicko-fyzikální fakulta, Pedagogická fakulta
Studijní programy
Předměty
- Seminář z umělé inteligence 1NAIL004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence 2NAIL052 | Matematicko-fyzikální fakulta
- Umělá inteligence 1NAIL069 | Matematicko-fyzikální fakulta
- Umělá inteligence 2NAIL070 | Matematicko-fyzikální fakulta
- Plánování a rozvrhováníNAIL071 | Matematicko-fyzikální fakulta
- Úvod do umělé inteligence +1NAIL113 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence INAIX004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence IINAIX052 | Matematicko-fyzikální fakulta
- Umělá inteligence INAIX069 | Matematicko-fyzikální fakulta
- Programování s omezujícími podmínkami +1NOPT042 | Matematicko-fyzikální fakulta
Publikace
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Matematicko-fyzikální fakulta
- Planning Is the Game: Action Planning as a Design Tool and Game Mechanism2012 | Matematicko-fyzikální fakulta
- MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises2012 | Matematicko-fyzikální fakulta
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Matematicko-fyzikální fakulta
- FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows2011 | Matematicko-fyzikální fakulta
- VisPlan: Interactive Visualisation and Verification of Plans2011 | Matematicko-fyzikální fakulta
- On Complexity of Verifying Nested Workflows with Extra Constraints +12011 | Matematicko-fyzikální fakulta
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Matematicko-fyzikální fakulta
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | Matematicko-fyzikální fakulta
Loading network view...