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

transparentni intenzionalni logika

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

« 1 2 » (celkem 18 prací)
Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
 (Michal Fait)

2022, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

http://hdl.handle.net/10084/151353 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Investigations into Transparent Intensional Logic: A Rule-based Approach
 (Ivo Pezlar)

2016, Disertační práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | Práce na příbuzné téma

Analysis of Knowledge in Sentences
 (Aleš Horák)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/n19bv/ | Informatika / | Práce na příbuzné téma

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

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

Zpracování nových gramatických fenoménů v logické analýze přirozeného jazyka
 (Renáta Pivodová)

2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/lcamv/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

Specification of ontologies and a support of agents’ reasoning in a multi-agent world
 (Adam Albert)

2024, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

http://theses.cz/id//uzj3ic// | Informatika / | Práce na příbuzné téma

Vyhodnocení logické analýzy v systému SYNT a návrhy rozšíření
 (Jiří Vejvoda)

2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/lea1a/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

« 1 2 » (celkem 18 prací)