Researchers currently involved in the project are: Robin Cooper, Thierry Coquand, Staffan Larsson, Bengt Nordström, Aarne Ranta
The overall aim of this project is to develop further an issue-based approach to dialogue management and a record-based approach to grammar and semantics and to integrate the two in a computational setting. The specific goals are:
Cooper, Robin, Dependent Record Types and Compositional Semantics - slides used for the Göteborg Language and Logic Seminar and various records project meetings in Göteborg (pdf)
Cooper, Robin, Situations as Records: Mixing Situation Theory and Martin-Löf Type Theory, invited talk given at SWOLAC 2003 Sapporo Workshop On Language, Action, and Cognition Hokkaido University, 24, February, 2003 (slides pdf)
Cooper, Robin, Using dependent record types in clarification ellipsis, invited talk, Kyoto University, 28th February, 2003 (slides pdf)
Cooper, Robin, Records as Resources: Using Martin-Löf Type Theory to Combine Technologies for Natural Language Interpretation, paper given at Nodalida, Reykjavik, 30-31 May 03 (slides pdf)
Cooper, Robin, Austinian truth, attitudes and type theory (previous title: Austinian truth in Martin-Löf type theory), paper presented at the workshop Barwise and Situation Semantics, Stanford, Cal., 26 June 2003, in Research on Language and Computation, Vol. 3 (2005), pp. 333-362, published 2006. (abstract ps, slides pdf, prefinal draft paper, 4th February 05 ps,pdf, published version, pdf)
Cooper, Robin, Records and record types in semantic theory, invited talk given at Tuebingen University, 3rd Nov 03 (slides pdf)
Cooper, Robin, Slides on intensionality (17th Nov. 03) (pdf)
Cooper, Robin, Records and record types in semantic theory, invited paper, Workshop on Lambda-Calculus, Type Theory, and Natural Language, King's College London, 8 and 9 December 2003, Journal of Logic and Computation, Vol. 15 No. 2, pp. 99--112. (abstract pdf, slides pdf, prefinal draft paper (14th Jan 2005) ps, published version pdf)
Cooper, Robin, A type theoretic approach to information state update in issue based dialogue management, invited paper, Catalog '04, The 8th Workshop on the Semantics and Pragmatics of Dialogue, Barcelona, July 19-21, 2004 (abstract, slides (pdf)). Draft paper (3 Feb 05) submitted to a collection in memory of Jon Barwise to be edited by Larry Moss (ps,pdf)
Cooper, Robin, Partial draft of project report (ps)
Cooper, Robin, Using Type Theory with Records for HPSG, invited talk, Fest Colloquium for Uwe Mönnich, Freudenstadt, 12th-13th Nov, 2004 (also invited presentation at ScanMatrix workshop, Göteborg, 20th Oct 2004) (abstract (text), slides (pdf), paper draft, January 2007 (pdf), prefinal paper draft, 3rd May, 2008: Type Theory with Records and Unification-based Grammar, in a Festschrift for Uwe Mönnich, Logics for Linguistic Structures ed. by Fritz Hamm and Stephan Kepser, Mouton de Gruyter, 2008 (pdf)
Cooper, Robin, Dynamic generalised quantifiers and hypothetical contexts, in Ursus Philosophicus, a festschrift for Björn Haglund, Department of Philosophy, Göteborg University, 2004 (pdf)
Cooper, Robin, Lecture in Tim Fernando's course Natural language semantic representations as types, ESSLLI 2005, Edinburgh (slides (pdf))
Cooper, Robin, Do delicious lunches take a long time? GSLT internal conference, 28-29 October 2005 (extended abstract). Revised version: A record type theoretic account of copredication and dynamic generalized quantification (pdf) in Kvantifikator för en Dag Essays dedicated to Dag Westerståhl on his sixtieth birthday, http://www.phil.gu.se/posters/festskrift3/.
Cooper, Robin, A record type theoretic approach to alignment of information states, invited talk, Status-colloquium on Theories of Dialogue, Bielefeld, 17th-19th Nov. 2005 (slides pdf)
Cooper, Robin, Clarification and incremental meaning/content refinement, talk given at the Dialogue Matters workshop, "Incrementality and Clarification in Dialogue", King's College, London, 14-15 February 2007, (slides pdf)
Cooper, Robin, Copredication, dynamic generalized quantification and lexical innovation by coercion, invited talk, GL2007, Fourth International Workshop on Generative Approaches to the Lexicon, May 10-11, 2007 Paris (paper draft pdf, slides pdf)
Cooper, Robin, A record type theoretic approach to information state update in dialogue -- is this pragmatics?, paper presented at IPrA 2007 panel on Dialogue and Computational Pragmatics (slides pdf, abstract txt)
Cooper, Robin, Is English really a formal language?, GU Philosophy Department Logic Seminars (slides pdf)
Cooper, Robin, The Abstract-Concrete Syntax Distinction and Unification in Multilingual Grammar, in Nivre, Joakim ; Dahllöf, Mats ; Megyesi, Beata (2008). Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8933 (2008-06-10), pp. 49--60.
Cooper, Robin, Frames in formal semantics: Montague's temperature and Fernando's event strings, talk given in the Gothenburg linguistics seminar, 27th Oct 2009 (slides, pdf)
Cooper, Robin, Rising frames, CLT seminar, 4th March 2010 (slides, pdf)
Cooper, Robin and Staffan Larsson, Towards a formal view of coordination and learning in dialogue, paper presented at the Coordination of Agents Workshop, King's College London, 4th-5th Nov, 2008. (slides pdf)
Cooper, Robin and Staffan Larsson, Compositional and ontological semantics in learning from corrective feedback and explicit definition, in Proceedings of DiaHolmia: 2009 Workshop on the Semantics and Pragmatics of Dialogue , ed. by Jens Edlund, Joakim Gustafson, Anna Hjalmarsson and Gabriel Skantze, Department of Speech, Music and Hearing, KTH, 2009, pp. 59-66 (pdf)
Cooper, Robin and Aarne Ranta (2008) Natural Languages as Collections of Resources, Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution, ed. by Robin Cooper and Ruth Kempson, College Publications, London. (paper draft, pdf)
Larsson, Staffan and Robin Cooper (2009) Towards a formal view of corrective feedback, Proceedings of Workshop on Cognitive Aspects of Computational Language Acquisition, EACL 2009. (pdf)
A. Ranta, "Computational Semantics in Type Theory". Mathematics and Social Sciences, 165:31-57, 2004. (pdf)
A. Ranta, "Modular Grammar Engineering in GF". To appear in Research in Language and Computation, 2005. (pdf)
A. Ranta, "The Module System of GF". Report, April 2005. (pdf)
Ranta, Aarne, "Type Theory and Universal Grammar", to appear in a volume about constructivism in Philosophia Scientiarum, a series published by Archives Henri Poincaré (pdf)
Cooper, Robin and Jonathan Ginzburg (2002) Using dependent record types in clarification ellipsis, Proceedings of the sixth workshop on the semantics and pragmatics of dialogue, ed. by Johan Bos, Mary Ellen Foster and Colin Matheson, Edinburgh University, pp 45--52 (ps)
Cooper, Robin and Jonathan Ginzburg (2002) Clarification Ellipses, HPSG and dependent record types, talk given at a Dialogue Workshop, Göteborg, 14th-15th June, 2002 (slides pdf)
Coquand, Thierry, Randy Pollack and Makoto Takeyama A Logical Framework with Dependently Typed Records, Randy Pollack's web page
Fernandez Rovira, Raquel (2006) Non-Sentential Utterances in Dialogue: Classification, Resolution and Use, Ph.D. thesis, King's College London.
Larsson, Staffan (1998): A Prolog Type Checker for Dependent Record Types (ps, prolog code)