ICoS-2 proceedings

From SIGSEM

Jump to: navigation, search

Cover:

  • Title: ICoS-2. Inference in Computational Semantics. Workshop Proceedings
  • Place: International Conference and Research Center for Computer Science, Schloss Dagstuhl
  • Date: July 29-30, 2000
  • Editors: Johan Bos and Michael Kohlhase


Table of Contents (old link):

Abstracts of Invited Talks

  • Christof Monz: Computational Semantics in Information Retrieval, pages 1-5
  • James Allen: Towards Practical Dialogue Systems, page 6
  • Bonnie Lynn Webber: Computing Anaphora, page 7


Research Papers

  • Raffaella Bernardi and Richard Moot: Generalized Quantifiers in Declarative and Interrogative Sentences, pages 9-23
  • Jan van Eijck, Juan Heguiabehere and Breanndán Ó Nualláin: A Tableau Calculus for Dynamic First Order Logic with Applications in Natural Language Semantics, pages 25-40
  • Tim Fernando: Between proofs and models: presuppositions, pages 41-55
  • Michael Kohlhase and Alexander Koller: Towards a Tableaux Machine for Language Understanding, pages 57-71
  • Yaroslav Fyodorov, Yoad Winter and Nissim Francez: A Natural Logic inference system, pages 72-88
  • Joern Kreutel and Colin Matheson: Dialogue Modelling using Multiple Inferences over Information States, pages 89-104
  • Ivana Kruijff-Korbayova and Bonnie Lynn Webber: Discourse Connectives, Inference and Information Structure, pages 105-119
  • Claus Zinn: Computing Presuppositions and Implicatures in Mathematical Discourse, pages 121-135


System Descriptions

  • Liliana Cojocaru: The study of the anaphoric relationship on the Romanian corpora, pages 137-143


Back to ICoS

Retrieved from "http://www.sigsem.org/wiki/ICoS-2_proceedings"
Personal tools