Prohlížení katedra počítačů dle autora "Tóth Jan"
-
Návrh multiplayer hry využívající klasické plánování
Autor: Aneta Drahoňovská; Vedoucí práce: Urbanovská Michaela; Oponent práce: Tóth Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)V rámci této práce je úkolem seznámit se s konceptem klasického plánování a modelovacím jazykem PDDL, s cílem navrhnout multiplayer tahovou počítačovou hru. V tomto kontextu je kladen požadavek na kooperativní interakci ... -
Počítání vážených modelů pro některé doménově-liftovatelné jazyky
Autor: Václav Kůla; Vedoucí práce: Tóth Jan; Oponent práce: Horčík Rostislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-12)Tato práce studuje počítání vážených modelů v logice prvního řádu. Počítání vážených modelů v logice prvního řádu může být použito k řešení mnoha praktických problémů a bylo dokázáno, že pro určité logické fragmenty je ...