Publication Records

MATERNA, Pavel and Josef PETRŽELKA. Definition and Concept. Aristotelian Definition Vindicated. Studia Neoaristotelica :časopis pro analytickou scholastiku. České Budějovice: Jihočeská univerzita, Teologická fakulta, Katedra filosofie a religionistiky, 2008, vol. 5, No 1, p. 3-37. ISSN 1214-8407.

GARAJOVÁ, Ingrid, Pavel FABIAN, Rudolf NENUTIL, Marek SVOBODA, Ondřej SLABÝ and Rostislav VYZULA. Tumor-infiltrating cytotoxic T-cells predict outcome in colorectal carcinoma, clinical stadium II. In III. dny diagnostické, prediktivní a experimentální onkologie. Sborník příspěvků. Olomouc: solen, 2007, p. 42-42. ISBN 978-80-244-1824-7.

HORÁK, Aleš and Karel PALA. Lexicons in TIL and Verb Valency Frames. In Proceedings of the International Conference on Communications in Computing (CIC 2004). Las Vegas, Nevada, USA: CSREA Press, 2004, p. 255-261, 6 pp. ISBN 1-932415-36-X.

HORÁK, Aleš. Types in Transparent Intensional Logic and Easel - a Comparison. In Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004. Anaheim, Calgary, Zurich: The International Association of Science and Technology for Development, 2004, p. 833-837. ISBN 0-88986-404-7.

FILIP, David. Možné světy v logickém diskursu (Possible Worlds in Logical Discourse). Filosofický časopis. Praha: Filosofický ústav AV ČR, 2002, vol. 50, No 2, p. 207-227. ISSN 0015-1831.

SMRŽ, Pavel and Aleš HORÁK. Determining Type of TIL Construction with Verb Valency Analyser. In Proceedings of the 25th Conference on Theory and Practice of Informatics (SOFSEM 98). Berlin: Springer-Verlag, 1998, p. 429-436. ISBN 3-540-65260-4.