Prohlížení Diplomové práce - 13136 dle předmětu "first-order logic"

Zobrazují se záznamy 1-2 z 2

    • 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 ...

    • Škálování hlubokého relačního učení 

      Autor: Jan Neumann; Vedoucí práce: Šír Gustav; Oponent práce: 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 ...