ESSLLI 2005, Edinburgh

Natural Language Semantic Representations as Types

Tim Fernando + a lecture by Robin Cooper

Schedule

I plan to update slides of my lectures below. Comments very welcome!

Lecture 1: Introduction + Events from temporal logic for sub-atomic semantics

[slides in LaTeX, PDF]

M. Steedman, The Productions of Time, Draft tutorial notes about temporal semantics, October 2002

T. Fernando, Events from temporal logic to regular languages with branching, Proc FG-MOL 2005

 

Lecture 2: From Moens-Steedman to Hamm-van Lambalgen

[slides in LaTeX, PDF]

M. Moens and M. Steedman, Temporal ontology and temporal reference, Computational Linguistics, Volume 14, Issue 2, pp 15-28, 1988

M. van Lambalgen and F. Hamm, The Proper Treatment of Events, Blackwell, 2004 (an early blurb and Hamm and Kamp's ESSLLI 2005 course)

T. Fernando, `The proper treatment of events' in comics, a note for lecture 2

 

Lecture 3: NLSRep's as Types of Situations

[slides in LaTeX, PDF]

L.K. Schubert, The situations we talk about, in J. Minker (ed.), Logic-Based Artificial Intelligence, Kluwer, Dordrecht, 2000, 407-439

T. Fernando, LTL**, a note for lecture 3

 

Lecture 4: From regular languages to functional programming

[slides in LaTeX, PDF]

A. Ranta, Type-Theoretical Grammar, Oxford University Press, 1995

T. Fernando, Conservative generalized quantifiers and presupposition, Semantics and Linguistic Theory XI, NYU/Cornell, 2001, pp 172-191

 

Lecture 5: Robin Cooper on records and record types

[slides in LaTeX, PDF]

R. Cooper, Records and record types in semantic theory, Journal of Logic and Computation, 15 (2) 99-112, 2005

 

More materials

Here's the course reader and an early version of the course.

 


Last modified: 23 August 2005