ICoS-1 proceedings
From SIGSEM
Cover:
- Title: ICoS-1. Inference in Computational Semantics. Workshop Proceedings
- Place: Institute for Logic, Language and Computation (ILLC), Amsterdam
- Date: August 15, 1999
- Editors: Christof Monz and Maarten de Rijke
Table of Contents:
Invited Talks
- Johan Bos: Automated Reasoning for Natural Language Semantics, pages 1-4
- Stephen Pulman: Bidirectional Contextual Resolution, page 5
- Matthew Stone: Towards a Computational Account of Knowledge, Action and Instruction, pages 7-20
Research Papers
- Peter Baumgartner and Michael Kuehn: Abducing Coreference by Model Construction, pages 21-37
- Gann Bierner and Bonnie Webber: Inference through Alternative-Set Semantics, pages 39-52
- Claire Gardent and Karsten Konrad: Definites and the Proper Treatment of Rabbits, pages 53-67
- Jan Jaspars: Structural Logics for Reasoning with Underspecified Representations, pages 69-82
- Aaron Kaplan: Reason Maintenance in a Hybrid Reasoning System, pages 83-94
- Bernd Ludwig, Guenther Goerz and Heinrich Niemann: An Inference-Based Approach to the Interpretation of Discourse, pages 95-109
- Allan Ramsay and Helen Seville: Models and Discourse Models, pages 111-124
System Descriptions
- Malte Gabsdil and Kristina Striegnitz: Classifying Scope Ambiguities, pages 125-131
- Alexander Holt, Ewan Klein and Claire Grover: Natural Language for Hardware Verification: Semantic Interpretation and Model Checking, pages 133-137
- Ramon P. Otero and Oscar G. Trinidad: Action Formalisms in Language Understanding, pages 139-144
Back to ICoS
