@techreport{Bos-Johan2000-99877, title = {Dialogue dynamics in restricted dialogue systems}, author = {Bos, Johan and Ericsson, Stina and Larsson, Staffan and Lewin, Ian and Ljunglöf, Peter and Matheson, Colin}, year = {2000}, } @article{KoenClaessen2000, title = "Typed logical variables in Haskell", author = "Koen Claessen, Peter Ljunglöf", editor = "", year = "2000", url = "http://www.cs.chalmers.se/~peb/pubs/p00-logvars-Haskell.pdf", pages = "", } @article{Claessen-Koen2000-99880, title = {Typed logical variables in Haskell}, abstract = {We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey. To get full static typing we need to use the Haskell extensions of quantified types and the ST-monad.}, author = {Claessen, Koen and Ljunglöf, Peter}, year = {2000}, volume = {41}, number = {1}, } @inProceedings{Larsson-Staffan2000-99874, title = {GoDiS – an accommodating dialogue system}, abstract = {This paper accompanies a demo of the GoDiS system. Work on this system was reported at IJCAI-99 (Bohlin et al., 1999). GoDiS is a prototype dialogue system for information-seeking dialogue, capable of accommodating questions and tasks to enable the user to present information in any desired order, without explicitly naming the dialogue task. GoDiS is implemented using the TRINDIKIT software package, which enables implementation of these behaviours in a compact and natural way.}, booktitle = {ANLP-NAACL'00 Workshop on Conversational Systems}, author = {Larsson, Staffan and Ljunglöf, Peter and Cooper, Robin and Engdahl, Elisabet and Ericsson, Stina}, year = {2000}, } @techreport{Larsson-Staffan2000-99878, title = {TrindiKit 2.0 manual}, author = {Larsson, Staffan and Berman, Alexander and Bos, Johan and Grönqvist, Leif and Ljunglöf, Peter and Traum, David}, year = {2000}, } @inProceedings{Ljunglöf-Peter2000-10773, title = {Formalizing the dialogue move engine}, abstract = {In this paper we present a calculus for reasoning mathematically about rule-based dialogue systems – so called dialogue move engines developed in the TRINDI project. The calculus is similar to term rewriting systems and dynamic logic. It is defined using monads, which are used for describing programming languages, and in functional programming to capture computations with side-effects.}, booktitle = {Götalog Workshop on Semantics and Pragmatics of Dialogue}, author = {Ljunglöf, Peter}, year = {2000}, }