ICoS-3 proceedings

Cover:

Title: ICoS-3. Inference in Computational Semantics. Workshop Proceedings
Place: Co-located with the International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy
Date: June 18-19, 2001
Editors: Patrick Blackburn and Michael Kohlhase

Table of contents:

Abstracts of Invited Talks

David Israel: Natural Languages are Programming Languages for Minds!!, page 1
Alexander Koller: Insert the zorkmid then kick the dispense: Computational Linguistics and Theorem Proving in a Computer Game, pages 3-4
Ian Pratt-Hartmann: Decidable Fragments of Natural Language, page 5

Research Papers

Carlos Areces and Raffaella Bernardi: Analyzing the Core of Categorial Grammar, pages 7-28
Sandiway Fong: The Color of Semantic Opposition in Wordnet, pages 29-41
Manfred Kerber and Michael Kohlhase: Reasoning without Believing: Mechanizing Presuppositions and Partiality, pages 43- 57
Christof Monz and Maarten de Rijke: Light-Weight Entailment Checking for Computational Semantics, pages 59-72
Allan Ramsay and Helen Seville: Relevant Answers to WH Questions, pages 73-86
Aarne Ranta and Robin Cooper: Dialogue Systems as Proof Editors, pages 87-100
Kristina Striegnitz: Model Checking for Contextual Reasoning in NLG, pages 101-115

System Descriptions

Johan Bos: DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures, pages 117-124
Ales Horak and Leo Hadacz: Semantics of Natural Language Expressions and Inference Verification in TIL, pages 125-130
Jana Sukkarieh: Quasi-NL Knowledge Representation for Structurally-Based Inferences, pages 131-139

Back to ICoS