Prohlížení dle autora "Číhalová, Martina"
-
3D vizualizace modelů v PL1
Matějičný, Vladimír (Bakalářská práce, 2010) -
Důkazové metody predikátové logiky 1. řádu
Zátopek, Vít (Bakalářská práce, 2008) -
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
Novák, Jiří (Bakalářská práce, 2009) -
E-learningová podpora výuky obecné rezoluční metody.
Daníšek, Radek (Diplomová práce, 2011) -
Generování vět na základě vzorů
Jarotek, Vladimír (Diplomová práce, 2009) -
Generování vzorů formulí pro skolemizaci
Janáček, Marek (Diplomová práce, 2012) -
Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
Velek, Martin (Diplomová práce, 2014) -
Inferenční stroj nad naivní teorii množin
Augusta, Luděk (Diplomová práce, 2009) -
Jazyky pro tvorbu ontologií
Číhalová, Martina (Disertační práce, 2011) -
Knowing who occupies an office: purely contingent, necessary and impossible offices
Duží, Marie; Číhalová, Martina (Synthese. 2024, vol. 203, issue 6, art. no. 202.) -
Metrika podobnosti formalizací v PL1
Vích, Lukáš (Diplomová práce, 2010) -
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers
Číhalová, Martina; Duží, Marie (Logic Journal of the IGPL. 2023, vol. 31, issue 1, p. 140-171.) -
Nástroj pro modelování interpretačních struktur v PL1
Matějičný, Vladimír (Diplomová práce, 2013) -
Nástroj pro podporu výuky sémantiky PL1
Brodzák, Jan (Bakalářská práce, 2009) -
Podmínky racionality reflektované z pozice poznávajícího subjektu
Číhalová, Martina (Filosofický časopis. 2008, roč. 56, č. 6, s. 921-930.) -
Potřebujeme Turingův test pro umělou inteligenci?
Hloušek, Martin (Bakalářská práce, 2011) -
Převod narativů do strukturované formy klauzulí jazyka Prolog.
Žáček, Marek (Bakalářská práce, 2025) -
Questions, answers, and presuppositions
Duží, Marie; Číhalová, Martina (Computación y Sistemas. 2015, vol. 19 no. 4, p. 647-659.) -
TIL jakožto specifikační jazyk pro inference v PL1.
Straka, Jozef (Diplomová práce, 2011) -
Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému
Vyletělek, Petr (Diplomová práce, 2009)