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. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{554586, author = {Horák, Aleš}, address = {Anaheim, Calgary, Zurich}, booktitle = {Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004}, keywords = {TIL; intensional logic; Easel; types}, language = {eng}, location = {Anaheim, Calgary, Zurich}, isbn = {0-88986-404-7}, pages = {833-837}, publisher = {The International Association of Science and Technology for Development}, title = {Types in Transparent Intensional Logic and Easel - a Comparison}, url = {http://nlp.fi.muni.cz/publications/iasted2004_hales/article.pdf}, year = {2004} }
TY - JOUR ID - 554586 AU - Horák, Aleš PY - 2004 TI - Types in Transparent Intensional Logic and Easel - a Comparison PB - The International Association of Science and Technology for Development CY - Anaheim, Calgary, Zurich SN - 0889864047 KW - TIL KW - intensional logic KW - Easel KW - types UR - http://nlp.fi.muni.cz/publications/iasted2004_hales/article.pdf N2 - 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. ER -
HORÁK, Aleš. Types in Transparent Intensional Logic and Easel - a Comparison. In \textit{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.
|