The aim of this book is to characterize a notion of type which will cover both linguistic and
non-linguistic action and to lay the foundations for a theory of action based on a theory of …

Laughter is pervasive in human conversation (more than 30k tokens in the dialogue part of
the British National Corpus (BNC)(approx. 1 of every 14 turns (n= 430k).)). Most laughter is …

This paper presents a multi-layered classification of laughter in French and Chinese
dialogues (from the DUEL corpus). Analysis related to the form, the semantic meaning and …

One of the claims of Type Theory with Records is that it can be used to model types learned
by agents in order to classify objects and events in the world, including speech events. That …

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 …

This paper presents the first attempt to implement a dialogue manager based on the KoS
framework for dialogue context and interaction. We utilise our own proof-theoretic …

Expectancy disconfirmation by an unexpected event can initiate a scan of the situational
information by the speaker, aiming at attributing to someone/something the cause of what …

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 …

In this paper, we propose a probabilistic model of social signalling which adopts a persona-
based account of social meaning. We use this model to develop a socio-semantic theory of …

Humour in interaction relies on general and domain-specific knowledge and can be
formalised in terms of defeasible reasoning instances and types, ie enthymemes and topoi …