Project Results
Work Progress reports
Applications
GIS
Onthology building
TIL Script and communication
Diploma and dissertation theses
- Petr Gajdoš: Formal Concept Analysis and its Application. Disertační práce VŠB-TU Ostrava (rok obhájení: 2006)
- Pavel Děrgel: Prostorové Multi-agentové systémy. Disertační práce VŠB-TU Ostrava (rok obhájení 2006)
- Michal Radecký: Multi-Agentní systém a specifikace chování agentů. Disertační práce VŠB-TU Ostrava(rok obhájení 2009)
- Marek Menšík: Teorie pojmu a konceptuální modelování. Disertační práce VŠB-TU Ostrava (rok obhájení 2009)
- Ondřej Kohut: Reprezentace a zpracování báze znalostí pro rozhodování agentů (teze disertační práce obhájeny v roce 2007)
- Jan Krchňák: Systém pro logickou dedukci (magisterská diplomová práce obhájena v roce 2006)
- Tomáš Frydrych: Popis Universálního Informačního Robota z hlediska logické teorie a jeho aplikace na řešení krizových situací v dopravním systému (magisterská diplomová práce obhájena v roce 2007)
- Zdeněk Galus: Realizace základních inferencí v Prologu na základě specifikace v jazyce TIL-Script (magisterská diplomová práce obhájena v roce 2008)
- Tomáš Karkoška: Vytvoření nástroje pro podporu ontologií v multi-agentním prostředí (magisterská diplomová práce obhájena v roce 2008)
- Petr Vyletělek: Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému (magisterská diplomová práce obhájena v roce 2009)
- Nikola Ciprich: TIL-Script - Výpočetní varianta TIL (magisterská diplomová práce obhájena v roce 2009)
- Michal Košinár: Vývoj softwarové varianty jazyka Transparentní intensionální logiky (bakalářská diplomová práce obhájena v roce 2008)
- David Turoň: Implementace úlohy v multi-agentním systému (bakalářská práce obhájena v r. 2008)
