[HTML][HTML] All the more reasons: Mismatches in topoi in dialogue
In this paper, we show how topoi warrant inferences for interpreting and producing dialogue
contributions, particularly in the case of enthymemes where the conclusion does not …
contributions, particularly in the case of enthymemes where the conclusion does not …
Adapting type theory with records for natural language semantics
R Cooper - Modern perspectives in type-theoretical semantics, 2017 - Springer
In this paper we will go through the version of type theory TTR (Type Theory with Records)
that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3 …
that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3 …
[PDF][PDF] Communicable reasons: How children learn topoi through dialogue
E Breitholtz, C Howes - Proceedings of the 24th Workshop on the …, 2020 - semdial.org
Children's acquisition of language requires their learning of not just words/concepts and
linguistic structure but how these interact in dialogue with knowledge about the world, our …
linguistic structure but how these interact in dialogue with knowledge about the world, our …
Why should I turn left? Towards active explainability for spoken dialogue systems.
In this paper we argue that to make dialogue systems able to actively explain their decisions
they can make use of enthymematic reasoning. We motivate why this is an appropriate …
they can make use of enthymematic reasoning. We motivate why this is an appropriate …
[PDF][PDF] Propositions, questions, and adjectives: A rich type theoretic approach
J Ginzburg, R Cooper, T Fernando - Proceedings of the EACL …, 2014 - aclanthology.org
We consider how to develop types corresponding to propositions and questions. Starting
with the conception of Propositions as Types, we consider two empirical challenges for this …
with the conception of Propositions as Types, we consider two empirical challenges for this …