Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

til-script

Klíčová slova abecedně | Klíčová slova dle četnosti

Implementace jazyka TIL-Script
 (Filip Peterek)

2023, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/150066 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Dokazování pomocí přirozené dedukce v jazyku TIL-Script
 (Vojtěch Patschka)

2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/136256 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Rozpoznávání kontextů v TIL
 (Michal Fait)

2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/115830 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
 (Martin Velek)

2014, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/103766 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

TIL jakožto specifikační jazyk pro inference v PL1.
 (Jozef Straka)

2011, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/89515 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Logika dynamického diskursu
 (Ivana Kotová)

2018, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/128520 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Učení v Multiagentních systémech za pomocí symbolické reprezentace znalostí
 (Adam Albert)

2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/136257 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému
 (Petr Vyletělek)

2009, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

• http://hdl.handle.net/10084/74052 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma