Browsing Diplomové práce - 13136 by Subject "first-order logic"
Now showing items 1-2 of 2
-
Počítání vážených modelů pro některé doménově-liftovatelné jazyky
; Supervisor: Tóth Jan; Opponent: 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 ... -
Škálování hlubokého relačního učení
; Supervisor: Šír Gustav; Opponent: Drchal 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-13)Hluboké relační učení zevšeobecňuje principy neuronových sítí na učení na relačních datech, čímž umožňuje využít přirozeně strukturální povahu takových dat (tvořenou např.~cizími klíči v relačních databázích) jako součást ...