. "Materna, Pavel" . "Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2009" . . "9788021050488" . "Temporal Aspects of Knowledge and Information"@en . . . . "Brno" . "The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial, typed lambda calculus; analysis of tenses and temporal logic; analysis of epistemic verbs and events; analysis of anaphora references and topic-focus articulation." . "Temporal Aspects of Knowledge and Information" . . "RIV/00216224:14330/09:00073104!RIV14-MSM-14330___" . "14330" . . "345739" . "Temporal Aspects of Knowledge and Information"@en . "Masaryk University" . "P(2C06009), P(LC536)" . . "Hor\u00E1k, Ale\u0161" . . "Du\u017E\u00ED, Marie" . "Transparent intensional logic; TIL; temporal knowledge"@en . "2009-12-04+01:00"^^ . . . "[2B8BDC8C831F]" . . . "The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning based on the procedural semantics of Transparent Intensional Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under theoretical linguistics and computer science. Our research is focused on the temporal, modal and epistemic aspects of knowledge representation and reasoning. The main problems under our scrutiny are: TIL proof calculus for hyperintensional, partial, typed lambda calculus; analysis of tenses and temporal logic; analysis of epistemic verbs and events; analysis of anaphora references and topic-focus articulation."@en . . . . . "9"^^ . . "2"^^ . "3"^^ . "Temporal Aspects of Knowledge and Information" . "Karlova Stud\u00E1nka" . "RIV/00216224:14330/09:00073104" .