• Invarianty vzájemného vyloučení v klasickém plánování 

      Autor: Daniel Fišer; Vedoucí práce: Komenda Antonín; Oponent práce: Hoffmann Jörg
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-07-07)
      ešením problémů v klasickém plánování je sekvence operátorů vedoucí z iniciálního stavu do jednoho z cílových stavů. roblémy v klasickém plánování jsou popsány doménově-nezávisle, takže utomatická extrakce strukturálních ...