Academic staff at Faculty of Mathematics and Physics, Faculty of Education
Study programmes
Classes
- Constraint Programming +1NOPT042 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 1NAIL004 | Faculty of Mathematics and Physics
- Artificial Intelligence 1NAIL069 | Faculty of Mathematics and Physics
- Planning and SchedulingNAIL071 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 2NAIL052 | Faculty of Mathematics and Physics
- Artificial Intelligence 2NAIL070 | Faculty of Mathematics and Physics
- Introduction to Artificial Intelligence +1NAIL113 | Faculty of Mathematics and Physics
- Artificial Intelligence INAIX069 | 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
Publications
- Handling Empty Decomposition Methods in Hierarchical Planning2024 | Faculty of Mathematics and Physics
- Formula- and Memory-based Heuristics In Video-game Pathfinding2024 | Faculty of Mathematics and Physics
- Using Earley Parser for Verification of Totally Ordered Hierarchical Plans2024 | Faculty of Mathematics and Physics
- Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2024 The Effectiveness of Autonomous Intersections in a City2024 | Faculty of Mathematics and Physics
- Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART Multi-Agent Path Finding: Policies Instead of Plans2024 | Faculty of Mathematics and Physics
- 2024 IEEE CONFERENCE ON GAMES, COG 2024 Formula- and Memory-based Heuristics In Video-game Pathfinding2024 | Faculty of Mathematics and Physics
- Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning Planning Domain Model Acquisition from State Traces without Action Parameters2024 | 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
Loading network view...
