@inproceedings{8c964709e8bb4696acf995a16ef41349,
title = "An intelligent question-answer system over natural-language texts",
abstract = "The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained formal analysis of these texts. While there is common agreement that the analysis should be hyperintensional, most automatic reasoning systems are still based on intensional logic. In this paper, we introduce a hyperintensional system of reasoning and answering. We apply Tichy{\textquoteright}s Transparent Intensional Logic (TIL) which comes with a procedural (as opposed to truth-conditional) semantics. Our goal is to analyse empirical questions that come attached with a presupposition.",
keywords = "Hyperintensional logic, Procedural semantics, Presupposition, Question, Answer, Transparent Intensional Logic, TIL",
author = "B.T.F. Jespersen and Marie Duzi",
year = "2020",
doi = "10.1007/978-3-030-14907-9\_17",
language = "English",
isbn = "978-3-030-14906-2",
series = "Lecture Notes in Electrical Engineering ",
publisher = "Springer",
pages = "162--174",
booktitle = "AETA 2018 - Recent Advances in Electrical Engineering and Related Sciences: Theory and Application",
}