Academic staff at Faculty of Mathematics and Physics, Faculty of Education
Study programmes
Classes
- Seminar on Artificial Intelligence 1NAIL004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 2NAIL052 | Faculty of Mathematics and Physics
- Artificial Intelligence 1NAIL069 | Faculty of Mathematics and Physics
- Artificial Intelligence 2NAIL070 | Faculty of Mathematics and Physics
- Planning and SchedulingNAIL071 | Faculty of Mathematics and Physics
- Introduction to Artificial Intelligence +1NAIL113 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence INAIX004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence IINAIX052 | Faculty of Mathematics and Physics
- Artificial Intelligence INAIX069 | Faculty of Mathematics and Physics
- Constraint Programming +1NOPT042 | Faculty of Mathematics and Physics
Publications
- MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises2012 | Faculty of Mathematics and Physics
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Faculty of Mathematics and Physics
- FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows2011 | Faculty of Mathematics and Physics
- Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows2011 | Faculty of Mathematics and Physics
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Faculty of Mathematics and Physics
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Faculty of Mathematics and Physics
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | Faculty of Mathematics and Physics
- Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint2023 | Faculty of Mathematics and Physics
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Faculty of Mathematics and Physics
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Faculty of Mathematics and Physics
Loading network view...