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