Prohlížení Diplomové práce - 18105 dle předmětu "planning as satisfiability"
Zobrazují se záznamy 1-1 z 1
-
Líná kompilace v klasickém plánování
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)Předmětem této diplomové práce je problematika líné kompilace v klasickém plánování. V teoretické části práce jsou nejprve shrnuty základní informace o klasickém plánování, definovány důležité pojmy klasické reprezentace ...