%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:42:56 +0100 GMT
%    
% Selection : Author: Johan_Bos
%




@TechReport{Blackburn_Bos:1997,
      AUTHOR = {Blackburn, Patrick and Bos, Johan},
      TITLE = {Representation and Inference for Natural language. A First Course in Computational Semantics},
      YEAR = {1997},
      MONTH = {August},
      NUMBER = {90},
      PAGES = {50},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {http://www.iccs.informatics.ed.ac.uk/~jbos/comsem/download/volume1.ps.gz},
      ABSTRACT = {These are the course notes for Representation and Inference for Natural Language: A First Course in Computational Semantics, which will be given in the second week of ESSLLI97, Aix-en-Provence, by Patrick Blackburn and Johan Bos. The course is an introduction to computational semantics in Prolog. It introduces some fundamental techniques for computing semantic representations for natural language, and working with the result. Both the underlying theory, and their implementation in Prolog, are discussed. We believe that the reader who masters these techniques will be in a good position to appreciate (and critically assess) ongoing developments in computational semantics.},
      ANNOTE = {COLIURL : Blackburn:1997:RIN.pdf Blackburn:1997:RIN.ps}
}

@TechReport{Blackburn_et_al:1998,
      AUTHOR = {Blackburn, Patrick and Bos, Johan and Kohlhase, Michael and de Nivelle, Hans},
      TITLE = {Inference and Computational Semantics},
      YEAR = {1998},
      MONTH = {November},
      NUMBER = {106},
      PAGES = {15},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus106.ps ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus106.dvi},
      ABSTRACT = {This paper discusses inference in computational semantics. We argue that state-of-the-art methods in first-order it theorem proving/ and it model building/ are of direct relevance to inference for natural language processing. We support our claim by discussing our implementation of van der Sandt's presupposition projection algorithm in Discourse Representation Theory, an algorithm which demands sustained use of powerful inference mechanisms.},
      ANNOTE = {COLIURL : Blackburn:1998:ICS.pdf Blackburn:1998:ICS.ps Blackburn:1998:ICS.dvi}
}

@InCollection{Blackburn_et_al:2001,
      AUTHOR = {Blackburn, Patrick and Bos, Johan and Kohlhase, Michael and de Nivelle, Hans},
      TITLE = {Inference and Computational Semantics},
      YEAR = {2001},
      BOOKTITLE = {Computing Meaning},
      VOLUME = {2},
      NUMBER = {77},
      PAGES = {11-28},
      EDITOR = {Bunt, Harry and Muskens, Reinhard and Thijsse, Elias},
      SERIES = {Studies in Linguistics and Philosophie},
      ADDRESS = {Dordrecht},
      PUBLISHER = {Kluwer Academic Publishers}
}

@InProceedings{Bos:1994,
      AUTHOR = {Bos, Johan},
      TITLE = {Focusing Particles and Ellipsis Resolution},
      YEAR = {1994},
      BOOKTITLE = {Focus and Natural Language Processing: Linguistic, Cognitive, and Computational Perspectives},
      EDITOR = {Bosch, P.},
      ADDRESS = {Schloss Wolfsbrunnen, Germany},
      PUBLISHER = {Cambridge University Press}
}

@InProceedings{Bos:1994_1,
      AUTHOR = {Bos, Johan},
      TITLE = {Presupposition and VP-Ellipsis},
      YEAR = {1994},
      BOOKTITLE = {15th International Conference on Computational Linguistics (COLING'94), August 5-9},
      VOLUME = {2},
      PAGES = {1184-1190},
      EDITOR = {ACL},
      ADDRESS = {Kyoto, Japan}
}

@TechReport{Bos:1994_2,
      AUTHOR = {Bos, Johan},
      TITLE = {Presupposition and VP-Ellipsis},
      YEAR = {1994},
      MONTH = {April},
      NUMBER = {37},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/claus/claus37.ps},
      ABSTRACT = {We discuss a treatment of VP-ellipsis resolution in DRT in general, and particularly cases where the source clause of the elliptical VP contains presupposition triggers. We propose to restrain VP-ellipsis resolution by presupposition neutralization. We view presupposition as a kind of anaphora, with the ability to accommodate an antecedent if not provided by discourse.},
      ANNOTE = {COLIURL : Bos:1994:PVEb.pdf Bos:1994:PVEb.ps}
}

@InProceedings{Bos:2001,
      AUTHOR = {Bos, Johan},
      TITLE = {DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures},
      YEAR = {2001},
      BOOKTITLE = {Proceedings of the Workshop on Inference in Compuational Semantics (ICoS-3), June 18-19},
      EDITOR = {Blackburn, Patrick and Kohlhase, Michael},
      ADDRESS = {Siena, Italy},
      URL = {https://www.coli.uni-saarland.de/~bos/doris2001.pdf},
      ANNOTE = {COLIURL : Bos:2001:DUR.pdf}
}

@InProceedings{Bos_et_al:1995,
      AUTHOR = {Bos, Johan and Buitelaar, Paul and Mineur, Anne-Marie},
      TITLE = {Bridging as Coercive Accomodation},
      YEAR = {1995},
      BOOKTITLE = {Computational Logic for Natural Language Processing (CLNLP '95) - Workshop Proceedings, April 3-5},
      EDITOR = {Manandhar, Suresh},
      ADDRESS = {South Queensferry, Scotland},
      URL = {http://www.elsnet.org/publications/clnlp95/Bos-Mineur.ps.gz},
      NOTE = {A shorter version also appeared in the Lecture Notes of a workshop on The Computational Lexicon, at the 6th ESSLLI, Barcelona 1995},
      ANNOTE = {COLIURL : Bos:1995:BCAa.pdf Bos:1995:BCAa.ps}
}

@InProceedings{Bos_et_al:1995_1,
      AUTHOR = {Bos, Johan and Buitelaar, Paul and Mineur, Anne-Marie},
      TITLE = {Bridging as Coercive Accomodation},
      YEAR = {1995},
      BOOKTITLE = {6th European Summer School in Logic, Language, and Information (ESSLLI'95). Workshop on The Computational Lexicon, August 13-25},
      ADDRESS = {Barcelona, Spain}
}

@InProceedings{Bos_et_al:1998,
      AUTHOR = {Bos, Johan and Buschbeck-Wolf, Bianka and Dorna, Michael and Rupp, Christopher J.},
      TITLE = {Managing Information at Linguistic Interfaces},
      YEAR = {1998},
      BOOKTITLE = {Proceedings of the 17th International Conference on Computational Linguistics (COLING'98), August 10-14},
      EDITOR = {ACL},
      ADDRESS = {Montréal, Québec, Canada}
}

@InProceedings{Bos_Gabsdil:2000,
      AUTHOR = {Bos, Johan and Gabsdil, Malte},
      TITLE = {First-Order Inference and the Semantics of Questions and Answers},
      YEAR = {2000},
      BOOKTITLE = {Götalog 2000: 4th Workshop on the Semantics and Pragmatics of Dialogue, June 15-17},
      PAGES = {43-50},
      EDITOR = {Poesio, Massimo and Traum, David},
      ADDRESS = {Göteborg, Sweden},
      PUBLISHER = {Gothenburg Papers in Computational Linguistics 00-5},
      URL = {https://www.coli.uni-saarland.de/~gabsdil/papers/goetalog00.ps.gz},
      ANNOTE = {COLIURL : Bos:2000:FOI.pdf Bos:2000:FOI.ps}
}

@InProceedings{Bos_et_al:1996,
      AUTHOR = {Bos, Johan and Gambäck, Björn and Lieske, Christian and Mori, Yoshiki and Pinkal, Manfred and Worm, Karsten},
      TITLE = {Compositional Semantics in Verbmobil},
      YEAR = {1996},
      BOOKTITLE = {16th International Conference on Computational Linguistics (COLING '96), August 5-9},
      VOLUME = {1},
      PAGES = {131-136},
      EDITOR = {ACL},
      ADDRESS = {Copenhagen, Denmark},
      URL = {http://lanl.arxiv.org/PS_cache/cmp-lg/pdf/9607/9607031.pdf},
      ANNOTE = {COLIURL : Bos:1996:CSV.pdf}
}

@InCollection{Bos_Heine:2000,
      AUTHOR = {Bos, Johan and Heine, Julia},
      TITLE = {Discourse and Dialog Semantics for Translation},
      YEAR = {2000},
      BOOKTITLE = {Verbmobil: Foundations of Speech-to-Speech Translation},
      PAGES = {337-348},
      EDITOR = {Wahlster, Wolfgang},
      ADDRESS = {Berlin - Heidelberg - New York},
      PUBLISHER = {Springer}
}

@Proceedings{Johan_Michael:2000,
      TITLE = {Proceedings of the Workshop on Inference in Computational Semantics (ICoS-2), International Conference and Research Center for Computer Science, July 29-30},
      YEAR = {2000},
      PAGES = {149},
      EDITOR = {Bos, Johan and Kohlhase, Michael},
      ADDRESS = {Schloss Dagstuhl},
      URL = {https://www.coli.uni-saarland.de/~bos/icos/icos2.ps.gz},
      ANNOTE = {COLIURL : Bos:2000:PWI.ps}
}

@InProceedings{Bos_et_al:1994,
      AUTHOR = {Bos, Johan and Mastenbroek, Elsbeth and McGlashan, Scott and Millies, Sebastian and Pinkal, Manfred},
      TITLE = {A Compositional DRS-Based Formalism for NLP-Applications},
      YEAR = {1994},
      BOOKTITLE = {1st International Workshop on Computational Semantics},
      PAGES = {21-31},
      ADDRESS = {Tilburg, The Netherlands},
      ANNOTE = {COLIURL : Bos:1994:CDB.pdf}
}

@TechReport{Bos_et_al:1994_1,
      AUTHOR = {Bos, Johan and Mastenbroek, Elsbeth and McGlashan, Scott and Millies, Sebastian and Pinkal, Manfred},
      TITLE = {Verbmobil Semantikkonstruktion},
      YEAR = {1994},
      NUMBER = {6},
      ADDRESS = {Saarbrücken},
      TYPE = {Verbmobil-Report},
      INSTITUTION = {Universität des Saarlandes},
      ANNOTE = {COLIURL : Bos:1994:VS.pdf}
}

@TechReport{Bos_et_al:1995_2,
      AUTHOR = {Bos, Johan and Mineur, Anne-Marie and Buitelaar, Paul},
      TITLE = {Bridging as Coercive Accomodation},
      YEAR = {1995},
      MONTH = {March},
      NUMBER = {52},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus52.ps},
      ABSTRACT = {This paper combines insights from Pustejovsky's GL theory with Van der Sandt's anaphora resolution algorithm. The phenomenon of bridging is accounted for in terms of linking anaphoric expressions to information that can be inferred from the lexical semantic knowledge that is stored in lexical entries. In doing so, we can distinguish between the normal linking cases as in (1), the special cases of coercive accommodation as in (2) and the bottom cases of accommodation as in (3). (1) When I call a barkeeper, the barkeeper never comes. (2) When I go to a bar, the barkeeper always throws me out. (3) When I came in, the barkeeper said hello.},
      ANNOTE = {COLIURL : Bos:1995:BCAc.pdf Bos:1995:BCAc.ps}
}

@InProceedings{Kruijff-Korbayová_et_al:2002_1,
      AUTHOR = {Korbayova, Ivana and Karagjosova, Elena and Larsson, Staffan},
      TITLE = {Enhancing Collaboration with Conditional Responses in Information Seeking Dialogues},
      YEAR = {2002},
      BOOKTITLE = {Proceedings of the 6th Workshop on the Semantics and Pragmatics of Dialogue, September 4-6},
      PAGES = {93-100},
      EDITOR = {Bos, Johan and Foster, Mary Ellen and Matheson, Colin},
      ADDRESS = {Edinburgh University, UK},
      ANNOTE = {COLIURL : Kruijff-Korbayova:2002:ECC.pdf Kruijff-Korbayova:2002:ECC.ps}
}

@InProceedings{Kruijff-Korbayová_Webber:2000,
      AUTHOR = {Korbayova, Ivana and Webber, Bonnie},
      TITLE = {Discourse Connectives, Inference and Information Structure},
      YEAR = {2000},
      BOOKTITLE = {Workshop on Inference in Computational Semantics (ICoS-2), July 29-30},
      PAGES = {105-120},
      EDITOR = {Bos, Johan and Kohlhase, Michael},
      ADDRESS = {International Conference and Research Center for Computer Science, Schloß Dagstuhl, Germany},
      URL = {https://www.coli.uni-saarland.de/~bos/icos/kruijff.ps},
      ANNOTE = {COLIURL : Kruijff-Korbayova:2000:DCI.pdf Kruijff-Korbayova:2000:DCI.ps}
}

@InProceedings{Lieske_et_al:1997,
      AUTHOR = {Lieske, Christian and Bos, Johan and Gambäck, Björn and Emele, Martin and Rupp, Christopher J.},
      TITLE = {Giving Prosody a Meaning},
      YEAR = {1997},
      BOOKTITLE = {Proceedings of the 5th European Conference on Speech Communication and Technology},
      VOLUME = {3},
      PAGES = {1431-1434},
      EDITOR = {Kokkinakis, G. and Fakotakis, N. and Dermatas, E.},
      ADDRESS = {Rhodes, Greece}
}

@InCollection{Schiehlen_et_al:2000,
      AUTHOR = {Schiehlen, Michael and Bos, Johan and Dorna, Michael},
      TITLE = {Verbmobil Interface Terms (VITs)},
      YEAR = {2000},
      BOOKTITLE = {Verbmobil: Foundations of Speech-to-Speech Translation},
      PAGES = {183-199},
      EDITOR = {Wahlster, Wolfgang},
      ADDRESS = {Berlin - Heidelberg - New York},
      PUBLISHER = {Springer}
}

@InProceedings{Tsovaltzi_Matheson:2002,
      AUTHOR = {Tsovaltzi, Dimitra and Matheson, Colin},
      TITLE = {Formalising Hinting in Tutorial Dialogues},
      YEAR = {2002},
      BOOKTITLE = {6th workshop on the semantics and pragmatics of dialogue (EDILOG 2002), September 4-6},
      PAGES = {185-192},
      EDITOR = {Bos, Johan and Foster, Mary Ellen and Matheson, Colin},
      ADDRESS = {University of Edinburgh, Scotland},
      URL = {http://www.ltg.ed.ac.uk/edilog/papers/185.pdf},
      ABSTRACT = {The formalisation of the hinting process in Tutorial Dialogues is undertaken in order to simulate the Socratic teaching method. An adaptation of the BE&E annotation scheme for Dialogue Moves, based on the theory of social obligations, is sketched, and a taxonomy of hints and a selection algorithm is suggested based on data from the BE&E corpus. Both the algorithm and the tutor's reasoning are formalised in the context of the information state theory of dialogue management developed on the trindi project. The algorithm is characterised using update rules which take into account the student model, and the tutor's reasoning process is described in terms of context accommodation.},
      ANNOTE = {Tsovaltzi:2002:FHT}
}

@InProceedings{Gabsdil_Bos:2003,
      AUTHOR = {Gabsdil, Malte and Bos, Johan},
      TITLE = {Combining Acoustic Confidence Scores with Deep Semantic Analysis for Clarification Dialogues},
      YEAR = {2003},
      BOOKTITLE = {Proceedings of the Fifth International Workshop on Computational Semantics IWCS-5},
      ADDRESS = {Tilburg}
}