. . . . . . "Hor\u00E1k, Ale\u0161" . "Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic"@en . "Gardo\u0148, Andrej" . "235357" . . "10"^^ . . . "RIV/00216224:14330/11:00050045!RIV12-GA0-14330___" . . . "In this paper we describe the analysis and implementation of the time dimension in the Dolphin Nick knowledge base which is based on the theory of the Transparent Intensional Logic (TIL). First, we analyze the basics of the temporal aspect in TIL constructions obtained from natural language sentences and describe its algorithmic form. We present the details of implementation of knowledge base objects corresponding to grammar tenses. Problems in basic time inference using the presented system are discussed with the implemented solutions. Finally we show an example communication with the system regarding the time aspects."@en . "Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic" . "978-3-642-23537-5" . "Proceedings of 14th International Conference on Text, Speech, and Dialogue (TSD 2011)" . "[606575699703]" . "RIV/00216224:14330/11:00050045" . "Berlin, Heidelberg" . "P(GAP401/10/0792), S" . "In this paper we describe the analysis and implementation of the time dimension in the Dolphin Nick knowledge base which is based on the theory of the Transparent Intensional Logic (TIL). First, we analyze the basics of the temporal aspect in TIL constructions obtained from natural language sentences and describe its algorithmic form. We present the details of implementation of knowledge base objects corresponding to grammar tenses. Problems in basic time inference using the presented system are discussed with the implemented solutions. Finally we show an example communication with the system regarding the time aspects." . "Berlin, Heidelberg" . "Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic"@en . . "Springer-Verlag" . "Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic" . . "2"^^ . "2011-01-01+01:00"^^ . . . . "14330" . . . . "2"^^ . . . . "TIL; Dolphin Nick; knowledge base; time; inference; reasoning"@en .