. . . "Porovn\u00E1n\u00ED typ\u016F v transparentn\u00ED intenzion\u00E1ln\u00ED logice a v Easelu"@cs . "RIV/00216224:14330/04:00010029" . "Hor\u00E1k, Ale\u0161" . "The International Association of Science and Technology for Development" . . "5"^^ . . "14330" . "This article describes the extended type hierarchy of the Transparent Intensional Logic (TIL) as a higher order logic theory. We also present the basic ideas of TIL constructions as being a suitable meaning representation for natural language. A comparison of the purely logically oriented type system of TIL with the property-based types of the Easel language is discussed in the text with the orientation to the possibility of applications combining the two approaches."@en . "Anaheim, Calgary, Zurich" . "Tento \u010Dl\u00E1nek popisuje roz\u0161\u00ED\u0159enou typovou hierarchii transparentn\u00ED intenzion\u00E1ln\u00ED logiky (TILu) jako logick\u00E9 teorie vy\u0161\u0161\u00EDho \u0159\u00E1du. Prezentujeme tak\u00E9 z\u00E1kladn\u00ED my\u0161lenky TILovsk\u00FDch konstrukc\u00ED jako vhodnou reprezentaci v\u00FDznamu v\u00FDraz\u016F p\u0159irozen\u00E9ho jazyka. V textu je d\u00E1le uvedeno porovn\u00E1n\u00ED \u010Dist\u011B logicky orientovan\u00E9ho syst\u00E9mu TILu s jazykem Easel, kter\u00FD obsahuje vlastnostn\u011B orientovan\u00E9 typy, se zam\u011B\u0159en\u00EDm na mo\u017Enost aplikac\u00ED kombinuj\u00EDc\u00EDch oba dva p\u0159\u00EDstupy."@cs . "Types in Transparent Intensional Logic and Easel - a Comparison"@en . "2004-01-01+01:00"^^ . . "1"^^ . "591092" . . "This article describes the extended type hierarchy of the Transparent Intensional Logic (TIL) as a higher order logic theory. We also present the basic ideas of TIL constructions as being a suitable meaning representation for natural language. A comparison of the purely logically oriented type system of TIL with the property-based types of the Easel language is discussed in the text with the orientation to the possibility of applications combining the two approaches." . "1"^^ . . . . . "RIV/00216224:14330/04:00010029!RIV09-MSM-14330___" . "Types in Transparent Intensional Logic and Easel - a Comparison" . "Porovn\u00E1n\u00ED typ\u016F v transparentn\u00ED intenzion\u00E1ln\u00ED logice a v Easelu"@cs . "000228622100143" . "February 16-18 2004, Innsbruck, Austria" . "Types in Transparent Intensional Logic and Easel - a Comparison"@en . . "TIL; intensional logic; Easel; types"@en . "[3CFC98D706C8]" . . . "0-88986-375-X" . . . "Z(MSM 143300003)" . "Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004" . "Types in Transparent Intensional Logic and Easel - a Comparison" . .