-
Article
Correction to: The Climate Change and Mental Health Task Force: One Academic Psychiatry Department’s Efforts to Heed the Call to Action
-
Article
Preclinical Curricular Changes to Address Sustainable Healthcare Education in Psychiatry
-
Article
The Climate Change and Mental Health Task Force: One Academic Psychiatry Department’s Efforts to Heed the Call to Action
-
Chapter
Reasoning in Multiparty Dialogue Involving Patients with Schizophrenia
Interacting with others frequently involves making common-sense inferences linking context, background knowledge, and beliefs to utterances in the dialogue. As language users we are generally good at this kind...
-
Chapter
Perception, Types and Frames
We present a view of perception as the classification of objects and events in terms of in the sense of TTR, a Type Theory with . We argue that such can be used to give a formal model of concepts and cogn...
-
Article
Open AccessRepresenting Types as Neural Events
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 is, the types can be re...
-
Chapter and Conference Paper
Proper Names in Interaction
Proper names in natural languages seem very simple from a linguistic point of view although getting their semantics correct turns out to be something of a challenge. In this paper we will suggest that there is...
-
Chapter
Adapting Type Theory with Records for Natural Language Semantics
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:333–362, 2005a, J Log Comput, 15...
-
Chapter and Conference Paper
Frames as Records
We suggest a way of formalizing frames using records in type theory. We propose an analysis of frames as records which model situations (including events) and we suggest that frame types (record types) are imp...
-
Article
Quotation via Dialogical Interaction
Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an accou...
-
Chapter and Conference Paper
Modelling Language, Action, and Perception in Type Theory with Records
Formal models of natural language semantics using TTR (Type Theory with Records) attempt to relate natural language to perception, modelled as classification of objects and events by types which are available ...
-
Chapter and Conference Paper
Negative Inquisitiveness and Alternatives-Based Negation
We propose some fundamental requirements for the treatment of negative particles, positive/negative polar questions, and negative propositions, as they occur in dialogue with questions. We offer a view of nega...
-
Chapter and Conference Paper
Copredication, Quantification and Frames
We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon ([2,1]). We will suggest that using record types gives us a g...
-
Chapter and Conference Paper
Frames in Formal Semantics
In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between e...
-
Article
Austinian Truth, Attitudes and Type Theory
This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which re...
-
Article
Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue
The paper investigates an elliptical construction, Clarification Ellipsis, that occurs in dialogue. We suggest that this provides data that demonstrates that updates resulting from utterances cannot be defined...
-
Article
Dialogue Systems as Proof Editors
This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a s...
-
Article
Afterword
-
Chapter and Conference Paper
Positive Grammar Checking:A Finite State Approach
This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error.A corpus of Swedish text written by children served as the data.Errors are more f...
-
Chapter
Using Situations to Reason about the Interpretation of Speech Events
Situation semantics in its first incarnation in Barwise and Perry (1983) emphasized the importance of reasoning about the subtle interactions between speech events, various informational resources which may co...