Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)

Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Johan Bos | Alexander Koller

Anaphora resolution and minimal models
Ariel Cohen

Extracting formal specifications from natural language regulatory documents
Nikhil Dinesh | Aravind Joshi | Insup Lee | Bonnie Webber

How to change a person’s mind: Understanding the difference between the effects and consequences of speech acts
Debora Field | Allan Ramsay

Towards a redundancy elimination algorithm for underspecified descriptions
Alexander Koller | Stefan Thater

Towards a redundancy elimination algorithm for underspecified descriptions
Leonardo Lesmo | Livio Robaldo | Jelle Gerbrandy

Controlled Language for Geographical Information System Queries
Sela Mador-Haim | Yoad Winter | Anthony Braun

Computing relative polarity for textual inference
Rowan Nairn | Cleo Condoravdi | Lauri Karttunen

Using Answer Set Programming in an inference-based approach to Natural Language Semantics
Farid Nouioua | Pascal Nicolas

A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations
Marco Pennacchiotti | Patrick Pantel

Concepts across categories
Hilke Reckman | Crit Cremers

Multi-dimensional Temporal Logic for Events and States
Satoshi Tojo

Considerations on the nature of metaphorical meaning arising from a computational treatment of metaphor interpretation
A.M. Wallington | R. Agerri | J.A. Barnden | S.R. Glasbey | M.G. Lee

Supporting temporal question answering: strategies for offline data collection
David Ahn | Steven Schockaert | Martine De Cock | Etienne Kerre

Formal semantics of verbs for knowledge inference
Igor Boyko

Ingredients of a first-order account of bridging
Philipp Cimiano

A Computational Theory of Inference for Arithmetic Explanation
Albert Goldfain

Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference
Hermann Helbig | Ingo Glöckner

The Alligator theorem prover for dependent type systems: Description and proof samples
Paul Piwek