(Re)formulace plánovacích problémů

• Název práce v češtině: (Re)formulace plánovacích problémů
• Název v anglickém jazyce: (Re)formulating planning problems
• Akademický rok vypsání: 2021/2022
• Typ práce: disertační práce
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: prof. RNDr. Roman Barták, Ph.D.

Zásady pro vypracování

The task is to study various formal (re)formations of action planning problems from the perspective of expressivity and efficiency of models.

Seznam odborné literatury

Malik Ghallab, Dana Nau, Paolo Traverso: Automated Planning: Theory and Practice. Morgan Kaufmann, 2004.
Malik Ghallab, Dana Nau, Paolo Traverso: Automated Planning and Acting. Cambridge University Press, 2016.