BibTeX

@incollection{beaverkrause95,
  author = {David Beaver and Peter Krause},
  title = {{The Architecture and Semantic Representation Formats of Dyana's
	Integrated Implementation}},
  booktitle = {THE DYANA INTEGRATED IMPLEMENTATION},
  publisher = {DYANA-2},
  year = {1995},
  editor = {David Beaver},
  number = {3.7},
  type = {Deliverable},
  pages = {1-30}
}


@incollection{krause:1995,
  author = {Krause, Peter},
  title = {Plural Phenomena in Dyana's Integrated Implementation},
  booktitle = {The DYANA Integrated Implementation},
  publisher = {Center for Cognitive Science, University of Edinburgh},
  year = {1995},
  editor = {Beaver, David},
  series = {DYANA II deliverable R3.7},
  address = {Edinburgh},
  keywords = {DYANAII}
}


@incollection{krause95,
  author = {Peter Krause},
  title = {{Presupposition and Abduction in Type Theory}},
  booktitle = {{Working Notes of { em  Computational Logic and Natural Language Processing}}},
  year = {1995},
  editor = {E. Klein and S. Manandhar and W. Nutt and J. Siekmann},
  chapter = {13},
  address = {South Queensferry, Scotland}
}


@InProceedings{krause98,
  author = {Peter Krause},
  title = {{An extension of DRT with questions to analyze topic presuppositions}},
  booktitle = {Proceedings of WOLLIC 1998},
  year = {1998},
  editor = {Queiroz, Ruy de and Finger, Marcelo},
  pages = {101-108},
  publisher = {Universidade de Sao Paulo, Brasil}
}


@InProceedings{krause99ilg,
  author = {Peter Krause},
  title = {Identification Language Games},
  booktitle = {Proceedings of the Twelfth Amsterdam Colloquium},
  year = {1999},
  editor = {Paul Dekker},
  pages = {13-18},
  month = {December},
  organization = {Universiteit van Amsterdam}
}


@InProceedings{krause99lid,
  author = {Peter Krause},
  title = {Location identification dialogues},
  booktitle = {Proceedings of Amstelogue},
  year = {1999},
  editor = {Noor van Leusen and Robert van Rooy and Henk Zeevat},
  organization = {Universiteit van Amsterdam}
}


@InProceedings{krause99pfqa,
  author = {Peter Krause},
  title = {Presuppositions of Definite Descriptions in Questions-Answer Sequences},
  booktitle = {Workshop on { em  Focus and Presupposition in Multi-speaker Discourse}},
  year = {1999},
  editor = {Geurts, Bart and Krifka, Manfred and van der Sandt, Rob},
  organization = {ESSLLI},
  publisher = {Universiteit Utrecht}
}


@InProceedings{krause:2000,
  author = {Peter Krause},
  title = {Judging unresolved utterances in context},
  booktitle = {Proceedings of WOLLIC 2000},
  year = {2000},
  editor = {Ruy de Queiroz},
  organization = {Universidade de Recife, Brasil},
  url = {http://www.cin.ufpe.br/~wollic/wollic2000/proceedings/}
}


@inbook{krausespektrumclpresup:2001,
  chapter = {3.5.1},
  pages = {306-315},
  title = {Pr{ä}suppositionsverarbeitung},
  publisher = {Spektrum },
  year = {2001},
  editor = {Carstensen, K.U. and Ebert, Ch. and Endriss, C. and Jekat, S. and
	Klabunde, R. and Langer, H.},
  author = {Peter Krause},
  address = {Heidelberg, Berlin}
}


@techreport{krause/kamp/rohrer:1997,
  author = {Krause, Peter and Kamp, Hans and Rohrer, Christian (eds)},
  title = {Ein UDRS-basiertes Semantikfragment f"ur das Deutsche. Dokumentation
	der Implementierung},
  institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
	Stuttgart},
  year = {1997},
  type = {Arbeitspapier des {S}onderforschungsbereich 340},
  month = {October},
  keywords = {SFB340}
}


@InProceedings{krausereyleschiehlen:1999,
  author = {Krause, Peter and Reyle, Uwe and Schiehlen, Michael},
  title = {{Spatial Inferences in a Localization Dialogue}},
  booktitle = {{Sixi{è}me conf{é}rence annuelle sur le Traitement Automatique
	des Langues Naturelles (TALN'99), ATALA}},
  year = {1999},
  address = {{Carg{è}se, Corse}},
  month = {July},
  keywords = {formal semantics, dialogue}
}


@incollection{krausereyleschiehlen:2001,
  author = {Krause, Peter and Reyle, Uwe and Schiehlen, Michael},
  title = {{Spatial Inferences in a Localization Dialogue}},
  booktitle = {{Experimenting with Current Dynamic Theories}},
  publisher = {{Pergamon}},
  year = {2001},
  editor = {{Bras, Myriam and Vieu, Laure}},
  series = {{Semantic and Pragmatic Issues in Discourse and Dialogue}},
  pages = {183-216},
  month = {October},
  keywords = {formal semantics, dialogue}
}