ICoS-5 proceedings

From SIGSEM

Jump to: navigation, search

Cover:

  • Title: ICoS-5. Inference in Computational Semantics. Workshop Proceedings
  • Place: Buxton, England
  • Date: April 20-21, 2006
  • Editors: Johan Bos and Alexander Koller


Table of contents:

Abstracts of Invited Talks

  • Christian Ebert: Expressive Power and Complexity of Underspecified Representations, page 1.
  • Patrick Pantel: Knowledge Harvesting and Fusion from Small and Large Corpora, page 3.
  • Stephen Pulman: Bridging the gap between formal and computational semantics, page 5.


Regular Papers

  • Ariel Cohen: Anaphora Resolution and Minimal Models, pages 7-16. pdf
  • Nikhil Dinesh, Aravind Joshi, Insup Lee, and Bonnie Webber: Extracting Formal Specifications from Natural Language Regulatory Documents, pages 17-26. pdf
  • Debora Field and Allan Ramsay: How to change a person's mind: Understanding the difference between the effects and consequences of speech acts, pages 27-36. pdf
  • Alexander Koller and Stefan Thater: Towards a redundancy elimination algorithm for underspecified descriptions, pages 37-46. pdf
  • Leonardo Lesmo, Livio Robaldo and Jelle Gerbrandy: Quantifiers in Dependency Tree Semantics, pages 47-56. pdf
  • Sela Mador-Haim, Yoad Winter and Anthony Braun: Controlled Language for Geographical Information System Queries, pages 57-66. pdf
  • Rowan Nairn, Cleo Condoravdi and Lauri Karttunen: Computing relative polarity for textual inference, pages 67-76. pdf
  • Farid Nouioua and Pascal Nicolas: Using Answer Set Programming in an inference-based approach to Natural Language Semantics, pages 77-86. pdf
  • Marco Pennacchiotti and Patrick Pantel: A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations, pages 87-96. pdf
  • Hilke Reckman and Crit Cremers: Concepts across categories, pages 97-106. pdf
  • Satoshi Tojo: Multi-dimensional Temporal Logic for Events and States, pages 107-116. pdf
  • A.M. Wallington, R. Agerri, J.A. Barnden, S.R. Glasbey, and M.G. Lee: Considerations on the nature of metaphorical meaning arising from a computational treatment of metaphor interpretation, pages 117-126. pdf


Short Papers

  • David Ahn, Steven Schockaert, Martine De Cock and Etienne Kerre: Supporting temporal question answering: strategies for offline data collection, pages 127-132. pdf
  • Igor Boyko: Formal Semantics Of Verbs For Knowledge Inference, pages 133-138. pdf
  • Philipp Cimiano: Ingredients of a first-order account of bridging, pages 139-144. pdf
  • Albert Goldfain: A Computational Theory of Inference for Arithmetic Explanation, pages 145-150. pdf
  • Hermann Helbig and Ingo Glöckner: Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference, pages 151-156. pdf
  • Paul Piwek: The Alligator theorem prover for dependent type systems: Description and proof samples, pages 157-162. pdf


Back to ICoS

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